The Use of Description Logics in KBSE Systems.
Premkumar T. DevanbuMark A. JonesPublished in: ACM Trans. Softw. Eng. Methodol. (1997)
Keyphrases
- description logics
- reasoning systems
- knowledge representation systems
- knowledge base
- knowledge representation
- reasoning tasks
- knowledge representation and reasoning
- reasoning services
- reasoning problems
- concept descriptions
- dl lite
- computational properties
- knowledge representation formalisms
- logic programs
- ontology based data access
- databases
- model theoretic
- expert systems
- computing least common subsumers