A Model Theoretic Semantics for Ontology Versioning.
Jeff HeflinZhengxiang PanPublished in: ISWC (2004)
Keyphrases
- model theoretic
- reasoning mechanism
- description logics
- deductive databases
- operational semantics
- decision procedures
- logic programs
- default reasoning
- proof theoretic
- fixpoint semantics
- owl dl
- fixpoint
- knowledge representation
- knowledge base
- domain knowledge
- probabilistic reasoning
- semantic web
- owl ontologies
- reasoning problems
- domain ontology
- integrity constraints
- autoepistemic logic
- theorem proving
- automated reasoning
- default logic
- database
- background knowledge
- logic programming
- expert systems
- machine learning
- databases