Ontology Merging and Reasoning Using Paraconsistent Logics.
Cristian CocosFahim T. ImamWendy MacCaullPublished in: Int. J. Knowl. Based Organ. (2012)
Keyphrases
- ontology merging
- inconsistent knowledge
- inference rules
- proof theory
- valued logic
- knowledge base
- knowledge representation
- semantic web
- valued semantics
- temporal knowledge
- modal logic
- truth values
- data mining
- data management
- data sets
- schema integration
- schema matching
- domain specific ontologies
- classical logic
- information retrieval
- databases