Closed World Reasoning in the Semantic Web through Epistemic Operators.
Stephan GrimmBoris MotikPublished in: OWLED (2005)
Keyphrases
- closed world reasoning
- knowledge base
- default reasoning
- computation tree logic
- semantic web
- knowledge representation
- modal operators
- logic programming
- dl programs
- description logics
- conceptual model
- belief revision
- belief change
- model checking
- temporal logic
- epistemic logic
- probabilistic reasoning
- semantic web technologies
- data model
- metadata