{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T01:53:02Z","timestamp":1768441982552,"version":"3.49.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2010,8,1]],"date-time":"2010-08-01T00:00:00Z","timestamp":1280620800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2010,8,1]],"date-time":"2010-08-01T00:00:00Z","timestamp":1280620800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1109\/wi-iat.2010.44","type":"proceedings-article","created":{"date-parts":[[2010,11,10]],"date-time":"2010-11-10T16:02:35Z","timestamp":1289404955000},"page":"248-255","source":"Crossref","is-referenced-by-count":5,"title":["F-Logic#: Loosely Coupling F-Logic Rules and Ontologies"],"prefix":"10.1109","author":[{"given":"Stijn","family":"Heymans","sequence":"first","affiliation":[{"name":"Vienna Univ. of Technol., Vienna, Austria"}]},{"given":"Roman","family":"Korf","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Erdmann","sequence":"additional","affiliation":[]},{"given":"Jo\u0308rg","family":"Pu\u0308hrer","sequence":"additional","affiliation":[{"name":"Vienna Univ. of Technol., Vienna, Austria"}]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[{"name":"Vienna Univ. of Technol., Vienna, Austria"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1070","article-title":"The Stable Model Semantics for Logic Programming","author":"gelfond","year":"1988","journal-title":"Proc Fifth Int l Conf Logic Programming"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775160"},{"key":"ref12","first-page":"17","article-title":"Reducing OWL Entailment to Description Logic Satisfiability","author":"horrocks","year":"2003","journal-title":"Proc ISWC 2003"},{"key":"ref13","first-page":"152","article-title":"Reducing SHIQ Description Logic to Disjunctive Datalog Programs","author":"hustadt","year":"2004","journal-title":"Proc of KR 2004"},{"key":"ref14","first-page":"60","article-title":"Combining OWL with F-Logic Rules and Defaults","author":"kattenstroth","year":"2007","journal-title":"Proc ALPSWS 2007"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210335"},{"key":"ref16","first-page":"80","article-title":"Description Logic Rules","author":"kr\u00f6tzsch","year":"2008","journal-title":"Proc 18th European Conf Artificial Intelligence (ECAI '08)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1526709.1526790"},{"key":"ref18","article-title":"OWL Web Ontology Language Refer-ence","author":"schreiber","year":"0","journal-title":"W3C 2004 W3C Recommendation 10 2004"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","article-title":"Query answering for OWL-DL with rules","volume":"3","author":"motik","year":"2005","journal-title":"Journal of Web Semantics"},{"key":"ref4","author":"boley","year":"2009","journal-title":"RIF Framework for Logic Dialects"},{"key":"ref27","author":"yang","year":"2001","journal-title":"FLORA-2 User's manual"},{"key":"ref3","author":"boley","year":"2009","journal-title":"RIF Basic Logic Dialect"},{"key":"ref6","author":"de bruijn","year":"2009","journal-title":"RIF RDF and OWL Compatibility"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.04.002"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72982-2_8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881799"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"ref1","author":"baader","year":"2003","journal-title":"The Description Logic Hand-book Theory Implementation and Applications"},{"key":"ref20","year":"2009","journal-title":"OntoBroker Enterprise – Version 5 3"},{"key":"ref22","year":"2008","journal-title":"W3C OWL Working Group SPARQL Query Language for RDF W3C Recommendation"},{"key":"ref21","year":"2009","journal-title":"ontoprise GmbH An der RaumFabrik 29 76137 Karlsruhe Germany OntoStudio Manual – Version 2 3 0"},{"key":"ref24","year":"2009","journal-title":"W3C OWL Working Group OWL 2 Web Ontology Language Document Overview W3C Recommendation"},{"key":"ref23","year":"2008","journal-title":"W3C OWL Working Group SPARQL Update W3C Member Submission"},{"key":"ref26","first-page":"68","article-title":"Dl.a+log: Tight Integration of Description Logics and Disjunctive Datalog","author":"rosati","year":"2006","journal-title":"Proc of KR 2006"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.002"}],"event":{"name":"2010 IEEE\/ACM International Conference on Web Intelligence-Intelligent Agent Technology (WI-IAT)","location":"Toronto, ON, Canada","start":{"date-parts":[[2010,8,31]]},"end":{"date-parts":[[2010,9,3]]}},"container-title":["2010 IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5613987\/5614551\/05616551.pdf?arnumber=5616551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T18:22:59Z","timestamp":1756318979000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5616551\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/wi-iat.2010.44","relation":{},"subject":[],"published":{"date-parts":[[2010,8]]}}}