The OWL in the CASL designing ontologies across logics

CEUR Workshop Proceedings

Volumn 432, Issue , 2009, Pages

  Kutz, Oliver ^a   Lücke, Dominik ^a   Mossakowski, Till ^a,b   Normann, Immanuel ^a  

^a UNIVERSITY OF BREMEN   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED REASONING; AUTOMATIC TRANSLATION; COMMON ALGEBRAIC SPECIFICATION LANGUAGES; HETEROGENEOUS ONTOLOGY; ONTOLOGY ENGINEERING; ONTOLOGY LANGUAGE; STRUCTURING MECHANISMS; WEB ONTOLOGY LANGUAGE;

BIRDS; SPECIFICATION LANGUAGES;

ONTOLOGY;

EID: 84885818549     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. A. Artale and E. Franconi. A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence, 30(1-4):171-210, 2000.
2. A. Artale, R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporalising tractable description logics. In Proc. of the 14th Int. Symposium on Temporal Representation and Reasoning (TIME), pages 11-22, Washington, DC, USA, 2007. IEEE.
3. J. Bateman, T. Tenbrink, and S. Farrar. The Role of Conceptual and Linguistic Ontologies in Discourse. Discourse Processes, 44(3):175-213, 2007.
4. M. Bidoit and P. D. Mosses. CASL User Manual. LNCS Vol. 2900. Springer, 2004.
5. D. Calvanese, D. Lembo, M. Lenzerini, and R. Rosati. Epistemic first-order queries over description logic knowledge bases. In In Proc. DL 2006, Lake District, UK, May 30June, page 2006.
6. CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS Vol. 2960. Springer, 2004.
7. B. Cuenca Grau, V. Honavar, A. Schlicht, and F. Wolter, editors. 2nd International Workshop on Modular Ontologies (WoMO-07), volume 315, (K-CAP) Whistler, BC, Canada, 2007. CEUR Workshop Proceedings.
8. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular Reuse of Ontologies: Theory and Practice. J. of Artificial Intelligence Research (JAIR), 31, 2008.
9. R. Diaconescu. Grothendieck Institutions. Applied Categorical Structures, 10:383-402, 2002.
10. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. An epistemic operator for description logics. Artif. Intell., 100(1-2):225-274, 1998.
11. H. Ehrig and H.-J. Kreowski. Refinement and implementation. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors, Algebraic Foundations of Systems Specifications, pages 201-242. Springer Verlag, 1999.
12. A. Gangemi, N. Guarino, C. Masolo, A. Oltramari, and L . Schneider. Sweetening Ontologies with DOLCE. In Proc. of EKAW 2002, LNCS Vol. 2473, pages 166-181. Springer, 2002.
13. J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM, 39:95-146, 1992.
14. J. A. Goguen and G. Roşu. Institution morphisms. Formal Aspects of Computing, 13:274-307, 2002.
15. P. Haase, V. Honavar, O. Kutz, Y. Sure, and A. Tamilin, editors. 1st Int. Workshop on Modular Ontologies (WoMO-06), volume 232, (ISWC) Athens, Georgia, USA, 2006. CEUR Vol. 232.
16. M. Horridge, N. Drummond, J. Goodwin, A. Rector, R. Stevens, and H. Wang. The Manchester OWL Syntax. In OWL: Experiences and Directions, 2006.
17. M. Horridge and P. Patel-Schneider. Manchester Syntax for OWL 1.1. In OWL: Experiences and Directions, Washington, DC, 2008.
18. I. Horrocks, O. Kutz, and U. Sattler. The Even More Irresistible SROIQ. In Proc. of KR, pages 57-67, 2006.
19. A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin. Finding all Justifications of OWL DL Entailments. In Proc. of ISWC/ASWC2007, LNCS Vol. 4825, pages 267-280. Springer, 2007.
20. B. Konev, C. Lutz, D. Walther, and F. Wolter. Formal properties of modularization. In H. Stuckenschmidt and S. Spaccapietra, editors, Ontology Modularization. Springer, 2008.
21. B. Konev, C. Lutz, D. Walther, and F. Wolter. Semantic Modularity and Module Extraction in Description Logics. In 18th European Conf. on Artificial Intelligence (ECAI-08), 2008.
22. O. Kutz, D. Lücke, and T. Mossakowski. Modular Construction of Models-Towards a Consistency Proof for the Foundational Ontology DOLCE. In 1st Int. Workshop on Computer Science as Logic-Related, ICTAC 2008, Istanbul, Turkey, 2008.
23. O. Kutz, D. Lücke, T. Mossakowski, and I. Normann. The OWL in the CASL. Technical report, University of Bremen, Bremen, Germany http://www.informatik.uni-bremen.de/~okutz/OWLinCASL-TR.pdf, 2008.
24. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Artificial Intelligence, 156(1):1-73, 2004.
25. O. Kutz and T. Mossakowski. Conservativity in Structured Ontologies. In 18th European Conf. on Artificial Intelligence (ECAI-08). IOS Press, 2008.
26. J. Lehmann and P. Hitzler. Foundations of refinement operators for description logics. In Proc. of the 17th Int. Conf. on Inductive Logic Programming (ILP), volume 4894 of LNCS, pages 161-174. Springer, 2008.
27. Common Logic. http://common-logic.org/.
28. C. Lutz, D. Walther, and F. Wolter. Conservative Extensions in Expressive Description Logics. In Proceedings of IJCAI-07, pages 453-458. AAAI Press, 2007.
29. T. Mossakowski. Comorphism-based Grothendieck logics. In Mathematical Foundations of Computer Science, volume 2420 of LNCS, pages 593-604. Springer, 2002.
30. T. Mossakowski, S. Autexier, and D. Hutter. Development Graphs-Proof Management for Structured Specifications. J. of Logic and Algebraic Programming, 67(1-2):114-145, 2006.
31. U. Sattler and A. Tamilin, editors. Workshop on Ontologies: Reasoning and Modularity (WORM-08), volume 348, ESWC, Tenerife, Spain, 2008. CEUR Workshop Proceedings.
32. M. Schorlemmer and Y. Kalfoglou. Institutionalising Ontology-Based Semantic Integration. Journal of Applied Ontology., 2008. To appear.
33. N. Sioutos, S. de Coronado, M. W. Haber, F. W. Hartel, W.-L. Shaiu, and L. W. Wright. NCI Thesaurus: A semantic model integrating cancer-related clinical and molecular information. Journal of Biomedical Informatics, 40(1):30-43, 2007.