Ji, Li2023-03-012023-03-012018https://unbscholar.lib.unb.ca/handle/1882/13826This 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.text/xmlxiii, 146 pageselectronicen-CAhttp://purl.org/coar/access_right/c_abf2master thesis2023-03-01Du, WeichangComputer Science