Requirements for logical modules

CEUR Workshop Proceedings

Volumn 232, Issue , 2006, Pages

  Loebe, Frank ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIZATION; LOGICAL LANGUAGE; LOGICAL THEORIES; MODULARIZATIONS; STILL MISSING;

SOFTWARE ENGINEERING;

MODULAR CONSTRUCTION;

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

References (31)

1. Stephen T. Albin. The Art of Software Architecture: Design Methods and Techniques. Wiley and Sons, Indianapolis, 2003.
2. Eyal Amir and Sheila McIlraith. Partition-based logical reasoning. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-2000), Breckenridge, Colorado, USA, April 11-15, 2000, pages 389-400, San Francisco, 2000. Morgan Kaufmann.
3. Eyal Amir and Sheila McIlraith. Partition-based logical reasoning for first-order and propositional theories. Artificial Intelligence, 162(1-2):49-88, 2005.
4. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (UK), January 2003.
5. Helmut Balzert. Lehrbuch der Software-Technik: Volume 1 - Software-Entwicklung. Lehrbücher der Informatik. Spektrum Akademischer Verlag, Berlin, 2. edition, 2000. [in German].
6. Alex Borgida and Luciano Serafini. Distributed Description Logics: Assimilating information from peer sources. Journal on Data Semantics, 1:153-184, 2003. Published as Vol. 2800 of Lecture Notes in Computer Science, Berlin, Springer.
7. Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, and Heiner Stuckenschmidt. C-OWL: Contextualizing ontologies. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, The Semantic Web - ISWC2003: Proceedings of the Second International Semantic Web Conference, Sanibel Island, Florida, USA, Oct 20-23, Volume 2870 of Lecture Notes in Computer Science, pages 164-179, Berlin, 2003. Springer.
8. William Craig. Three uses of the Herbrand-Gentzen theorem in relating Model Theory and Proof Theory. Journal of Symbolic Logic, 22(3):269-285, September 1957.
9. Bernardo Cuenca Grau. Combination and Integration of Semantic Web Ontologies. PhD thesis, Department of Informatics, Valencia University, Valencia (Spain), 2006.
10. Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin. Working with multiple ontologies on the Semantic Web. In McIlraith et al. [23], pages 620-634.
11. Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin. Combining OWL ontologies using ε-Connections. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 4(1):40-59, 2006.
12. Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, and Aditya Kalyanpur. Modularity and web ontologies. In Patrick Doherty, John Mylopoulos, and Christopher A. Welty, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR-06), Lake District of the UK, Jun 2-5, pages 198-209, Menlo Park (California), 2006. AAAI Press.
13. Peter Forbrig and Immo Ö. Kerner. Lehrund Ubungsbuch Softwareentwicklung. Carl Hanser, Munich, 2004. [in German].
14. James Garson. Modularity and relevant logic. Notre Dame Journal of Formal Logic, 30(2):207-223, 1989.
15. Chiara Ghidini and Fausto Giunchiglia. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259, 2001.
16. Chiara Ghidini and Luciano Serafini. Distributed first order logic. In Dov Gabbay and Maarten de Rijke, editors, Frontiers of Combining Systems 2: Papers presented at FroCoS'98, Amsterdam, 1998, number 7 in Studies in Logic and Computation, pages 121-139. Research Studies Press Ltd., Baldock (UK), 2000.
17. Rahmanathan V. Guha. Contexts: A formalization and some applications. Technical Report STAN-CS-91-1399, Computer Science Department, Stanford University, 1991. [PhD thesis].
18. Heinrich Herre, Barbara Heller, Patryk Burek, Robert Hoehndorf, Frank Loebe, and Hannes Michalek. General Formal Ontology (GFO) - A foundational ontology integrating objects and processes, Part I: Basic Principles. Onto-Med Report 8, Research Group Ontologies in Medicine, Institute of Medical Informatics, Statistics and Epidemiology, University of Leipzig, Leipzig, 2006.
19. Yannis Kalfoglou and Marco Schorlemmer. Ontology mapping: the state of the art. The Knowledge Engineering Review, 18(1):1-31, 2003.
20. Oliver Kutz, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. ε-Connections of abstract description systems. Artificial Intelligence, 156(1):1-73, 2004.
21. Douglas B. Lenat and Rahmanathan V. Guha. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley, Reading (Massachusetts), 1990.
22. Bill MacCartney, Sheila A. McIlraith, Eyal Amir, and Tomás E. Uribe. Practical partition-based theorem proving for large knowledge bases. In Georg Gottlob and Toby Walsh, editors, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03), Acapulco, Mexico, Aug 9-15, 2003, pages 89-98, San Francisco, 2003. Morgan Kaufmann.
23. Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors. The Semantic Web - ISWC 2004: Proceedings of the Third International Semantic Web Conference, Hiroshima, Japan, Nov 7-11, Volume 3298 of Lecture Notes in Computer Science. Springer, Berlin, 2004.
24. D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, December 1972.
25. Alan Rector. Modularisation of domain ontologies implemented in description logics and related formalisms including OWL. In John Gennari, Bruce Porter, and Yolanda Gil, editors, Proceedings of the Second International Conference on Knowledge Capture (K-CAP'03), Sanibel Island, Florida, USA, Oct 23-25, pages 121-128, New York, 2003. ACM Press.
26. Johannes Sametinger. Software Engineering with Reusable Components. Springer, Berlin, 1997.
27. Luciano Serafini and Paolo Bouquet. Comparing formal theories of context in AI. Artificial Intelligence, 155(1-2):41-67, May 2004.
28. Johannes Siedersleben. Software-Architektur. In Johannes Siedersleben, editor, Softwaretechnik: Praxiswissen für Softwareingenieure, chapter 6, pages 89-114. Carl Hanser Verlag, Munich, 2. edition, 2003. [in German].
29. Heiner Stuckenschmidt and Michel Klein. Modularization of ontologies. Deliverable D21, Vrije Universiteit, Amsterdam (for IST Project 2001-33052 Wonderweb), 2003.
30. Heiner Stuckenschmidt and Michel Klein. Structure-based partitioning of large concept hierarchies. In McIlraith et al. [23], pages 289-303.
31. W3C. Web Ontology Language (OWL) Specifications. W3C Recommendations, World Wide Web Consortium (W3C), Cambridge (Massachusetts), 2004. http://www.w3.org/2004/OWL/.