{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:51:42Z","timestamp":1725529902288},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848820531"},{"type":"electronic","value":"9781848820548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-84882-054-8_27","type":"book-chapter","created":{"date-parts":[[2009,4,3]],"date-time":"2009-04-03T08:18:17Z","timestamp":1238746697000},"page":"325-340","source":"Crossref","is-referenced-by-count":0,"title":["Ontological Modeling and Reasoning"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Paar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Reuter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook","year":"2003","key":"27_CR1","unstructured":"F. Baader, D. Calvanese, D. McGuiness, D. Nardi, and P. Patel-Schneider, editors.The Description Logic Handbook. Cambridge University Press, Cambridge, UK, 2003."},{"key":"27_CR2","unstructured":"S. Bechhofer. The DIG description logic interface: DIG\/1.0. Technical report, University of Manchester, 2002."},{"key":"27_CR3","unstructured":"P. V. Biron and A. Malhotra. XML Schema Part 2: Datatypes Second Edition. Technical report, World Wide Web Consortium (W3C), Oct. 2004. http:\/\/www.w3.org\/TR\/xmlschema-2\/ ."},{"key":"27_CR4","unstructured":"D. Brickley and R. Guha. RDF Vocabulary Description Language 1.0: RDF Schema. Technical report, World Wide Web Consortium (W3C), Feb. 2004. http:\/\/www.w3.org\/TR\/rdf-schema\/ ."},{"key":"27_CR5","unstructured":"A. Hejlsberg, S. Wiltamuth, and P. Golde. C# language specification. Technical report, ECMA International, Jun. 2006. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-334.htm ."},{"issue":"10","key":"27_CR6","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An axiomatic basis for computer programming.Communications of the ACM (CACM), 12(10):576\u2013580, 1969.","journal-title":"Communications of the ACM (CACM)"},{"issue":"4","key":"27_CR7","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"I. Horrocks","year":"2004","unstructured":"I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability.Journal of Web Semantics, 1(4):345\u2013357, 2004.","journal-title":"Journal of Web Semantics"},{"key":"27_CR8","unstructured":"I. Horrocks, F. van Harmelen, and P. Patel-Schneider. DAML+OIL. Technical report, DARPA's Information Exploitation Office and European Union's Information Society Technologies, Mar. 2001. http:\/\/www.daml.org\/2001\/03\/daml+oil-index.html ."},{"key":"27_CR9","unstructured":"HP Labs. Jena Semantic Web Framework, 2004. http:\/\/www.hpl.hp.com\/semweb\/jena.htm ."},{"key":"27_CR10","unstructured":"F. Manola and E. Miller. RDF Primer. Technical report, World Wide Web Consortium (W3C), Feb. 2004. http:\/\/www.w3.org\/TR\/rdf-primer\/ ."},{"key":"27_CR11","unstructured":"D. L. McGuinness and F. van Harmelen. OWLWeb Ontology Language Overview. Technical report,WorldWideWeb Consortium (W3C), Feb. 2004. http:\/\/www.w3.org\/TR\/owl-features\/ ."},{"key":"27_CR12","unstructured":"M. Minsky.Mind Design, chapter A framework for representing knowledge. MIT Press, Cambridge, MA, 1981. A longer version appeared in The Psychology of Computer Vision (1975)."},{"key":"27_CR13","unstructured":"R. M\u00f6ller and V. Haarslev. RACER: Renamed ABox and Concept Expression Reasoner, 2004. Technische Universit\u00e4t Hamburg-Haburg."},{"key":"27_CR14","unstructured":"B. Motik. KAON2, 2006. http:\/\/kaon2.semanticweb.org ."},{"key":"27_CR15","unstructured":"Open RDF. Sesame RDF Database, 2006. http:\/\/www.openrdf.org ."},{"key":"27_CR16","unstructured":"A. Paar. Zhi# \u2013 programming language inherent support for ontologies. In J.-M. Favre, D. Gasevic, R. L\u00e4mmel, and A.Winter, editors,ateM '07: Proceedings of the 4th International Workshop on Software Language Engineering, pages 165\u2013181, Mainz, Germany, Oct. 2007."},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"A. Paar, J. Reuter, J. Soldatos, K. Stamatis, and L. Polymenakos. A formally specified ontology management API as a registry for ubiquitous computing systems.The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies (Applied Intelligence), 2007.","DOI":"10.1007\/s10489-007-0075-x"},{"key":"27_CR18","unstructured":"A. Paar andW. F. Tichy. Zhi#: Programming language inherent support for XML Schema Definition. InW.-T. Tsai and M. Hamza, editors,SEA '05: Proceedings of the 9th IASTED International Conference on Software Engineering and Applications, pages 407\u2013414, Anaheim, CA, Nov. 2005."},{"key":"27_CR19","unstructured":"Pellet, 2006. http:\/\/pellet.owldl.com ."},{"key":"27_CR20","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1002\/bs.3830120511","volume":"12","author":"M. R. Quillian","year":"1967","unstructured":"M. R. Quillian. Word concepts: A theory and simulation of some basic capabilities.Behavioral Science, 12:410\u2013430, 1967.","journal-title":"Behavioral Science"},{"key":"27_CR21","unstructured":"J. Reuter. Ontological processing of sound resources. InProceedings of the 4th International Linux Audio Conference (LAC2006), pages 97\u2013104. Zentrum f\u00fcr Kunst und Medientechnologie (ZKM), Apr 2006."},{"key":"27_CR22","unstructured":"V. Roubtsov. Emma: A free Java code coverage tool, 2007. http:\/\/emma.sourceforge.net ."},{"key":"27_CR23","unstructured":"Stanford University School of Medicine. Prot\u00e8g\u00e8 knowledge acquisition system, 2006. http:\/\/protege.stanford.edu ."}],"container-title":["Computers in the Human Interaction Loop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-054-8_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T21:55:07Z","timestamp":1619906107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-054-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781848820531","9781848820548"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-054-8_27","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}