{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T10:33:44Z","timestamp":1775126024792,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10489-006-8511-x","type":"journal-article","created":{"date-parts":[[2006,4,18]],"date-time":"2006-04-18T16:46:36Z","timestamp":1145378796000},"page":"189-204","source":"Crossref","is-referenced-by-count":12,"title":["Ontology oriented programming in go!"],"prefix":"10.1007","volume":"24","author":[{"given":"K. L.","family":"Clark","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. G.","family":"McCabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8511_CR1","unstructured":"McCabe FG (1992) L&O: Logic and objects. Prentice-Hall International."},{"key":"8511_CR2","volume-title":"The Semantic Web, Proceedings of ISWC 2003","author":"NM Goldman","year":"2003","unstructured":"Goldman NM (2003) Ontology oriented programming\u2014static typing for the inconsistent programmer. In The Semantic Web, Proceedings of ISWC 2003, Sanibel Island, Florida, Springer-Verlag, LNAI, Vol 2870."},{"key":"8511_CR3","unstructured":"Patel-Schneider PF et al (2003) Owl web ontology language\u2014semantics and abstract syntax. W3C Candidate Recommendation, http:\/\/www.w3.org\/TR\/2004\/REC-owl-semantics-20040210\/."},{"issue":"2\u20134","key":"8511_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/B:AMAI.0000031195.87297.d9","volume":"41","author":"KL Clark","year":"2004","unstructured":"Clark KL and McCabe FG (2004) Go! \u2013 a Multi-paradigm programming language for implementing Multi-threaded agents. Annals of Mathematics and Artificial Intelligence, 41(2\u20134):171\u2013206.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"8511_CR5","unstructured":"McGuiness S et al (2000) Owl Web Ontology Language\u2014Overview. W3C candidate recommendation, http:\/\/www.w3.org\/TR\/owl."},{"issue":"1","key":"8511_CR6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Peter F, Patel-Schneider, Frank van Harmelen (2003) From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7\u201326.","journal-title":"J. of Web Semantics"},{"key":"8511_CR7","unstructured":"Henderson F, Somogyi Z, Conway T (1995) Mercury: an efficient purely declarative logic programming language. In Proceedings of the Australian Computer Science Conference, pages 499\u2013512."},{"key":"8511_CR8","unstructured":"Minsky M (1975) A framework for representing knowledge. In P. Winston, editor, Psychology of Computer Vision, pages 211\u2013277. MIT Press."},{"key":"8511_CR9","doi-asserted-by":"crossref","unstructured":"Fikes R, et al (2003) OWL-QL\u2014A Language for Deductive Query Answering on the Semantic Web. SL Technical Report 03-14, http:\/\/ksl.stanford.edu\/KSL_Abstracts\/KSL-03-14.html.","DOI":"10.2139\/ssrn.3199162"},{"key":"8511_CR10","doi-asserted-by":"crossref","unstructured":"Clark KL (1978) Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum press.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"8511_CR11","doi-asserted-by":"crossref","unstructured":"Horrocks I, Tessaris S (2002) Querying the semantic web: a formal approach. In Ian Horrocks and James Hendler, editors, Proc. of the 13th Int. Semantic Web Conf. (ISWC 2002), number 2342 in Lecture Notes in Computer Science, pages 177\u2013191. Springer-Verlag.","DOI":"10.1007\/3-540-48005-6_15"},{"key":"8511_CR12","doi-asserted-by":"crossref","unstructured":"Clark KL, McCabe FG (2006) Ontology schema for an agent belief store, to appear in International Journal of Human-Computer Studies, special issue on Ontologies. individual store as agent belief store. Technical report, Dept. of Computing, Imperial College, London.","DOI":"10.1016\/j.ijhcs.2007.03.004"},{"key":"8511_CR13","doi-asserted-by":"crossref","unstructured":"Grosof B, et al (2003) Description Logic Programs: Combining Logic Programs with Description Logics. In G. Hencsey and B. White, editors, Proc. of the WWW-2003.","DOI":"10.1145\/775152.775160"},{"issue":"1","key":"8511_CR14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","volume":"3","author":"I Horrocks","year":"2005","unstructured":"Horrocks I, Peter F, Patel-Schneider, Bechhofer S, Tsarkov D (2005) OWL rules: A proposal and prototype implementation. J. of Web Semantics, 3(1):23\u201340.","journal-title":"J. of Web Semantics"},{"key":"8511_CR15","unstructured":"Jos de Bruijn et al (2005) Web Rule Language (WRL), version 1.0. Rule Markup Initiative Technical Report, http:\/\/www.wsmo.org\/wsml\/wrl\/wrl.html."},{"key":"8511_CR16","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M Kifer","year":"1995","unstructured":"Kifer M, Lausen G, Wu J (1995) Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42:741\u2013843.","journal-title":"Journal of the ACM"},{"key":"8511_CR17","unstructured":"Gruber TR (1993) Toward Principles for the Design of Ontologies used for Knowledge Sharing. Technical report, Stanford University, http:\/\/ksl-web.stanford.edu\/KSL_Abstracts\/KSL-93-04.html."},{"key":"8511_CR18","doi-asserted-by":"crossref","unstructured":"Yang G, Kifer M, Zhao C (2003) Flora-2: A rule-based knowledge representation and inference infrastructure for the semantic web. In R. King, M. Orlowska, and R. Studer, editors, Proceedings on Ontologies, Databases and Applications of Semantics\u201903, LNAI 2888, pages 671\u2013688. Springer Verlag.","DOI":"10.1007\/978-3-540-39964-3_43"},{"key":"8511_CR19","unstructured":"Moss C (1994) Prolog++: The Power of Object-Oriented and Logic Programming. Addison-Wesly."},{"key":"8511_CR20","unstructured":"Lopes de Moura PJ (2003) Logtalk: Design of an Object-Oriented Logic Programming Language. PhD Thesis, Departamento de Informatica, Universidade da Beira Interior, Portugal."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-8511-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-006-8511-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-8511-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:25:39Z","timestamp":1559139939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-006-8511-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8511"],"URL":"https:\/\/doi.org\/10.1007\/s10489-006-8511-x","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}