Description logics of context.
Szymon KlarmanVíctor Gutiérrez-BasultoPublished in: J. Log. Comput. (2016)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- computational properties
- dl lite
- computing least common subsumers
- reasoning tasks
- semantic web
- knowledge representation and reasoning
- reasoning systems
- concept descriptions
- reasoning problems
- ontology languages
- fuzzy description logics
- knowledge representation formalisms
- model theoretic
- highly expressive
- number restrictions
- reasoning mechanism
- reasoning services
- knowledge representation systems
- database
- decision procedures
- query answering
- query optimization
- logic programming
- data management
- dl programs
- knowledge representation languages
- databases