Optimising ontology stream reasoning with truth maintenance system.
Yuan RenJeff Z. PanPublished in: CIKM (2011)
Keyphrases
- truth maintenance systems
- symbolic reasoning
- knowledge base
- knowledge representation
- truth maintenance
- constraint propagation
- reason maintenance
- inference mechanism
- default logic
- nonmonotonic reasoning
- modular ontologies
- propositional logic
- autoepistemic logic
- temporal reasoning
- symbolic representation
- logic programming
- description logics
- machine learning
- artificial intelligence
- belief revision
- knowledge acquisition
- knowledge representation and reasoning
- default theories
- production rules