• Login
    View Item 
    •   DSpace@RPI Home
    • Tetherless World Constellation
    • Tetherless World Publications
    • View Item
    •   DSpace@RPI Home
    • Tetherless World Constellation
    • Tetherless World Publications
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    A Distributed Tableau Algorithm for Package-based Description Logics

    Author
    Bao, Jie; Caragea, Doina; Honavar, Vasant
    Thumbnail
    Other Contributors
    Date Issued
    2006-08-29
    Degree
    Terms of Use
    Metadata
    Show full item record
    URI
    http://archive.tw.rpi.edu/media/latest/ADistributedTableauAlgorithmForPackageBasedDescriptionLogics.pdf; https://hdl.handle.net/20.500.13015/4740
    Abstract
    Package-based Description Logics (P-DL) is a novel formalism for modular ontologies. In P-DL, an ontology is composed of a collection of modules called packages. A package can partially reuse knowledge in other packages by a selective importing mechanism. This paper investigates a sound and complete tableau-based reasoning algorithm for a P-DL language ALCPC, which extends ALC with acyclic concept importing between packages. The algorithm allows the reasoning process to be distributed based on local reasoning services offered by each module. The algorithm allows the reasoning process to be distributed based on local reasoning services offered by each module. Local tableaux associated with the ontology modules while physically separate, may conceptually overlap by communicating with each other via a set of messages. Our investigation shows the algorithm can avoid several semantic difficulties associated with existing approaches, such as transitive subsumption propagation and inter-module unsatisfiability detection.;
    Department
    Relationships
    Access
    Collections
    • Tetherless World Publications

    Browse

    All of DSpace@RPICommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login

    DSpace software copyright © 2002-2022  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV