Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics.
Frank LoebeHeinrich HerrePublished in: FOIS (2008)
Keyphrases
- formal semantics
- ontology languages
- logical reasoning
- knowledge representation
- logical language
- formal language
- modelling language
- ontological framework
- er model
- first order logic
- theorem prover
- operational semantics
- domain specific
- semantic web
- modeling language
- domain ontology
- owl ontologies
- conceptual modeling
- owl dl
- owl dl ontology
- database
- ontology development
- speech acts
- probability distribution
- query processing
- knowledge base
- databases