1. Representing and Reasoning with Heterogeneous, Modular and Distributed ontologies UniTN/IRST contribution to KnowledgeWeb.WP 2.1

2. Inputs Well founded ontologies, top level ontologies Domain specific ontologies (medial, earth-science, gene, e-business standard catalogues A huge number of relatively small “ontologies” (DB- schema, classification, linguistic ontologies, web services specifications..,.. semantic correspondences between ontologies Modular links: Links that relates parts of an ontology to the global one Ontological Hyperlinks (links to external ontologies) Versioning Links. …

3. Semantic correspondence links

4. Ontology hyperlink

5. Modularization links

6. Versioning links

7. Ontology Space

8. Reasoning Services in an ontology space Local Ontology Services (Local Subsumption, Local Consistency, …) Coordination between local reasoning services

9. What do we need: Formal Framework (see also WP2.2 Het.) Concrete Language (see also WP2.? Lang) Distribute Decision Procedures

10. Formal Framework LOGICAL THEORY LOGICAL THEORY LOGICAL THEORY LOGICAL THEORY Bridge rules

11. Special Case (DDL) Distributed Description Logics TBox + ABox T-Box + A-Box T-Box + A-Box T-Box + A-Box Bridge rules

12. Concrete Language Semantic web languages (eg. OWL WS-OWL …) Semantic web languages (eg. OWL WS-OWL …) Semantic web languages (eg. OWL WS-OWL …) Semantic web languages (eg. OWL WS-OWL …) Language for mappings Language for Mappings Language for mappings Languages for Mappings

13. Special Case (C-OWL) Contextualized OWL OWL MAP-OWL

14. Distributed Decision Procedure Local Reasoning services Local Reasoning Services Local reasoning Services Local Reasoning Services Reasoning coordination Reasoning Coordination

15. Special Case (Reasoning in DDL) D-Pellet (java prototype for reasoning in C- OWL) computing global subsumption Local Tableaux Local tableaux Local Tabluaux Local Tableaux Tableaux propagation

16. Overall Picture OWLC-OWL Specification language for A single stand alone ontology Ontology Space = Ontologies + Semantic Mappings underlying logic DLDDL Semantics First order logic Local Model Semantics = FOL semantics + Domain Relations Automated reasoning tools Racer, IFaCT, Pellet D-Pellet (0.01 prototype)