Flexible software architectures for ontology-based information systems

Berners Lee, 2001, The semantic web, Scientific American, 5 D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati, Description logic framework for information integration, in: Proc. of the 6th Int. Conference on the Principles of Knowledge Representation and Reasoning (KR'98), 1998 D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati, Knowledge representation approach to information integration, in: Proc. of AAAI Workshop on AI and Information Integration, 1998 Borgida, 2003, Description logics for databases H. Wache, Vögele, T. Visser, U. Stuckenschmidt, H. Schuster, G. Neumann, S. Hübner, Ontology-based integration of information—A survey of existing approaches, in: Proc. IJCAI-01 Workshop on Ontologies and Information Sharing, 2001 M. Wessel, Some practical issues in building a hybrid deductive geographic information system with a DL component, in: Proc. of the 10th Int. Workshop on Knowledge Representation Meets Databases (KRDB'03), 2003 M. Wessel, R. Möller, A flexible DL-based architecture for deductive information systems, in: Proc. of the IJCAR-06 Workshop on Empirically Successful Computerized Reasoning (ESCOR), 2006 Ferber, 2003 Horrocks, 2003, Digital libraries and web-based information systems R. Möller, K. Hidde, R. Joswig, T. Mantay, B. Neumann, Bericht über das Projekt BAND: Benutzeradaptiver Netzinformationsdienst, Tech. Rep. LKI-Memo LKI-M-99/01, Labor für Künstliche Intelligenz, Fachbereich Informatik, Universität Hamburg, 1999 Gruber, 1993, A translation approach to portable ontologies, Knowledge Acquisition, 5, 10.1006/knac.1993.1008 2003 V. Haarslev, R. Möller, RACER system description, in: Proc. of the Int. Joint Conference on Automated Reasoning (IJCAI'01), 2001 I. Horrocks, U. Sattler, S. Tobies, Practical reasoning for expressive description logics, in: Proc. of the 6th Int. Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1999 V. Haarslev, R. Möller, M. Wessel, The description logic ALCNHR+ extended with concrete domains: A practically motivated approach, in: Proc. of the Int. Joint Conference on Automated Reasoning (IJCAR'01), 2001 D. Calvanese, G. De Giacomo, M. Lenzerini, What can knowledge representation do for semi-structured data?, in: Proc. of the 15th National Conference on Artificial Intelligence (AAAI'98), 1998 F. Manola, E. Miller, RDF primer, Tech. Rep., World Wide Web Consortium, February 2004 D. Brickley, R.V. Guha, Resource description framework (RDF) schema specification 1.0, Tech. Rep., World Wide Web Consortium, March 2000 D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, R. Rosati, DL-Lite: Tractable description logics for ontologies, in: Proc. of the 20th National Conference on Artificial Intelligence (AAAI'05), 2005 V. Haarslev, R. Möller, M. Wessel, Description logic inference technology: Lessions learned in the trenches, in: Proc. of the Int. Workshop on Description Logics (DL'05), 2005 R. Möller, V. Haarslev, M. Wessel, On the scalability of description logic instance retrieval, in: Deutsche Jahrestagung für Künstliche Intelligenz (KI'06), 2006 E. Karabaev, C. Lutz, MONA as a DL reasoner, in: Proc. of the Int. Workshop on Description Logics (DL'05), 2004 S. Bechhofer, R. Möller, P. Crowther, The DIG description logic interface, in: Proc. of the Int. Workshop on Description Logics (DL'03), 2003 A.-Y. Turhan, S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. Patel-Schneider, B. Suntisrivaraporn, T. Weithöner, DIG 2.0 towards a flexible interface for description logic reasoners, in: Proc. of the Int. Workshop on OWL: Experiences and Directions (OWLED'06), 2006 Donini, 1998, AL-Log: Integrating datalog and description logics, Journal of Intelligent Information Systems, 10, 10.1023/A:1008687430626 A.Y. Levy, M.-C. Rousset, CARIN: A representation language combining Horn rules and description logics, in: European Conference on Artificial Intelligence (ECAI'96), 1996 I. Horrocks, S. Tessaris, Querying the semantic web: A formal approach, in: Proc. of the 2002 Int. Semantic Web Conference (ISWC'02), 2002 B. Glimm, I. Horrocks, Query answering systems in the semantic web, in: Proc. of the KI-04 Workshop on Applications of Description Logics (ADL'04), 2004 V. Haarslev, R. Möller, Optimization techniques for retrieving resources described in OWL/RDF documents: First results, in: Ninth Int. Conference on the Principles of Knowledge Representation and Reasoning (KR'04), 2004 F. Baader, U. Sattler, Tableau algorithms for description logics, in: Proc. of the 9th Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'00), 2000 A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, R. Rosati, QuOnto: Querying ontologies, in: Proc. of the 20th National Conference on Artificial Intelligence (AAAI'05), 2005 Newell, 1982, The knowledge level, Artificial Intelligence, 18, 87, 10.1016/0004-3702(82)90012-1 V. Haarslev, R. Möller, M. Wessel, Querying the semantic web with racer + nRQL, in: Proc. of the Int. Description Logic Workshop (DL'04), 2004 V. Haarslev, R. Möller, M. Wessel, A high performance semantic web query answering engine, in: Proc. of the Int. Description Logic Workshop (DL'05), 2005 Kutz, 2004, E-connections of abstract description systems, Artificial Intelligence, 156, 10.1016/j.artint.2004.02.002 McBride, 2002, Jena: A semantic web toolkit, IEEE Internet Computing, 6, 10.1109/MIC.2002.1067737 Clark, 1978, Negation as failure logic and databases Steele, 1990 Gamma, 1995 Vogel, 2005 D.A. Randell, Z. Cui, A.G. Cohn, A spatial logic based on regions and connections, in: Proc. of the Int. Conference on Principles of Knowledge Representation and Reasoning (KR'92), 1992 Haarslev, 1999, A description logic with concrete domains and role-forming predicates, Journal of Logic and Computation, 9, 10.1093/logcom/9.3.351 C. Lutz, M. Milicic, A tableau algorithm for DLs with concrete domains and GCIs, in: Proc. of the Int. Workshop on Description Logics (DL'05), 2005 M. Wessel, Qualitative spatial reasoning with the ALCIRCC-family—First results and unanswered questions, Tech. Rep. FBI-HH-M-324/03, University of Hamburg, Computer Science Department, 2003 C. Lutz, F. Wolter, Modal logics of topological relations, in: Proc. of Advances in Modal Logics (AIML'04), 2004 M. Wessel, On spatial reasoning with description logics—position paper, in: Proc. of the Int. Workshop on Description Logics (DL'02), 2002 R. Möller, M. Wessel, Terminological default reasoning about spatial information: A first step, in: Proc. of the Int. Conference on Spatial Information Theory (COSIT'99), 1999 Racer Systems GmbH & Co. KG Y. Guo, Z. Pan, J. Heflin, An evaluation of knowledge base systems for large OWL datasets, in: Proc. of the Third Int. Semantic Web Conference (ISWC'04), 2004