Querying Circumscribed Description Logic Knowledge Bases.
Carsten LutzQuentin ManièreRobin NoltePublished in: KR (2023)
Keyphrases
- description logics
- knowledge base
- ontology reasoning
- dl lite
- computing least common subsumers
- databases
- computational properties
- reasoning tasks
- knowledge representation
- knowledge representation systems
- query language
- semantic web
- knowledge acquisition
- concept descriptions
- reasoning problems
- database
- expert systems
- query processing
- machine learning
- representing knowledge
- reasoning mechanism
- logical implication
- reasoning services
- data complexity
- description logic alc
- terminological knowledge