Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base.
Anh Tuan LuuTho T. QuanTru Hoang CaoJin Song DongPublished in: URSW (2007)
Keyphrases
- knowledge base
- knowledge representation
- description logics
- inference engine
- inconsistent knowledge
- expert systems
- reasoning engine
- knowledge based systems
- reasoning process
- semantic network
- knowledge acquisition
- representing knowledge
- conceptual model
- knowledge sources
- domain experts
- formal ontologies
- reasoning problems
- owl ontologies
- ontology reasoning
- logical reasoning
- knowledge engineers
- knowledge sharing and reuse
- production rules
- rule base
- semantic web
- automated reasoning
- belief base
- formal representation
- knowledge structures
- inference rules
- reasoning mechanism
- ontology evolution
- modal logic
- background knowledge
- wordnet
- domain knowledge