Contingent modal semantics for some variants of Anderson-like ontological proofs.
Miroslaw SzatkowskiPublished in: J. Appl. Non Class. Logics (2007)
Keyphrases
- ontological framework
- nonmonotonic logics
- modal logic
- owl ontologies
- logic programming
- formal semantics
- semantic information
- decision procedures
- dynamic logic
- conceptual modeling
- theorem proving
- theorem prover
- databases
- semantic representation
- ontological concepts
- metadata
- ontological reasoning
- formal proofs
- mathematical proofs
- proof theory
- logical framework
- object oriented
- knowledge representation
- domain knowledge
- database systems
- case study
- artificial intelligence