Development of modular ontologies in CASL

CEUR Workshop Proceedings

Volumn 232, Issue , 2006, Pages

  Lüttich, Klaus ^a   Masolo, Claudio ^b   Borgo, Stefano ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON ALGEBRAIC SPECIFICATION LANGUAGES; DESCRIPTION LOGIC; FIRST ORDER LOGIC; LOGICAL FORMALISM; MODULAR ONTOLOGIES; MODULARIZATIONS; SPATIAL KNOWLEDGE REPRESENTATIONS; STRUCTURING MECHANISMS;

FORMAL LOGIC; KNOWLEDGE REPRESENTATION; MODULAR CONSTRUCTION; SPECIFICATION LANGUAGES; SPECIFICATIONS;

DATA DESCRIPTION;

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

References (25)

1. P. Clark and B. Porter. Building concept representations from reusable components. In National Conference on Artificial Intelligence (AAAI'97), Providence, Rhode Island, 1997.
2. P. Clark, J. Thompson, and B. Porter. Knowledge patterns. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, International Conference on Principles of Knowledge Representation and Reasoning (KR'00), pages 591-600, Breckenridge, Colorado, USA, 2000. Morgan Kaufmann Publishers.
3. CoFI (The Common Framework Initiative). Casl Reference Manual. LNCS 2960 (IFIP Series). Springer Verlag; Berlin, 2004.
4. M. Dean and G. Schreiber, editors. OWL Web Ontology Language - Reference. W3C Recommendation http://www.w3.org/TR/owl-ref/, 10 February 2004.
5. B. Falkenhainer and K. Forbus. Compositional modelling: Finding the right model for the job. Artificial Intelligence, 51:95-143, 1991.
6. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.
7. J. Garson. Modularity and relevant logic. Notre Dame Journal of Formal Logic, 30(2):207-223, 1989.
8. J. A. Goguen. Reusing and interconnecting software components. IEEE Computer, 19(2):16-28, 1986.
9. B. C. Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and Web ontologies. In International Conference on the Principles of Knowledge Represenation and Reasoning, pages 198-209, Lake District, UK, 2006. AAAI Press.
10. N. Guarino. Formal Ontology in Information Systems. In N. Guarino, editor, Formal Ontology in Information Systems (FOIS'98), pages 3-15, Trento, Italy, 1998. IOS Press.
11. M. Jarrar. Towards Methodological Principles for Ontology Engineering. Phd thesis, Vrije Universiteit, 2005.
12. K. Lüttich. Approximation of Ontologies in Casl. In Formal Ontology in Information Systems (FOIS-2006), Frontiers in Artificial Intelligence and Applications. IOS Press; Amsterdam; http://www.iospress.nl, 2006. to appear.
13. K. Lüttich and T. Mossakowski. Specification of Ontologies in Casl. In A. C. Varzi and L. Vieu, editors, Formal Ontology in Information Systems - Proceedings of the Third International Conference (FOIS-2004), Volume 114 of Frontiers in Artificial Intelligence and Applications, pages 140-150. IOS Press; Amsterdam, 2004.
14. K. Lüttich, T. Mossakowski, and B. Krieg-Brückner. Ontologies for the Semantic Web in Casl. In J. Fiadeiro, editor, WADT 2004, LNCS 3423, pages 106-125. Springer Verlag; Berlin, 2005.
15. C. Masolo, S. Borgo, A. Gangemi, N. Guarino, and A. Oltramari. WonderWeb Deliverable D18: Ontology Library. Technical report, ISTC-CNR, 2003.
16. T. Mossakowski, C. Maeder, and K. Lüttich. The Heterogeneous Tool Set. Available at www.tzi.de/cofi/hets, University of Bremen.
17. T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Springer Verlag; Berlin, 2002.
18. P. F. Patel-Schneider, P. Hayes, and I. Horrocks, editors. OWL Web Ontology Language - Semantics and Abstract Syntax. W3C Recommendation http://www.w3.org/TR/owl-semantics/, 10 February 2004.
19. G. Schreiber, H. Akkermans, A. Anjewierden, R. DeHoog, N. Shadbolt, W. Van de Velde, and B. Wielinga. Knowledge Engineering and Management - The CommonKADS Methodology. MIT Press, Massacusetts, 2000.
20. E. Sirin, M. Grove, B. Parsia, and R. Alford. Pellet OWL reasoner. http://www.mindswap.org/2003/pellet/index.shtml, May 2004.
21. S. Staab and R. Studer. Handbook of Ontologies. Springer Verlag, Berlin (DE), 2004.
22. H. Stuckenschmidt and M. Klein. Structure-based partitioning of large concept hierarchies. In A. McIlraith, Sheila, D. Plexousakis, and F. van Harmelen, editors, International Semantic Web Conference (ISWC'04), pages 289-303, Hiroshima, Japan, 2004.
23. D. Tsarkov and I. Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), Volume 4130 of Lecture Notes in Artificial Intelligence, pages 292-297. Springer, 2006.
24. C. Weidenbach, U. Brahm, T. Hillenbrand, E. Keen, C. Theobalt, and D. Topic. SPASS version 2.0. In A. Voronkov, editor, Automated Deduction - CADE-18, Volume 2392 of Lecture Notes in Computer Science, pages 275-279. Springer Verlag; Berlin, July 27-30 2002.
25. J. Zimmer and S. Autexier. The MathServe System for Semantic Web Reasoning Services. In U. Furbach and N. Shankar, editors, Proceedings of the third International Joint Conference on Automated Reasoning, Volume 4130 of LNCS, Seattle, USA, August 2006. Springer Verlag.