A tool for ramification reasoning over temporal OWL knowledge bases.
Nikos PapadakisStavros BoutzasPublished in: Int. J. Knowl. Based Intell. Eng. Syst. (2010)
Keyphrases
- knowledge base
- knowledge representation
- open world
- knowledge representation systems
- description logics
- reasoning process
- temporal reasoning
- knowledge engineers
- inference engine
- reasoning about actions
- object oriented programming language
- temporal knowledge
- conceptual model
- spatio temporal
- expressive description logics
- spatial and temporal
- knowledge acquisition
- logic programming
- knowledge based systems
- artificial intelligence
- ontology reasoning
- knowledge representation languages
- expert systems
- owl ontologies
- reasoning tasks
- production rules
- temporal constraints
- reasoning systems
- wordnet
- rule base
- belief revision
- automated reasoning
- knowledge management
- reasoning problems
- owl dl
- data model
- web ontology language
- temporal patterns
- incomplete information