Combining OWL ontologies using E-Connections

Web Semantics

Volumn 4, Issue 1, 2006, Pages 40-59

  Grau, Bernardo Cuenca ^a,b   Parsia, Bijan ^a   Sirin, Evren ^a  

^a UNIVERSITY OF MARYLAND   (United States)

^b Universidad de Valencia Av Vicente Andres Estelles   (Spain)

Author keywords

Combination of knowledge representation formalisms; Description Logics reasoning; Integration and combination of ontologies; Web Ontology Language

Indexed keywords

LEARNING ALGORITHMS; LOGIC DESIGN; OPTIMIZATION; SEMANTICS; SYNTACTICS;

COMBINATION OF KNOWLEDGE REPRESENTATION FORMALISMS; DESCRIPTION LOGICS REASONING; INTEGRATION AND COMBINATION OF ONTOLOGIES; WEB ONTOLOGY LANGUAGE;

WORLD WIDE WEB;

EID: 30544447197     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2005.09.010     Document Type: Article

References (33)

1. F. Baader, I. Horrocks, and U. Sattler Description logics as ontology languages for the semantic web D. Hutter W. Stephan Festschrift in Honor of Jörg Siekmann, Lecture Notes in Artificial Intelligence 2003 Springer-Verlag
2. I. Horrocks, P.F. Patel-Schneider, and F. van Harmelen From SHIQ and RDF to OWL: the making of a web ontology language J. Web Semantics 1 1 2003 7 26
3. P. Patel-Schneider, P. Hayes, I. Horrocks, Web Ontology Language OWL Abstract Syntax and Semantics, W3C Recommendation, 2004.
4. M. Smith, C. Welty, D. McGuiness, OWL Web Ontology Language Guide, W3C Recommendation, 2004.
5. B. Cuenca, B. Parsia, E. Sirin, Working with multiple ontologies on the semantic web, in: Proceedings of the 3rd International Semantic Web Conference (ISWC 2004), vol. 3298, Lecture Notes In Computer Science, Springer Verlag, 2004.
6. H. StuckenSchmidt, and M. Klein Structure-based partitioning of large class hierarchies Proceedings of the Third International Semantic Web Conference (ISWC-2004) 2004 Springer Verlag
7. H. StuckenSchmidt, and M. Klein Integrity and change in modular ontologies Proceedings of the Eighteenth Joint Conference on Artificial Intelligence (IJCAI-2003) 2003 Morgan Kaufmann
8. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev E -Connections of abstract description systems Artif. Intell. 156 2004 1 73
9. O. Kutz, E -Connections and logics of distance, Ph.D. thesis, University of Liverpool, 2004.
10. F. Baader, C. Lutz, H. Sturm, and F. Wolter Fusions of description logics and abstract description systems J. Artif. Intell. Res. (JAIR) 16 2003 1 58
11. A. Kalyanpur, B. Parsia, J. Hendler, A tool for working with web ontologies, Int. J. Semantic Web Inform Syst. 1 (1).
12. E. Sirin, B. Parsia, Pellet: An OWL-DL reasoner, http://www.mindswap.org/2003/pellet, 2004.
13. J. Golbeck, G. Fragoso, F. Hartel, J. Hendler, B. Parsia, and J. Oberthaler The national cancer institute's thesaurus and ontology J. Web Semantics 1 2003 1
14. S. Bechhofer, P. Lord, and R. Volz Cooking the semantic web with the OWL API Proceedings of the Second International Semantic Web Conference (ISWC-2003) 2003
15. D. Brickley, R. Guha, Resource description framework (RDF) model and syntax specification, W3C Recommendation, 2004.
16. B. Cuenca-Grau, B. Parsia, E. Sirin, Tableau algorithms for e-connections of description logics, Technical report, UMIACS, available at http://www.mindswap.org/2004/multipleOnt/papers/EconnTableau.ps, 2004.
17. I. Horrocks, U. Sattler, and S. Tobies Practical reasoning for very expressive description logics Logic J. IGPL 8 3 2000 239 263
18. I. Horrocks Using an expressive description logic: FaCT or fiction? Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR-98) 1998 Morgan Kaufman 636 647
19. V. Haarslev, R. Moeller, Racer system description, in: Proceedings of the Joint Conference on Automated Reasoning (IJCAR 2001), vol. 2083, Lecture Notes in Artificial Intelligence, 2001, pp. 701-705.
20. I. Horrocks, Optimising tableaux decision procedures for description logics, Ph.D. thesis, University of Manchester, 1997. URL www.download/1997/phd-2sss.ps.gz.
21. I. Horrocks, and U. Sattler A description logic with transitive and inverse roles and role hierarchies J. Logic Comput. 9 3 1999 385 410
22. I. Horrocks, and U. Sattler Ontology reasoning in the SHOQ (D ) description logic B. Nebel Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001) 2001 Morgan Kaufmann 199 204
23. J. Hladik, J. Model, Tableau systems for SHIO and SHOQ, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL 2004), CEUR, 2004, available from www.ceur-ws.org.
24. I. Horrocks, and U. Sattler A tableaux decision procedure for SHIOQ Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) 2005
25. F. Baader, and U. Sattler An overview of tableau algorithms for description logics Studia Logica 69 2001 5 40
26. F. Baader, and W. Nutt Basic description logics F. Baader D. Calvanese D. McGuinness D. Nardi P.F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, and Applications 2003 Cambridge University Press 43 95
27. F. Baader, J. Hladik, C. Lutz, and F. Wolter From tableaux to automata for description logics Fundamenta Informaticae 57 2003 1 33
28. I. Horrocks Implementation and optimisation techniques F. Baader D. Calvanese D. McGuinness D. Nardi P.F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, and Applications 2003 Cambridge University Press 306 346
29. I. Horrocks, and U. Sattler Optimised reasoning for SHIQ Proceedings of the 15th European Conference on Artificial Intelligence (ECAI-2002) 2002
30. A. Borgida, and L. Serafini Distributed description logics: assimilating information from peer sources J. Data Semantics 1 2003 153 184
31. P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stucken-schmidt C-OWL: contextualizing ontologies Proceedings of the Second International Semantic Web Conference (ISWC 2003) 2003
32. OpenCYC, Contexts in CYC, http://www.cyc.com/cycdoc/course/what-is-a-context.html.
33. B. Cuenca-Grau, B. Parsia, E. Sirin, A. Kalyanpur, Automatic partitioning of owl ontologies using e-connections, Technical report, UMIACS, available at http://www.mindswap.org/2004/multipleOnt/papers/Partition.pdf, 2005.