{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:44Z","timestamp":1775053424166,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540411192","type":"print"},{"value":"9783540399674","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39967-4_1","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:15:34Z","timestamp":1187252134000},"page":"1-16","source":"Crossref","is-referenced-by-count":100,"title":["OIL in a Nutshell"],"prefix":"10.1007","author":[{"given":"D.","family":"Fensel","sequence":"first","affiliation":[]},{"given":"I.","family":"Horrocks","sequence":"additional","affiliation":[]},{"given":"F.","family":"Van Harmelen","sequence":"additional","affiliation":[]},{"given":"S.","family":"Decker","sequence":"additional","affiliation":[]},{"given":"M.","family":"Erdmann","sequence":"additional","affiliation":[]},{"given":"M.","family":"Klein","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,2]]},"reference":[{"key":"1_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-48168-0_22","volume-title":"Proc. of CSL\u201999","author":"C. Areces","year":"1999","unstructured":"C. Areces, P. Blackburn, and M. Marx: A road-map on complexity for hybrid logics. In Proc. of CSL\u201999, number 1683 in LNCS, pages 307\u2013321. Springer-Verlag, 1999."},{"key":"1_CR2","unstructured":"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\u00fcr K\u00fcnstliche Intelligenz GmbH (DFKI), 1991."},{"key":"1_CR3","unstructured":"F. Baader and P. Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. In Proceddings IJCAI91, 1991: 452\u2013457."},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/122296.122298","volume":"2","author":"F. Baader","year":"1991","unstructured":"F. Baader and B. Hollunder: KRIS: Knowledge representation and inference system. SIGART Bulletin, 2(3):8\u201314, 1991.","journal-title":"SIGART Bulletin"},{"key":"1_CR5","unstructured":"S. Bechhofer, I. Horrocks, P. F. Patel-Schneider, and S. Tessaris: A proposal for a description logic interface. In Proc. of DL\u201999, pages 33\u201336, 1999."},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"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\u2013308, 1994.","journal-title":"J. of Artificial Intelligence Research"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze: An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"1_CR8","unstructured":"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-rdfschema-20000327 ."},{"key":"1_CR9","unstructured":"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."},{"key":"1_CR10","unstructured":"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\u2013607. AAAI Press, 1998."},{"key":"1_CR11","unstructured":"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\u201321, 1999."},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1006\/ijhc.1996.0121","volume":"46","author":"A. Farquhar","year":"1997","unstructured":"A. Farquhar, R. Fikes, and J. Rice: The ontolingua server: A tool for collaborative ontology construction. Journal of Human-Computer Studies, 46:707\u2013728, 1997.","journal-title":"Journal of Human-Computer Studies"},{"key":"1_CR13","unstructured":"D. Fensel. Ontologies: Silver Bullet for Knowledge Management and Electronic Commerce. Springer-Verlag, to appear."},{"key":"1_CR14","unstructured":"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\u2013135, Mai 1998."},{"issue":"4","key":"1_CR15","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1109\/69.706055","volume":"10","author":"D. Fensel","year":"1998","unstructured":"D. Fensel, J. Angele, and R. Studer: The Knowledge Acquisition And Representation Language KARL, IEEE Transactions on Knowledge and Data Engineering, 10(4):527\u2013550, 1998.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"1_CR16","unstructured":"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\u201330, 1999."},{"key":"1_CR17","unstructured":"D. Fensel, M. Crubezy, F. van Harmelen, and M. 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\u201900, Berlin, Germany August 20\u201325, 2000."},{"key":"1_CR18","unstructured":"Foundation for Intelligent Physical Agents (FIPA): FIPA 98 Specification, 1998."},{"key":"1_CR19","unstructured":"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\u201991). clMorgan Kaufmann Publishers, San Francisco, California, 1991."},{"key":"1_CR20","unstructured":"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."},{"issue":"1","key":"1_CR21","first-page":"119","volume":"20","author":"A. Gomez Perez","year":"1999","unstructured":"A. Gomez Perez and V. R. Benjamins: Applications of ontologies and problem-solving methods. AI-Magazine, 20(1):119\u2013122, 1999.","journal-title":"AI-Magazine"},{"key":"1_CR22","unstructured":"W. E. Grosso, H. Eriksson, R. W. Fergerson, H. Gennari, S. W. Tu, and M. A. Musen: Knowledge Modeling at the Millennium (The Design and Evolution of Prot\u00e9g\u00e9-2000). In Proceedings of the Twelfth Workshop on Knowledge Acquisition, Modeling and Management (KAW99), Banff, Alberta, Canada, October 16\u201321, 1999."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"T. R. Gruber: A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2), 1993.","DOI":"10.1006\/knac.1993.1008"},{"key":"1_CR24","unstructured":"R. Guenther: Type Working Group List of Resource Types 1999-08-05. http:\/\/www.purl.org\/DC\/documents\/wd-typelist.htm"},{"issue":"2\/3","key":"1_CR25","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1006\/ijhc.1996.0090","volume":"46","author":"G. Heijst van","year":"1997","unstructured":"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\u2013292, 1997.","journal-title":"International Journal of Human-Computer Studies"},{"key":"1_CR26","unstructured":"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."},{"key":"1_CR27","unstructured":"I. Horrocks, D. Fensel, J. Broekstra, S. Decker, M. Erdmann, C. Goble, F. Van Harmelen, M. Klein, S. Staab, and R. Studer: The Ontology Inference Layer OIL. http:\/\/www.ontoknowledge.org\/oil ."},{"issue":"3","key":"1_CR28","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"I. Horrocks and P. F. Patel-Schneider: Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267\u2013293, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"1_CR29","unstructured":"P. D. Karp, V. K. Chaudhri, and J. Thomere: XOL: An XML-based ontology exchange language. Version 0.3, 1999."},{"key":"1_CR30","unstructured":"M. Klein, D. Fensel, F. van Harmelen, and I. Horrocks: The Relation between Ontologies and Schema-Languages: Translating OIL-Specifications to XML-Schema. In Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI\u201900, Berlin, Germany August 20\u201325, 2000."},{"key":"1_CR31","unstructured":"O. Lassila and R. Swick: Resource description framework (RDF). W3C recommendation. http:\/\/www.w3c.org\/TR\/WD-rdf-syntax , 1999."},{"key":"1_CR32","unstructured":"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."},{"key":"1_CR33","unstructured":"R. McEntire, P. Karp, N. Abernethy, F. Olken, R. E. Kent, M. De Jongh, 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."},{"key":"1_CR34","unstructured":"R. M. MacGregor: A description classifier for the predicate calculus. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 213\u2013220, Seattle, Washington, USA, 1994."},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"E. Miller: An introduction to the resource description framework. D-Lib Magazine, 1998.","DOI":"10.1045\/may98-miller"},{"key":"1_CR36","unstructured":"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 ."},{"key":"1_CR37","volume-title":"Principles of Knowledge Representation","author":"B. Nebel","year":"1996","unstructured":"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."},{"key":"1_CR38","unstructured":"P. F. Patel-Schneider and B. Swartout: Description logic specification from the KRSS effort, 1993."},{"key":"1_CR39","unstructured":"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\u201993), pages 414\u2013418, Washington DC, USA, 1993."},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0933-3657(96)00369-7","volume":"9","author":"A. Rector","year":"1997","unstructured":"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\u2013171, 1997.","journal-title":"Artificial Intelligence in Medicine"},{"key":"1_CR41","unstructured":"U. Sattler: A concept language for engineering applications with part-whole relations. In Proceedings of the International Conference on Description Logics-DL\u201995, pages 119\u2013123, Roma, Italy, 1995."},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"M. Uschold and M. Gr\u00fcninger: Ontologies: Principles, methods and applications. Knowledge Engineering Review, 11(2), 1996.","DOI":"10.1017\/S0269888900007797"}],"container-title":["Lecture Notes in Computer Science","Knowledge Engineering and Knowledge Management Methods, Models, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39967-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:15:42Z","timestamp":1556770542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39967-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411192","9783540399674"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-39967-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}