Towards ensuring Satisfiability of Merged Ontology.
Muhammad FahadNéjib MoallaAbdelaziz BourasPublished in: ICCS (2011)
Keyphrases
- owl dl ontology
- satisfiability problem
- owl dl ontologies
- domain ontology
- domain knowledge
- propositional logic
- semantic web
- knowledge representation
- semantically enhanced
- np complete
- ontology construction
- semantic information
- data model
- domain specific
- computational complexity
- semantic query
- semantic relationships
- ontology evolution
- semi automatically
- semantically rich
- knowledge base
- web services
- ontological framework
- owl dl
- ontology matching
- conceptual modeling
- metamodel
- semantic annotation
- conceptual model
- constraint satisfaction
- first order logic