Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.
Meghyn BienvenuCamille BourgauxFrançois GoasdouéPublished in: AAAI (2014)
Keyphrases
- description logics
- model theoretic
- knowledge base
- reasoning tasks
- consistent query answering
- reasoning services
- computational properties
- owl dl
- inconsistent databases
- dl lite
- owl ontologies
- ontology reasoning
- highly expressive
- computing least common subsumers
- knowledge representation languages
- reasoning mechanism
- semantic web
- description logic alc
- logic programming
- knowledge representation
- knowledge representation systems
- description logic knowledge base
- ontology languages
- semantic mapping
- reasoning problems
- tableau calculus
- dl programs
- concept descriptions
- description logic programs
- formal semantics
- query language
- integrity constraints
- machine learning
- query processing
- modal operators
- rdf graphs
- semantic information
- data model
- semantic web ontologies
- temporal logic
- conceptual graphs