Towards a First-Order Modal Formalisation of the Unified Foundational Ontology.
Daniele PorelloGiancarlo GuizzardiPublished in: JOWO (2017)
Keyphrases
- higher order
- domain ontology
- domain knowledge
- semantic web
- knowledge representation
- semantic annotation
- domain specific
- semantically enhanced
- first order logic
- knowledge base
- unified model
- formal analysis
- semantic relationships
- owl dl ontologies
- semantic representation
- metamodel
- modal logic
- machine learning
- semantic information
- ontology evolution
- ontology driven
- semantically rich
- semantic technologies
- ontology mapping
- semi automatically
- horn clauses
- conceptual model
- semantic interoperability
- semantic description
- ontology engineering
- owl ontologies
- stochastic dominance
- ontological framework
- topic maps