Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes.
Despoina MagkaYevgeny KazakovIan HorrocksPublished in: J. Autom. Reason. (2011)
Keyphrases
- description logics
- mathcal alc
- data types
- knowledge representation formalisms
- knowledge base
- data model
- dl lite
- reasoning tasks
- database systems
- knowledge representation
- data structure
- complexity of query answering
- transitive closure of roles
- computational properties
- refinement operators
- database management systems
- ontology languages
- model theoretic
- reasoning problems
- semantic web
- reasoning services
- owl dl
- knowledge representation languages
- computing least common subsumers
- default logic
- preprocessing
- computational complexity
- concept descriptions
- default theories
- np complete
- query language
- np hard