Partly Free Semantics for Some Anderson-Like Ontological Proofs.
Miroslaw SzatkowskiPublished in: J. Log. Lang. Inf. (2011)
Keyphrases
- ontological framework
- ontological concepts
- owl ontologies
- formal semantics
- neural network
- theorem proving
- logic programming
- conceptual model
- case study
- operational semantics
- conceptual modeling
- logical language
- ontology development
- model theoretic
- decision procedures
- databases
- mathematical proofs
- default reasoning
- conceptual graphs
- theorem prover
- semantic information
- knowledge representation
- database systems
- artificial intelligence
- information retrieval