References

[Areces et al., 1999]
C. Areces, P. Blackburn, and M. Marx: A road-map on complexity for hybrid logics. In Proc. of CSL'99, number 1683 in LNCS, pages 307-321. Springer-Verlag, 1999.

[Baader et al., 1991]
F. Baader, H.-J. Heinsohn, B. Hollunder, J. Muller, B. Nebel, W. Nutt, and H.-J. Profitlich: Terminological knowledge representation: A proposal for a terminological logic. Technical Memo TM-90-04, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI), 1991.

[Baader & Hanschke, 1991]
F. Baader and P. Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. In Proceddings IJCAI91 , 1991: 452-457.

[Baader & Hollunder, 1991]
F. Baader and B. Hollunder: KRIS: Knowledge representation and inference system. SIGART Bulletin, 2(3):8-14, 1991.

[Bechhofer et al., 1999]
S. Bechhofer, I. Horrocks, P. F. Patel-Schneider, and S. Tessaris: A proposal for a description logic interface. In Proc. of DL'99, pages 33-36, 1999.

[Benjamins et al., 1999 (a)]
V. R. Benjamins, D. Fensel, S. Decker, and A. Gomez Perez: (KA) 2 : Building ontologies for the internet: a mid term report. International Journal of Human-Computer Studies, 51:687-712, 1999.

[Benjamins et al., 1999 (b)]
V. R. Benjamins, B. Wielinga, J. Wielemaker, and D. Fensel : Brokering Problem-Solving Knowledge at the Internet. In Knowledge Acquisition, Modeling, and Management, Proceedings of the European Knowledge Acquisition Workshop (EKAW-99), D. Fensel et al. (eds.), Lecture Notes in Artificial Intelligence, LNAI 1621, Springer-Verlag, May 1999.

[Biron & Malhotra, 1999]
P. V. Biron and A. Malhotra: XML schema part 2: Datatypes. http://www.w3.org/TR/1999/WD-xmlschema-2-19991217/, 1999. W3C Working draft.

[Blackburn & Seligman, 1998]
P. Blackburn and J. Seligman: What are hybrid languages? In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic, volume 1, pages 41-62. CSLI Publications, Stanford University, 1998.

[Borgida & Patel-Schneider, 1994]
A. Borgida and P. F. Patel-Schneider: A semantics and complete algorithm for subsumption in the CLASSIC description logic. J. of Artificial Intelligence Research, 1:277-308, 1994.

[Brachman & Schmolze, 1985]
R. J. Brachman and J. G. Schmolze: An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171-216, 1985.

[Brickley & Guha, 2000]
D. Brickley and R.V. Guha: Resource Description Framework (RDF) Schema Specification 1.0, W3C Candidate Recommendation 27 March 2000. http://www.w3.org/TR/2000/CR-rdf-schema-20000327.

[Broekstra et al., to appear]
J. Broekstra, M. Klein, D. Fensel, S. Decker and I. Horrocks. OIL: a case study in extending RDF Schema. To appear.

[Calvanese et al., 1998a]
D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati: Source integration in data warehousing. In Proc. of DEXA-98, pages 192-197, 1998.

[Calvanese et al., 1998b]
D. Calvanese, M. Lenzerini, and D. Nardi: Description logics for conceptual data modeling. In Jan Chomicki and G¨ unter Saake, editors, Logics for Databases and Information Systems, pages 229-263. Kluwer Academic Publisher, 1998.

[Calvanese et al., 1999]
D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati: Use of the data reconciliation tool at telecom italia. DWQ deliverable D.4.3, Foundations of Data Warehouse Quality (DWQ), 1999.

[Chaudhri et al., 1997]
V. K. Chaudhri, A. Farquhar, R. Fikes, P. D. Karp, and J. P. Rice: Open knowledge base connectivity 2.0. Technical Report KSL-98-06, Knowledge Systems Laboratory, Stanford, 1997.

[Chaudhri et al., 1998]
V. K. Chaudhri, A. Farquhar, R. Fikes, P. D. Karp, and J. P. Rice: OKBC: A programmatic foundation for knowledge base interoperability. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pages 600-607. AAAI Press, 1998.

[Decker et al., 1999]
S. Decker, M. Erdmann, D. Fensel, and R.Studer: Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information. In: R. Meersman et al. (eds.), Database Semantics: Semantic Issues in Multimedia Systems, Proceedings TC2/WG 2.6 8th Working Conference on Database Semantics (DS-8) , Rotorua, New Zealand, Kluwer Academic Publishers, Boston, 1999.

[Dublin Core]
http://purl.oclc.org/dc/

[Elmasri & Navathe, 2000]
R. Elmasri and S. B. Navathe: Fundamentals of Database Systems. Addison Wesley, 3rd edition, 2000.

[Errikson et al., 1994]
H. Eriksson, A. R. Puerta, and M. A. Musen: Generation of knowledge-acquisition tools from domain ontologies, International Journal of Human Computer Studies (IJHCS) , 41:425-453, 1994.

[Errikson et al., 1999]
H. Eriksson, R. W. Fergerson, Y. Shahar, and M. A. Musen: Automated Generation of Ontology Editors. In Proceedings of the Twelfth Workshop on Knowledge Acquisition, Modeling and Management (KAW99) , Banff, Alberta, Canada, October 16-21, 1999.

[Farquhar et al., 1997]
A. Farquhar, R. Fikes, and J. Rice: The ontolingua server: A tool for collaborative ontology construction. Journal of Human-Computer Studies, 46:707-728, 1997.

[Fensel, 2000]
D. Fensel. Ontologies: Silver Bullet for Knowledge Management and Electronic Commerce. Springer-Verlag, Berlin, 2000.

[Fensel & Benjamins, 1998]
D. Fensel and V. R. Benjamins: Key Issues for Problem-Solving Methods Reuse. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98) , Brighton, UK, August 1998, 63-67.

[Fensel et al., 1998]
D. Fensel, S. Decker, M. Erdmann und R. Studer: Ontobroker: The Very High Idea. In Proceedings of the 11th International Flairs Conference (FLAIRS-98) , Sanibal Island, Florida, USA, 131-135, Mai 1998.

[Fensel et al., 1999a]
Dieter Fensel, V. Richard Benjamins, Enrico Motta, and Bob Wielinga: UPML: A Framework for knowledge system reuse. In Proceedings of the International Joint Conference on AI (IJCAI-99) , Stockholm, Sweden, July 31 - August 5, 1999.

[Fensel et al., 1999b]
D. Fensel, J. Angele, S. Decker, M. Erdmann, H.-P. Schnurr, S. Staab, R. Studer, and A. Witt: On2broker: Semantic-Based Access to Information Sources at the WWW. In Proceedings of the World Conference on the WWW and Internet (WebNet 99), Honolulu, Hawaii, USA, October 25-30, 1999.

[Fensel et al., 2000]
D. Fensel, M. Crubezy, F. van Harmelen, and I. Horrocks: OIL & UPML: A Unifying Framework for the Knowledge Web. In Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI'00, Berlin, Germany August 20-25, 2000.

[FIPA, 1998]
Foundation for Intelligent Physical Agents (FIPA): FIPA 98 Specification, 1998.

[Van Gelder et al., 1991]
A. Van Gelder, K. Ross, and J. Schlipf: The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.

[Gennari et al., 1994]
J. H. Gennari, S. W. Tu, T. E. Rothenfluh, and M. A. Musen: Mapping Domains to Methods in Support of Reuse, International Journal of Human-Computer Studies (IJHCS) , 41:399-424, 1994.

[Genesereth, 1991]
M. R. Genesereth: Knowledge interchange format. In J. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR'91). Morgan Kaufmann Publishers, San Francisco, California, 1991.

[Genesereth & Fikes, 1992]
M.R. Genesereth and R.E. Fikes: Knowledge interchange format, version 3.0, reference manual. Technical Report Logic-92-1, Computer Science Dept., Stanford University, 1992.

[Gomez Perez & Benjamins, 1999]
A. Gomez Perez and V. R. Benjamins: Applications of ontologies and problem-solving methods. AI-Magazine, 20(1):119-122, 1999.

[Grosso et al., 1999]
W. E. Grosso, H. Eriksson, R. W. Fergerson, J. H. Gennari, S. W. Tu, and M. A. Musen: Knowledge Modeling at the Millennium (The Design and Evolution of Protégé-2000). In Proceedings of the Twelfth Workshop on Knowledge Acquisition, Modeling and Management (KAW99) , Banff, Alberta, Canada, October 16-21, 1999.

[Gruber, 1993]
T. R. Gruber: A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2), 1993.

[Guenther, 1999]
R. Guenther: Type Working Group List of Resource Types 1999-08-05. http://purl.org/DC/documents/wd-typelist.htm

[Haarslev et al., 1998]
V. Haarslev, R. Möller, and A.-Y. Turha:. Implementing an ALLRP(D) abox reasoner - progress report. In Proc. of DL'98, pages 82-86, 1998.

[Heflin et al., 1999]
J. Heflin, J. Hendler, and S. Luke: SHOE: A Knowledge Representation Language for Internet Applications. Technical Report, CS-TR-4078 (UMIACS TR-99-71), Dept. of Computer Science, University of Maryland at College Park. 1999.

[Horrocks, 1997]
I. Horrocks: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.

[Horrocks et al., submitted]
I. Horrocks, U. Sattler, and S. Tobies: Abox reasoning for ALLRP(D), submitted.

[Horrocks & Patel-Schneider, 1999]
I. Horrocks and P. F. Patel-Schneider: Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267-293, 1999.

[Horrocks & Sattler, 1999]
I. Horrocks and U. Sattler: A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation , 9(3):385-410, 1999.

[Horrocks et al., 1999]
I. Horrocks, U. Sattler, and S. Tobies: Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer-Verlag, 1999.

[Karp et al., 1999]
P. D. Karp, V. K. Chaudhri, and J. Thomere: XOL: An XML-based ontology exchange language. Version 0.3, 1999.

[Kifer et al., 1995]
M. Kifer, G. Lausen, and J. Wu: Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42, 1995.

[Klein et al., 2000]
M. Klein, D. Fensel, F. van Harmelen, and I. Horrocks: The relation between ontologies and schema-languages: Translating OIL-specifications in XML-Schema. In Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI'00, Berlin, Germany August 20-25, 2000.

[Kushmerick, 1997]
N. Kushmerick: Wrapper Induction for Information Extraction . Ph.D. Dissertation, Department of Computer Science & Engineering, University of Washington, 1997. Available as Technical Report UW-CSE-97-11-04.

[Lassila & Swick,1999]
O. Lassila and R. Swick: Resource description framework (RDF). W3C recommendation. http://www.w3c.org/TR/WD-rdf-syntax, 1999.

[Lenat & Guha, 1990]
D. B. Lenat and R. V. Guha: Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project. Addison-Wesley Publishing Company, Reading, Massachusetts, 1990.

[Luke et al., 1996]
S. Luke, L. Spector, and D. Rager: Ontology-Based Knowledge Discovery on the World-Wide Web. In Working Notes of the Workshop on Internet-Based Information Systems at the 13th National Conference on Artificial Intelligence (AAAI96) , 1996.

[MacGregor, 1994]
R. M. MacGregor: A description classifier for the predicate calculus. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 213-220, Seattle, Washington, USA, 1994.

[McEntire et al., 1999]
R. McEntire, P. Karp, N. Abernethy, F. Olken, R. E. Kent, M. DeJongh, P. Tarczy-Hornoch, D. Benton, D. Pathak, G. Helt, S. Lewis, A. Kosky, E. Neumann, D. Hodnett, L. Tolda, and T. Topaloglou: An evaluation of ontology exchange languages for bioinformatics, 1999.

[Meersman, 1999]
R. A. Meersman: The use of lexicons and other computer-linguistic tools in semantics, design and cooperation of database systems. In Yanchun Zhang, editor, Proceedings of the Second International Symposium on Cooperative Database Systems for Advanced Applications CODAS'99, Wollongong, Australia, 1999. Springer Verlag.

[Miller, 1998]
E. Miller: An introduction to the resource description framework. D-Lib Magazine, 1998.

[Miller et al., 1999]
E. Miller, P. Miller, and D. Brickley: Guidance on expressing the Dublin Core within the Resource Description Framework (RDF). http://www.ukoln.ac.uk/metadata/resources/dc/datamodel/WD-dc-rdf.

[Nebel, 1996]
B. Nebel: Artificial intelligence: A computational perspective. In G. Brewka, editor, Principles of Knowledge Representation, Studies in Logic, Language and Information. CSLI publications, Stanford, 1996.

[OMG, 1997]
Object Management Group (OMG): Meta object facility (MOF) specification, 1997.

[OMG, 1998]
Object Management Group (OMG): Stream-based model interchange, 1998.

[Park et al., 1997]
J. Y. Park, J. H. Gennari, and M. A. Musen: Mappings for Reuse in Knowledge-based Systems. SMI Technical Report 97-0697, 1997.

[Patel-Schneider, 1998]
P. F. Patel-Schneide: DLP system description. In Proc. of DL'98, pages 87-89, 1998.

[Patel-Schneider & Swartout, 1993]
P. F. Patel-Schneider and B. Swartout: Description logic specification from the KRSS effort, 1993.

[Rector et al., 1993]
A. L. Rector, W A Nowlan, and A Glowinski: Goals for concept representation in the GALEN project. In Proceedings of the 17th Annual Symposium on Computer Applications in Medical Care (SCAMC'93) , pages 414-418, Washington DC, USA, 1993.

[Rector et al., 1997]
A. Rector, S. Bechhofer, C. A. Goble, I. Horrocks, W. A. Nowlan, and W. D. Solomon: The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine, 9:139-171, 1997.

[Sattler, 1995]
U. Sattler: A concept language for engineering applications with part-whole relations. In Proceedings of the International Conference on Description Logics--DL'95, pages 119-123, Roma, Italy, 1995.

[Sattler, 1996]
U. Sattler: A concept language extended with different kinds of transitive roles. In G. Görz and S. Hölldobler, editors, 20. Deutsche Jahrestagung für Künstliche Intelligenz, number 1137 in Lecture Notes in Artificial Intelligence, pages 333-345. Springer-Verlag, 1996.

[Schaerf, 1994]
A. Schaerf: Reasoning with individuals in concept languages. Data and Knowledge Engineering, 13(2):141-176, 1994.

[Schild, 1991a]
K. Schild: A correspondence theory for terminological logics: Preliminary report. In Proc. of IJCAI-91, pages 466-471, 1991.

[Schild, 1991b]
Klaus Schild: From terminological logics to modal logics. In Proceedings of the International Workshop on Terminological Logics, pages 101-104, Dagstuhl, 1991.

[Staab & Mädche, 2000]
S. Staab and A. Mädche: Axioms are objects, too - ontology engineering beyond the modeling of concepts and relations. Technical Report 399, AIFB, Karlsruhe University, 2000.

[Stuckenschmidt, submitted]
H. Stuckenschmidt: Problem-solving methods for semantic integration. Submitted.

[Studer et al., 1998]
R. Studer, V. R. Benjamins, and D. Fensel: Knowledge engineering: Principles and methods. Data and Knowledge Engineering (DKE), 25(1-2):161-197, 1998.

[Tessaris & Gough, 1999]
S. Tessaris and G. Gough: Abox reasoning with transitive roles and axioms. In Proc. of DL'99, 1999.

[Thompson et al., 1999]
H. S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn: XML schema part 1: Structures. http://www.w3.org/TR/1999/WD-xmlschema-1-19991217/, 1999. W3C Working draft.

[Uschold & Grüninger, 1996]
M. Uschold and M. Grüninger: Ontologies: Principles, methods and applications. Knowledge Engineering Review, 11(2), 1996.

[van Heijst et al., 1997]
G. van Heijst, A. Th. Schreiber, and B. J. Wielinga: Using explicit ontologies in KBS development. International Journal of Human-Computer Studies, 46(2/3):183-292, 1997.

[Walsh, 1999]
N. Walsh: Schemas for XML, 1999. http://www.xml.com/pub/1999/07/schemas/index.html