Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity.
Ken KaneiwaRiichiro MizoguchiPublished in: KR (2004)
Keyphrases
- knowledge base
- knowledge representation
- reasoning process
- inference engine
- reasoning engine
- knowledge acquisition
- description logics
- knowledge based systems
- expert systems
- knowledge sharing and reuse
- general knowledge
- ontology reasoning
- formal representation
- rule base
- logic programming
- reasoning tasks
- knowledge representation and reasoning
- uncertain information
- hierarchical structure
- natural language processing
- probabilistic reasoning
- domain experts
- deductive reasoning
- owl ontologies
- meta rules
- ontological reasoning
- representing knowledge
- domain knowledge
- model based reasoning
- conceptual modeling
- qualitative reasoning
- knowledge structures
- semantic network
- knowledge sources
- point correspondences