Distributed modular ontology reasoning
Loading...
Files
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.