{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T05:44:55Z","timestamp":1749015895780},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540885634"},{"type":"electronic","value":"9783540885641"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88564-1_18","type":"book-chapter","created":{"date-parts":[[2008,10,20]],"date-time":"2008-10-20T12:17:23Z","timestamp":1224505043000},"page":"277-292","source":"Crossref","is-referenced-by-count":15,"title":["Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning"],"prefix":"10.1007","author":[{"given":"Georgios","family":"Meditskos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Antoniou, G., Damasio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining Rules and Ontologies, REWERSE Deliverables, REWERSE-DEL-2005-I3-D3 (2005)","key":"18_CR1"},{"unstructured":"Baader, F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge","key":"18_CR2"},{"doi-asserted-by":"crossref","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069(1), 5\u201340","key":"18_CR3","DOI":"10.1023\/A:1013882326814"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1145\/1060745.1060836","volume-title":"International Conference on World Wide Web","author":"J. Bruijn de","year":"2005","unstructured":"de Bruijn, J., Lara, R., Polleres, A., Fensel, D.: OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web. In: International Conference on World Wide Web, pp. 623\u2013632. ACM Press, New York (2005)"},{"key":"18_CR5","first-page":"86","volume-title":"International Semantic Web Conference (+ 2nd ASWC)","author":"J. Bruijn de","year":"2007","unstructured":"de Bruijn, J., Heymans, S.: Logical foundations of (e)RDF(S): Complexity and reasoning. In: International Semantic Web Conference (+ 2nd ASWC), pp. 86\u201399. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. Intelligent and Cooperative Information Systems, 227\u2013252 (1998)","key":"18_CR6","DOI":"10.1023\/A:1008687430626"},{"unstructured":"Drabent, W., Henriksson, J., Maluszynski, J.: HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. In: Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, CEUR-WS, vol. 287, pp. 76\u201390 (2007)","key":"18_CR7"},{"unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. Knowledge Representation and Reasoning, 141\u2013151 (2004)","key":"18_CR8"},{"unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: NLP-DL: A Knowledge-Representation System for Coupling Nonmonotonic Logic Programs with Description Logics. In: International Semantic Web Conference, Galway, Ireland (2005)","key":"18_CR9"},{"unstructured":"Grant, J., Beckett, D.: RDF Test Cases (2004), http:\/\/www.w3.org\/TR\/rdf-testcases\/","key":"18_CR10"},{"key":"18_CR11","first-page":"48","volume-title":"WWW","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW, pp. 48\u201357. ACM Press, New York (2003)"},{"unstructured":"Haarslev, V., Moller, R.: Racer: A Core Inference Engine for the Semantic Web. In: International Workshop on Evaluation of Ontology-based Tools, pp. 27\u201336 (2003)","key":"18_CR12"},{"unstructured":"Haarslev, V., Moller, R.: An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. Description Logics, 22 (1999)","key":"18_CR13"},{"unstructured":"Hayes, P.: RDF Semantics (2004), http:\/\/www.w3.org\/TR\/rdf-mt\/","key":"18_CR14"},{"unstructured":"Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. Description Logics, 104, 31\u201340 (2004)","key":"18_CR15"},{"key":"18_CR16","first-page":"77","volume-title":"Proceedings of the International Semantic Web Conference","author":"H.J. Horst","year":"2004","unstructured":"Horst, H.J.: Extending the RDFS Entailment Lemma. In: Proceedings of the International Semantic Web Conference, pp. 77\u201391. Springer, Heidelberg (2004)"},{"issue":"2-3","key":"18_CR17","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. Horst","year":"2005","unstructured":"Horst, H.J.: Completeness, Decidability and Complexity of Entailment for RDF Schema and a Semantic Extension Involving the OWL Vocabulary. Journal of Web Semantics\u00a03(2-3), 79\u2013115 (2005)","journal-title":"Journal of Web Semantics"},{"unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ- Description Logic to Disjunctive Datalog Programs. Knowledge Representation and Reasoning, Canada, pp. 152\u2013162 (2004)","key":"18_CR18"},{"unstructured":"KAON2, http:\/\/kaon2.semanticweb.org\/","key":"18_CR19"},{"unstructured":"Kattenstroth, H., May, W., Schenk, F.: Combining OWL with F-Logic Rules and Defaults, Applications of Logic Programming to the Web. In: Semantic Web and Semantic Web Services. CEUR-WS, vol. 287, pp. 60\u201375 (2007)","key":"18_CR20"},{"key":"18_CR21","first-page":"182","volume-title":"Scalable Semantic Web Knowledge Base Systems","author":"A. Kiryakov","year":"2005","unstructured":"Kiryakov, A., Ognyanov, D., Manov, F.: OWLIM - A Pragmatic Semantic Repository for OWL. In: Scalable Semantic Web Knowledge Base Systems, pp. 182\u2013192. Springer, Heidelberg (2005)"},{"unstructured":"Jess, http:\/\/herzberg.ca.sandia.gov\/","key":"18_CR22"},{"unstructured":"Kopena, J.: OWLJessKB, http:\/\/edge.cs.drexel.edu\/assemblies\/software\/owljesskb\/","key":"18_CR23"},{"issue":"1-2","key":"18_CR24","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"18_CR25","first-page":"293","volume-title":"1st Asian Semantic Web Conference","author":"H. Li","year":"2006","unstructured":"Li, H., Wang, Y., Qu, Y., Pan, J.Z.: A Reasoning Algorithm for pD*. In: 1st Asian Semantic Web Conference, pp. 293\u2013299. Springer, Heidelberg (2006)"},{"key":"18_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11762256_12","volume-title":"The Semantic Web: Research and Applications","author":"L. Ma","year":"2006","unstructured":"Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards a Complete OWL Ontology Benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 125\u2013139. Springer, Heidelberg (2006)"},{"key":"18_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web - ISWC 2006","author":"C. Matheus","year":"2006","unstructured":"Matheus, C., Dionne, B., Parent, D., Baclawski, K., Kokar, M.: BaseVISor: A Forward-Chaining Inference Engine Optimized for RDF\/OWL Triples. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, Springer, Heidelberg (2006)"},{"unstructured":"McBride, B.: Jena, Implementing the RDF Model and Syntax Specification. In: International Workshop on the Semantic Web, CEUR-WS, vol.\u00a040 (2001)","key":"18_CR28"},{"unstructured":"McGuinness, D.L., Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation, http:\/\/www.w3.org\/TR\/owl-features\/","key":"18_CR29"},{"key":"18_CR30","first-page":"731","volume-title":"18th European Conference on Artificial Intelligence (ECAI)","author":"G. Meditskos","year":"2008","unstructured":"Meditskos, G., Bassiliades, N.: Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments. In: 18th European Conference on Artificial Intelligence (ECAI), pp. 731\u2013732. IOS Press, Patras (2008)"},{"issue":"3","key":"18_CR31","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/TKDE.2007.190699","volume":"20","author":"G. Meditskos","year":"2008","unstructured":"Meditskos, G., Bassiliades, N.: A Rule-Based Object-Oriented OWL Reasoner. IEEE Transactions on Knowledge and Data Engineering\u00a020(3), 397\u2013410 (2008)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"18_CR32","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-72982-2_12","volume-title":"Proceedings of the Web Reasoning and Rule Systems","author":"J. Mei","year":"2007","unstructured":"Mei, J., Lin, Z., Boley, H.: ALC: An Integration of Description Logic and General Rules. In: Proceedings of the Web Reasoning and Rule Systems, pp. 163\u2013177. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Minsu, J., Sohn, J.C.: Bossam: An Extended Rule Engine for OWL Inferencing. In: Rules and Rule Markup Languages for the Semantic Web, pp. 128\u2013138 (2004)","key":"18_CR33","DOI":"10.1007\/978-3-540-30504-0_10"},{"doi-asserted-by":"crossref","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Programming Live Together Happily Ever After? In: International Semantic Web Conference, pp. 501\u2013514 (2006)","key":"18_CR34","DOI":"10.1007\/11926078_36"},{"doi-asserted-by":"crossref","unstructured":"Motik, B., Sattler, U.: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In: Logic for Programming Artificial Intelligence and Reasoning, pp. 227\u2013241 (2006)","key":"18_CR35","DOI":"10.1007\/11916277_16"},{"unstructured":"Owlgres, http:\/\/pellet.owldl.com\/owlgres","key":"18_CR36"},{"key":"18_CR37","first-page":"30","volume-title":"International Semantic Web Conference","author":"J.Z. Pan","year":"2003","unstructured":"Pan, J.Z., Horrocks, I.: RDFS(FA) and RDF MT: Two Semantics for RDFS. In: International Semantic Web Conference, pp. 30\u201346. Springer, Heidelberg (2003)"},{"key":"18_CR38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1135777.1135784","volume-title":"International Conference on World Wide Web","author":"P.F. Patel-Schneider","year":"2006","unstructured":"Patel-Schneider, P.F., Horrocks, I.: A Comparison of Two Modelling Paradigms in the Semantic Web. In: International Conference on World Wide Web, pp. 3\u201312. ACM Press, New York (2006)"},{"unstructured":"Rosati, R.: Towards expressive KR systems integrating datalog and description logics. In: Workshop on Description Logics, CEUR-WS, vol.\u00a022, pp. 160\u2013164 (1999)","key":"18_CR39"},{"doi-asserted-by":"crossref","unstructured":"Rosati, R.: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. In: Proc. Principles and Practice of Semantic Web Reasoning, pp. 50\u201364 (2005)","key":"18_CR40","DOI":"10.1007\/11552222_6"},{"key":"18_CR41","first-page":"68","volume-title":"Principles of Knowledge Representation and Reasoning","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. In: Principles of Knowledge Representation and Reasoning, pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"issue":"2","key":"18_CR42","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/191843.191927","volume":"23","author":"K. Sagonas","year":"1994","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. ACM SIGMOD Record\u00a023(2), 442\u2013453 (1994)","journal-title":"ACM SIGMOD Record"},{"unstructured":"Sesame, http:\/\/openrdf.org\/","key":"18_CR43"},{"issue":"2","key":"18_CR44","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics\u00a05(2), 51\u201353 (2007)","journal-title":"Journal of Web Semantics"},{"key":"18_CR45","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Proceedings of Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: Fact++ description logic reasoner: System description. In: Proceedings of Automated Reasoning, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"18_CR46","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-30504-0_13","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"K. Wang","year":"2004","unstructured":"Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: Rules and Rule Markup Languages for the Semantic Web, pp. 170\u2013181. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88564-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,19]],"date-time":"2021-09-19T05:18:53Z","timestamp":1632028733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88564-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885634","9783540885641"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88564-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}