Mapping and Verification of the Time Ontology in SUMO.
Lydia Silva MuñozMichael GrüningerPublished in: FOIS (2016)
Keyphrases
- ontology mapping
- cidoc crm
- semantic web
- domain knowledge
- semantic mapping
- domain specific
- model checking
- knowledge base
- ontology driven
- formal verification
- semantic annotation
- knowledge representation
- domain ontology
- ontology matching
- semantic matching
- general knowledge
- neural network
- asynchronous circuits
- ontology alignment
- semantic interoperability
- wordnet
- semi automatic
- semantic relationships
- conceptual structures
- semi automatically
- conceptual modeling
- semantic query
- case study
- semantic web technologies