Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.
Camille BourgauxMeghyn BienvenuFrançois GoasdouéPublished in: Description Logics (2014)
Keyphrases
- description logics
- model theoretic
- knowledge base
- reasoning tasks
- consistent query answering
- reasoning services
- owl dl
- dl lite
- inconsistent databases
- computational properties
- computing least common subsumers
- ontology reasoning
- reasoning mechanism
- owl ontologies
- knowledge representation languages
- query answering
- highly expressive
- knowledge representation
- knowledge representation systems
- reasoning problems
- description logic knowledge base
- description logic programs
- formal semantics
- concept descriptions
- tableau calculus
- consistent answers
- integrity constraints
- semantic web
- semantic web ontologies
- dl programs
- query language
- semantic mapping
- description logic alc
- modal operators
- logic programming
- snomed ct
- automated reasoning