You have to log in to edit pages.
More Description:
==Bib== ===Distributed Reasoning in Modular Semantics=== P-DL * {{Citation|A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies}} * {{Citation|A Distributed Tableau Algorithm for Package-based Description Logics}} DDL * {{Citation|Mapping Properties of Heterogeneous Ontologies}} * {{Citation|Reasoning with Instances of Heterogeneous Ontologies}} * {{Citation|A Formal Investigation of Mapping Language for Terminological Knowledge}} * {{Citation|Aspects of Distributed and Modular Ontology Reasoning}} * {{Citation|Distributed Instance Retrieval in Heterogeneous Ontologies}} * {{Citation|DRAGO: Distributed Reasoning Architecture for the Semantic Web}} * {{Citation|Local Tableaux for Reasoning in Distributed Description Logics}} * {{Citation|C-OWL: Contextualizing Ontologies}} * {{Citation|Distributed Description Logics: Assimilating Information from Peer Sources}} E-connections * {{Citation|Modularity and Web Ontologies}} * {{Citation|Working with Multiple Ontologies on the Semantic Web}} [[Anne Schlicht]]'s approach * {{Citation|Towards Distributed Ontology Reasoning for the Web}} * {{Citation|Distributed Resolution for ALC}} Complexity and Decidability * {{Citation|Complexity of Reasoning With Expressive Ontology Mapping}} * {{Citation|On the Decidability of Role Mappings Between Modular Ontologies}} ===Other modular ontology proposals=== Conservative extensions * {{Citation|Just the right amount: extracting modules from ontologies}} * {{Citation|A Logical Framework for Modularity of Ontologies}} ===Parallel Reasoning with Global Semantics=== Approximation * {{Citation|MaRVIN: a distributed platform for massive RDF inference}} * {{Citation|MaRVIN: A platform for large-scale analysis of Semantic Web data}} * {{Citation|What is Approximate Reasoning?}} Sound and Complete * {{Citation|Parallel Computation Techniques for Ontology Reasoning}} * {{Citation|Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning}} * {{Citation|RDFS Reasoning and Query Answering on Top of DHTs}} * {{Citation|Parallelizing Tableaux-Based Description Logic Reasoning}} * {{Citation|Parallel Inferencing for OWL Knowledge Bases}} ==Resourcess== * [[WOMO|International Workshop on Modular Ontologies]] * Description Logic Workshop
Summary:
This is a minor edit Watch this page
Cancel
