Class Algebra as a Description Logic.
Daniel J. BuehrerYi-Huang LiuTing-Yue HongJeng-Jong JouPublished in: Description Logics (1996)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- reasoning tasks
- semantic web
- reasoning problems
- computational properties
- dl lite
- ontology languages
- data model
- model theoretic
- reasoning mechanism
- concept descriptions
- ontology reasoning
- relational algebra
- data management
- query language
- semantic mapping
- knowledge representation languages
- computing least common subsumers