Distributed modular ontology reasoning
University of New Brunswick
This thesis proposes algorithms for a distributed reasoning system over interface-based modular ontologies. The thesis research includes three parts: (1) The algorithm designs for distributed modular ontology reasoning, including TBox (see Glossary 5.) and ABox (see Glossary 1.) reasoning of concept, negated concept, disjunction, conjunction, subsumption, and role queries; (2) The distributed modular ontology reasoning system, comprising system functionality, architecture and functionality realization; and (3) A case study and experiments for evaluating the distributed modular ontology reasoning compared to monolithic ontology reasoning.