Z-based Formalization of Kits of Changes to Maintain Ontology Consistency.
Najla SassiWassim JaziriFaïez GargouriPublished in: KEOD (2009)
Keyphrases
- maintaining consistency
- knowledge representation
- semantic web
- formal logic
- domain specific
- domain knowledge
- domain ontology
- formal model
- knowledge base
- consistency checking
- ontology driven
- semantic information
- owl dl ontologies
- semantically rich
- semi automatically
- semantic representation
- metadata
- linked data
- semantic annotation
- neural network
- semantic web technologies
- mutual understanding
- semantically enhanced
- case study
- ontology development
- natural language
- path consistency
- conceptual structures
- operational semantics
- owl ontologies
- ontology mapping
- topic maps
- conceptual modeling