Distributed modular ontology reasoning

Loading...
Thumbnail Image

Date

2018

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

University of New Brunswick

Abstract

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.

Description

Keywords

Citation