On the Role of Automated Proof-Assistants in the Formalization of Upper Ontologies.
João R. M. NicolaGiancarlo GuizzardiPublished in: JOWO (2021)
Keyphrases
- knowledge representation
- mutual understanding
- databases
- domain specific
- knowledge base
- semantic web
- formal model
- semi automated
- domain ontology
- computer aided
- ontology integration
- semantic web technologies
- linear logic
- semantic technologies
- semantically rich
- theorem proving
- automated theorem provers
- dl lite
- ontology matching
- semantic relationships
- context sensitive
- knowledge acquisition
- information retrieval