{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:24:38Z","timestamp":1758273878165},"reference-count":69,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,3,24]],"date-time":"2015-03-24T00:00:00Z","timestamp":1427155200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10472-015-9451-0","type":"journal-article","created":{"date-parts":[[2015,3,23]],"date-time":"2015-03-23T07:47:58Z","timestamp":1427096878000},"page":"267-334","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Extended RDF: Computability and complexity issues"],"prefix":"10.1007","volume":"75","author":[{"given":"Anastasia","family":"Analyti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,24]]},"reference":[{"key":"9451_CR1","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: Semantic web logic programming tools. In: International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR-2003), pp. 16\u201332 (2003)","DOI":"10.1007\/978-3-540-24572-8_2"},{"key":"9451_CR2","doi-asserted-by":"crossref","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: A formal theory for modular ERDF ontologies. In: 3rd International Conference Web Reasoning and Rule Systems (RR-2009), pp. 212\u2013226 (2009)","DOI":"10.1007\/978-3-642-05082-4_15"},{"key":"9451_CR3","doi-asserted-by":"crossref","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: MWeb: a principled framework for modular web rule bases and its semantics. ACM Trans. Comput. Log. 12(2) (2011)","DOI":"10.1145\/1877714.1877723"},{"issue":"3-4","key":"9451_CR4","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s10472-013-9350-1","volume":"67","author":"A Analyti","year":"2013","unstructured":"Analyti, A., Antoniou, G., Damasio, C.V., Pachoulakis, I.: A framework for modular ERDF ontologies. Ann. Math. Artif. Intell. 67(3-4), 189\u2013249 (2013)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"9451_CR5","first-page":"25","volume":"1","author":"A Analyti","year":"2004","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V., Wagner, G.: Negation and negative information in the W3C resource description framework. Ann. Math. Comput. Teleinformatics (AMCT) 1(2), 25\u201334 (2004)","journal-title":"Ann. Math. Comput. Teleinformatics (AMCT)"},{"key":"9451_CR6","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1613\/jair.2425","volume":"32","author":"A Analyti","year":"2008","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V., Wagner, G.: Extended RDF as a semantic foundation of rule markup languages. J. Artif. Intell. Res. (JAIR) 32, 37\u201394 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9451_CR7","doi-asserted-by":"crossref","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C. V., Wagner, G.: On the computability and complexity issues of extended RDF. In: 10th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2008), pp. 5\u201316 (2008)","DOI":"10.1007\/978-3-540-89197-0_5"},{"key":"9451_CR8","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Bikakis, A., Wagner, G.: A System for nonmonotonic rules on the web. In: 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web (RULEML-2003), pp. 23\u201336 (2004)","DOI":"10.1007\/978-3-540-30504-0_3"},{"key":"9451_CR9","doi-asserted-by":"crossref","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I. P.: DR-DEVICE: a defeasible logic system for the semantic Web. In: 2nd International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR-2004), pp. 134\u2013148 (2004)","DOI":"10.1007\/978-3-540-30122-6_10"},{"key":"9451_CR11","first-page":"1","volume":"66","author":"R Berger","year":"1966","unstructured":"Berger, R.: The Undecidability of the Dominoe Problem. Mem Am. Math. Soc. 66, 1\u201372 (1966)","journal-title":"Mem Am. Math. Soc."},{"key":"9451_CR12","unstructured":"Berners-Lee, T.: Design issues - architectual and philosophical points. Personal notes. Available at http:\/\/www.w3.org\/DesignIssues (1998)"},{"issue":"3","key":"9451_CR13","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/S1471068407003213","volume":"8","author":"T Berners-Lee","year":"2008","unstructured":"Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3Logic: a logical framework for the world wide web. Theory Pract. Log. Program. (TPLP) 8(3), 249\u2013269 (2008)","journal-title":"Theory Pract. Log. Program. (TPLP)"},{"issue":"12","key":"9451_CR14","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"9451_CR15","unstructured":"Bry, F., Ley, C., Linse, B., RDFLog, B. Marnette.: It\u2019s like datalog for RDF. In: 22nd Workshop on (Constraint) Logic Programming (WLP-2008), co-located with JELIA-2008 (2008)"},{"issue":"3","key":"9451_CR16","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HILOG: a foundation for higher-order logic programming. J. Log. Program. 15(3), 187\u2013230 (1993)","journal-title":"J. Log. Program."},{"key":"9451_CR17","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G.: Embeddings of simple modular extended RDF. In: P. Hitzler, T. Lukasiewicz (eds.) 4th International Conference on Web Reasoning and Rule Systems (RR-2010), pp. 204\u2013212 (2010)","DOI":"10.1007\/978-3-642-15918-3_17"},{"issue":"3","key":"9451_CR18","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"FM Donini","year":"1998","unstructured":"Donini, F. M., Lenzerini, M., Nardi, D., Schaerf, A.: A \u2112 $\\mathcal {A}\\mathcal {L}$ -log: integrating datalog and description logics. J. Intell. Inf. Syst. 10(3), 227\u2013252 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"9451_CR19","doi-asserted-by":"crossref","unstructured":"Drabent, W., Maluszynski, J.: Well-founded semantics for hybrid rules. In: First International Conference on Web Reasoning and Rule Systems (RR-2007), pp. 1\u201315 (2007)","DOI":"10.1007\/978-3-540-72982-2_1"},{"issue":"2-4","key":"9451_CR20","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10472-008-9086-5","volume":"51","author":"T Eiter","year":"2007","unstructured":"Eiter, T., Faber, W., Fink, M., Woltran, S.: Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2-4), 123\u2013165 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9451_CR21","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer Set programming with description logics for the semantic web. In: 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-2004), pp. 141\u2013151 (2004)"},{"key":"9451_CR22","doi-asserted-by":"crossref","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML-2004), pp. 81\u201397 (2004)","DOI":"10.1007\/978-3-540-30504-0_7"},{"issue":"1","key":"9451_CR23","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1016\/j.artint.2010.04.011","volume":"175","author":"P Ferraris","year":"2011","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: Stable models and circumscription. Artif. Intell. 175(1), 236\u2013263 (2011)","journal-title":"Artif. Intell."},{"key":"9451_CR24","unstructured":"Furche, T.: Exploring and taming existence in rule-based RDF queries. REWERSE Deliverable I4-D14. Available at http:\/\/rewerse.net\/deliverables\/m42\/i4-d14.pdf (2007)"},{"key":"9451_CR25","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer set solving in practice. Morgan & Publishers (2012)","DOI":"10.1007\/978-3-642-20832-4_6"},{"key":"9451_CR26","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), pp. 386\u2013392 (2007)"},{"key":"9451_CR27","doi-asserted-by":"crossref","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-1988), pp. 221\u2013230 (1988)","DOI":"10.1145\/308386.308444"},{"issue":"3","key":"9451_CR28","first-page":"620","volume":"38","author":"AV Gelder","year":"1991","unstructured":"Gelder, A. V., Ross, K. A., Schlipf, J. S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"9451_CR29","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: 5th International Conference on Logic Programming (ICLP-1988), pp. 1070\u20131080 (1988)"},{"key":"9451_CR30","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: 7th International Conference on Logic Programming, pp. 579\u2013597 (1990)"},{"issue":"3\/4","key":"9451_CR31","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"9451_CR32","unstructured":"Hayes, P.: RDF Semantics. W3C Recommendation, 10 February 2004. Available at http:\/\/www.w3.org\/TR\/2004\/REC-rdf-mt-20040210\/ (2004)"},{"key":"9451_CR33","doi-asserted-by":"crossref","unstructured":"Herre, H., Jaspars, J., Wagner, G.: Partial logics with two kinds of negation as a foundation of knowledge-based reasoning. In: D. M. Gabbay, H. Wansing (eds.) What Is Negation? Kluwer Academic Publishers, Norwell (1999)","DOI":"10.1007\/978-94-015-9309-0_7"},{"key":"9451_CR34","unstructured":"Hitzler, P., Krotzsch, M., Parsia, B., Patel-Schneider, P. F., Rudolph, S.: OWL 2 Web Ontology Language Primer (Second Edition). W3C Recommendation 11 December 2012. Available at http:\/\/www.w3.org\/TR\/owl2-primer\/ (2012)"},{"key":"9451_CR35","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-2006), pp. 57\u201367 (2006)"},{"key":"9451_CR36","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: a semantic web rule language combining OWL and RuleML. W3C Member Submission, 21 May 2004. Available at http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/ (2004)"},{"issue":"4","key":"9451_CR37","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1093\/logcom\/exn043","volume":"19","author":"G Ianni","year":"2009","unstructured":"Ianni, G., Martello, A., Panetta, C., Terracina, G.: Efficiently querying RDF(S) ontologies with answer set programming. J. Log. Comput. 19(4), 671\u2013695 (2009)","journal-title":"J. Log. Comput."},{"key":"9451_CR38","unstructured":"Klyne, G., Carroll, J.J.: Resource description framework (RDF): concepts and abstract syntax. W3C Recommendation, 10 February 2004. Available at http:\/\/www.w3.org\/TR\/2004\/REC-rdf-concepts-20040210\/ (2004)"},{"key":"9451_CR39","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A coherent well-founded Model for hybrid MKNF knowledge bases. In: 18th European Conference on Artificial Intelligence (ECAI-2008), pp. 99\u2013103 (2008)"},{"key":"9451_CR40","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: 18th European Conference on Artificial Intelligence (ECAI-2008), pp. 80\u201384 (2008)"},{"key":"9451_CR41","first-page":"125","volume":"42","author":"J Lee","year":"2011","unstructured":"Lee, J., Meng, Y.: First-order stable model semantics and first-order loop formulas. J. Artif. Intell. Res. (JAIR) 42, 125\u2013180 (2011)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"3","key":"9451_CR42","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1-2","key":"9451_CR43","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"AY Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.: Combining horn rules and description logics in CARIN. Artif. Intell. 104(1-2), 165\u2013209 (1998)","journal-title":"Artif. Intell."},{"key":"9451_CR44","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: 12th International Joint Conference on Artificial Intelligence (IJCAI-1991), pp. 381\u2013386 (1991)"},{"issue":"1-2","key":"9451_CR45","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138(1-2), 39\u201354 (2002)","journal-title":"Artif. Intell."},{"key":"9451_CR46","unstructured":"Lifschitz, V.: What Is Answer Set Programming? . In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, (AAAI-2008), pp. 1594\u20131597 (2008)"},{"key":"9451_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of logic programming, (2). Springer-Verlag, Berlin Heidelberg (1987)","edition":"2"},{"key":"9451_CR48","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: 4th European Semantic Web Conference (ESWC-2007), pp. 384\u2013398 (2007)","DOI":"10.1007\/978-3-540-72667-8_28"},{"key":"9451_CR49","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczyski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer-Verlag, Berlin Heidelberg (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"issue":"1","key":"9451_CR50","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J McCarthy","year":"1986","unstructured":"McCarthy, J.: Applications of circumscription to formalizing common-sense knowledge. Artif. Intell. 28(1), 89\u2013116 (1986)","journal-title":"Artif. Intell."},{"key":"9451_CR51","doi-asserted-by":"crossref","unstructured":"Mei, J., Lin, Z., Boley, H.: A \u2112 C \u2119 u $\\mathcal {A}\\mathcal {L}\\mathcal {C}^{u}_{\\mathbb {P}}$ :an integration of description logic and general rules. In: First International Conference on Web Reasoning and Rule Systems (RR-2007), pp. 163\u2013177 (2007)","DOI":"10.1007\/978-3-540-72982-2_12"},{"key":"9451_CR52","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), pp. 477\u2013482 (2007)"},{"key":"9451_CR53","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5) (2010)","DOI":"10.1145\/1754399.1754403"},{"key":"9451_CR54","doi-asserted-by":"crossref","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: 3rd International Semantic Web Conference (ISWC-2004), pp. 549\u2013563 (2004)","DOI":"10.1007\/978-3-540-30475-3_38"},{"key":"9451_CR55","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, S., P\u00e9rez, J., Guti\u00e9rrez, C.: Minimal deductive systems for RDF. In: 4th European Semantic Web Conference (ESWC-2007), pp. 53\u201367 (2007)","DOI":"10.1007\/978-3-540-72667-8_6"},{"issue":"3-4","key":"9451_CR56","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemela\u0307","year":"1999","unstructured":"Niemela\u0307, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3-4), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9451_CR57","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels - an implementation of the stable model and well-founded semantics for normal LP. In: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-1997), pp. 421\u2013430 (1997)","DOI":"10.1007\/3-540-63255-7_32"},{"key":"9451_CR58","volume-title":"Computational complexity","author":"CM Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.M.: Computational complexity. Addison-Wesley, MA (1994)"},{"key":"9451_CR59","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3), Article 16 (45 pages) (2009)","DOI":"10.1145\/1567274.1567278"},{"key":"9451_CR60","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF. W3C Recommendation, 15 January 2008. Available at http:\/\/www.w3.org\/TR\/rdf-sparql-query\/ (2008)"},{"key":"9451_CR61","unstructured":"Rosati, R.: Towards expressive KR systems integrating datalog and description logics: preliminary report. In: Proceedings of the 1999 Description Logic Workshop (DL-1999), pp. 160\u2013164 (1999)"},{"key":"9451_CR62","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Semant. 3, 61\u201373 (2005)","journal-title":"J. Web Semant."},{"key":"9451_CR63","unstructured":"Rosati, R.: DL+log: tight integration of description logics and disjunctive datalog. In: 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-2006) (2006)"},{"key":"9451_CR64","doi-asserted-by":"crossref","unstructured":"Schenk, S., Staab, S.: Networked graphs: a declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the web. In: 17th International Conference on World Wide Web (WWW-2008), pp. 585\u2013594 (2008)","DOI":"10.1145\/1367497.1367577"},{"key":"9451_CR65","doi-asserted-by":"crossref","unstructured":"Sintek, M., Decker, S.: TRIPLE - a query, inference, and transformation language for the semantic web. In: 1st International Semantic Web Conference (ISWC-2002), pp. 364\u2013378. Springer-Verlag, Berlin Heidelberg (2002)","DOI":"10.1007\/3-540-48005-6_28"},{"key":"9451_CR66","doi-asserted-by":"crossref","unstructured":"Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time: preliminary report. In: Fifth Annual ACM Symposium on Theory of Computing (STOC-1973), pp. 1\u20139 (1973)","DOI":"10.1145\/800125.804029"},{"key":"9451_CR67","doi-asserted-by":"crossref","unstructured":"ter Horst, H. J.: Extending the RDFS entailment lemma. In: 3rd International Semantic Web Conference (ISWC-2004), pp. 77\u201391 (2004)","DOI":"10.1007\/978-3-540-30475-3_7"},{"issue":"2-3","key":"9451_CR68","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"HJ ter Horst","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Semant. 3 (2-3), 79\u2013115 (2005)","journal-title":"J. Web Semant."},{"key":"9451_CR69","unstructured":"Yang, F., Chen, X.: D \u2112clog $\\mathcal {D}\\mathcal {L}clog$ : a hybrid system integrating rules and description logics with circumscription. In: 2007 International Workshop on Description Logics (DL-2007) (2007)"},{"key":"9451_CR70","doi-asserted-by":"crossref","unstructured":"Yang, G., Kifer, M., Zhao, C.: Flora-2: A Rule-based knowledge representation and inference infrastructure for the semantic web. In: 2nd International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE\u201903), pp. 671\u2013688 (2003)","DOI":"10.1007\/978-3-540-39964-3_43"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9451-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-015-9451-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9451-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T07:32:43Z","timestamp":1566459163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-015-9451-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,24]]},"references-count":69,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9451"],"URL":"https:\/\/doi.org\/10.1007\/s10472-015-9451-0","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,24]]}}}