Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics.
Stefan BorgwardtRafael PeñalozaPublished in: FroCos (2015)
Keyphrases
- expressive description logics
- owl dl
- description logics
- valued logic
- semantic web
- reasoning tasks
- reasoning systems
- regular path queries
- model theoretic
- propositional logic
- reasoning problems
- ontology languages
- formal semantics
- exptime complete
- computational properties
- logic programming
- logic programs
- default reasoning
- semantic information
- query containment
- dl lite
- owl ontologies
- fixpoint
- domain ontology
- first order logic