Extracting Satisfiability-Preserving Modules From the OWL RL Ontology for Efficient Reasoning.
Xiaofei ZhaoFanzhang LiHongji YangPublished in: IEEE Access (2021)
Keyphrases
- modular ontologies
- knowledge base
- knowledge representation
- domain ontology
- domain knowledge
- logical reasoning
- phase transition
- satisfiability problem
- propositional logic
- computational properties
- reasoning systems
- reasoning mechanism
- ontology evolution
- semantic mapping
- satisfiability testing
- terminological reasoning