An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency.
Chunlei FuDan YangXiaohong ZhangHaibo HuPublished in: Autom. Softw. Eng. (2017)
Keyphrases
- owl dl
- description logics
- semantic web
- domain ontology
- knowledge base
- reasoning systems
- ontology languages
- reasoning problems
- metamodel
- owl dl ontology
- first order logic
- modeling language
- computational properties
- knowledge representation
- formal semantics
- semi automatic
- domain knowledge
- automated reasoning
- query language