{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:47:57Z","timestamp":1743011277294},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203612"},{"type":"electronic","value":"9783540397151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39715-1_6","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T00:33:00Z","timestamp":1283560380000},"page":"81-94","source":"Crossref","is-referenced-by-count":9,"title":["Constructing RuleML-Based Domain Theories on Top of OWL Ontologies"],"prefix":"10.1007","author":[{"given":"Christopher J.","family":"Matheus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitch M.","family":"Kokar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth","family":"Baclawski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerzy","family":"Letkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.1201\/b12461","volume-title":"Situation Awareness, Analysis and Measurement","author":"M. Endsley","year":"2000","unstructured":"Endsley, M., Garland, D.: Situation Awareness, Analysis and Measurement. Lawrence Erlbaum Associates Publishers, Mahway (2000)"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"369","DOI":"10.2307\/2026481","volume":"77","author":"J. Barwise","year":"1981","unstructured":"Barwise, J.: Scenes and other situations. J. Philosophy\u00a077, 369\u2013397 (1981)","journal-title":"J. Philosophy"},{"key":"6_CR3","unstructured":"Barwise, J.: The Situation In Logic. CSLI Lecture Notes, 17 (1989)"},{"key":"6_CR4","unstructured":": Revisions to the JDL data fusion model. In: Proceedings of SPIE Conf. Sensor Fusion: Architectures, Algorithms and Applications III, April 1999, vol.\u00a03719, pp. 430\u2013441 (1999)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Matheus, M.K., Baclawski, K.: Phase I Final Report: A Formal Framework for Situation Awareness (January 2003) AFRL Funding Number: F30602-02-C-0039","DOI":"10.1109\/ICIF.2003.177494"},{"key":"6_CR6","unstructured":"Baclawski, K., Kokar, M., Letkowski, J., Matheus, C., Malczewski, M.: Formalization of Situation Awareness. In: Proceedings of the Eleventh OOPSLA Workshop on Behavioral Semantics, November 2002, pp. 1\u201315 (2002)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Matheus, C., Kokar, M., Baclawski, K.: A Core Ontology for Situation Awareness. In: Proceedings of FUSION 2003, Cairns, Queensland, Australia (July 2003)","DOI":"10.1109\/ICIF.2003.177494"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Matheus, C.J., Baclawski, K., Kokar, M.M.: Derivation of ontological relations using formal methods in a situation awareness scenario. In: Proceedings of SPIE Conference on Mulitsensor, Multisource Information Fusion, April 2003, pp. 298\u2013309 (2003)","DOI":"10.1117\/12.488441"},{"key":"6_CR9","unstructured":"Specware: Language manual. version 2.0.3. Technical report, Kestrel Institute (1998)"},{"key":"6_CR10","unstructured":"SNARK: SRI\u2019s new automated reasoning kit (2002), http:\/\/www.ai.sri.com\/stickel\/snark.html"},{"key":"6_CR11","unstructured":"Matheus, C., Kokar, M., Baclawski, K.: Phase II Proposal: A Formal Framework for s"},{"key":"6_CR12","unstructured":"OWL Web Ontology Language XML Presentation Syntax, http:\/\/www.w3.org\/TR\/owlxmlsyntax\/"},{"key":"6_CR13","unstructured":"The RuleML Initiative, http:\/\/www.ruleml.org\/"},{"key":"6_CR14","unstructured":"Resource Description Framework (RDF), http:\/\/www.w3.org\/RDF\/"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-39718-2_2","volume-title":"The Semantic Web - ISWC 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 17\u201329. Springer, Heidelberg (2003)"},{"key":"6_CR16","unstructured":"OntoWeb Consortium, OntoWeb Deliverable 1.3: A survey on ontology tools (May 2002), http:\/\/www.aifb.uni-karlsruhe.de\/WBS\/ysu\/publications\/OntoWeb_Del_1-3.pdf"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1017\/S0269888902000358","volume":"17","author":"P.A. Kogut","year":"2002","unstructured":"Kogut, P.A., Cranefield, S., Hart, L., Dutra, M., Baclawski, K., Kokar, M.M., Smith, J.E.: UML for Ontology Development. The Knowledge Engineering Review\u00a017(1), 61\u201364 (2002)","journal-title":"The Knowledge Engineering Review"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"14","DOI":"10.2307\/2268661","volume":"16","author":"Horn","year":"1951","unstructured":"Horn: On sentences which are true of direct unions of algebras. Journal of Symbolic Logic\u00a016, 14\u201321 (1951)","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR19","unstructured":"RuleML DTDs, http:\/\/www.dfki.uni-kl.de\/ruleml\/indtd0.8.html"}],"container-title":["Lecture Notes in Computer Science","Rules and Rule Markup Languages for the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39715-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T04:49:52Z","timestamp":1685767792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39715-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203612","9783540397151"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39715-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}