Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies.
Tobias KaminskiMatthias KnorrJoão LeitePublished in: JOWO@IJCAI (2015)
Keyphrases
- owl ontologies
- logic programming
- rule language
- rule engine
- description logic programs
- reasoning mechanisms
- dl programs
- deduction rules
- transformation rules
- ontological framework
- valued semantics
- dl lite
- logical rules
- production rules
- semantic relationships
- knowledge representation
- knowledge base
- background knowledge
- legal knowledge
- logic programs
- default rules
- owl dl
- machine processable
- derivation rules
- association rules
- description logics
- active rules
- semantic information
- domain ontology
- domain knowledge
- uncertain information
- conceptual graphs
- semantic association
- highly expressive
- logical formulas
- possibilistic logic
- ontology languages
- answer sets
- inference rules
- formal semantics
- semantic web
- reasoning tasks