Bag Semantics of DL-Lite with Functionality Axioms.
Gianluca CimaCharalampos NikolaouEgor V. KostylevMark KaminskiBernardo Cuenca GrauIan HorrocksPublished in: ISWC (1) (2019)
Keyphrases
- dl lite
- description logics
- first order logic
- instance level
- model theoretic
- reasoning tasks
- fuzzy description logics
- medical terminology
- knowledge base
- computational properties
- formal semantics
- query answering
- owl dl ontology
- logic programming
- data complexity
- owl ontologies
- owl dl
- conjunctive queries
- deductive databases
- expressive power
- decision procedures
- computational complexity
- knowledge representation
- probabilistic reasoning
- operational semantics
- default reasoning
- ontology languages
- query rewriting
- expert systems
- conceptual model
- fixpoint
- logic programs
- theorem proving