Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.

Meghyn Bienvenu Camille Bourgaux Franç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