Describing Reasoning Results with RVO, the Reasoning Violations Ontology.
Bojan BozicRob BrennanKevin FeeneyGavin Mendel-GleasonPublished in: MEPDaW/LDQ@ESWC (2016)
Keyphrases
- knowledge base
- knowledge representation
- automated reasoning
- reasoning mechanism
- logical reasoning
- reasoning systems
- deductive reasoning
- qualitative reasoning
- reasoning process
- analogical reasoning
- legal reasoning
- modular ontologies
- ontology evolution
- rule based reasoning
- spatial reasoning
- meta level
- domain knowledge
- computational properties
- data sets
- reasoning mechanisms
- semantic relationships
- description logics
- semantically enhanced
- qualitative physics
- machine learning