On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study.
Thomas BittnerPublished in: Appl. Ontology (2019)
Keyphrases
- space time
- theorem prover
- formal ontologies
- natural deduction
- spatial and temporal
- video sequences
- spatio temporal
- dynamic scenes
- knowledge base
- domain knowledge
- description logics
- information systems
- physically plausible
- theorem proving
- knowledge representation
- knowledge based systems
- knowledge acquisition
- inference rules
- prior knowledge
- relational databases
- natural language
- databases