{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:52Z","timestamp":1746115912031,"version":"3.40.4"},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s10472-013-9350-1","type":"journal-article","created":{"date-parts":[[2013,5,3]],"date-time":"2013-05-03T10:10:15Z","timestamp":1367575815000},"page":"189-249","source":"Crossref","is-referenced-by-count":0,"title":["A framework for modular ERDF ontologies"],"prefix":"10.1007","volume":"67","author":[{"given":"Anastasia","family":"Analyti","sequence":"first","affiliation":[]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[]},{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]},{"given":"Ioannis","family":"Pachoulakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,4]]},"reference":[{"key":"9350_CR1","doi-asserted-by":"crossref","unstructured":"Alves, M., Dam\u00e1sio, C.V., Nejdl, W., Olmedilla, D.: A distributed tabling algorithm for rule based policy systems. In: 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY-2006), pp.\u00a0123\u2013132 (2006)","DOI":"10.1109\/POLICY.2006.4"},{"key":"9350_CR2","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: A principled framework for modular web rule bases and its semantics. In: 11th International Conference on Knowledge Representation and Reasoning (KR-2008), pp.\u00a0390\u2013400 (2008)"},{"key":"9350_CR3","doi-asserted-by":"crossref","unstructured":"Analyti, A., Antoniou, G., Damasio, C.V.: A formal theory for modular ERDF ontologies. In: 3rd International Conference Web Reasoning and Rule Systems (RR 2009), pp.\u00a0212\u2013226 (2009)","DOI":"10.1007\/978-3-642-05082-4_15"},{"issue":"2","key":"9350_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1877714.1877723","volume":"12","author":"A Analyti","year":"2011","unstructured":"Analyti, A., Antoniou, G., Damasio, C.V.: MWeb: a principled framework for modular web rule bases and its semantics. ACM Trans. Comput. Log. (ACM TOCL) 12(2), 1\u201346 (2011)","journal-title":"ACM Trans. Comput. Log. (ACM TOCL)"},{"key":"9350_CR5","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":"9350_CR6","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.\u00a05\u201316 (2008)","DOI":"10.1007\/978-3-540-89197-0_5"},{"key":"9350_CR7","doi-asserted-by":"crossref","unstructured":"Aranda, C.B., Arenas, M., Corcho, \u00d3.: Semantics and optimization of the SPARQL 1.1 federation extension. In: 8th Extended Semantic Web Conference (ESWC-2011), part\u00a0II, pp.\u00a01\u201315 (2011)","DOI":"10.1007\/978-3-642-21064-8_1"},{"key":"9350_CR8","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)"},{"key":"9350_CR9","doi-asserted-by":"crossref","unstructured":"Bao, J., Caragea, D., Honavar, V.: On the semantics of linking and importing in modular ontologies. In: 5th International Semantic Web Conference (ISWC\u201906), pp.\u00a072\u201386 (2006)","DOI":"10.1007\/11926078_6"},{"key":"9350_CR10","doi-asserted-by":"crossref","unstructured":"Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package-based description logics. In: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, pp.\u00a0349\u2013371 (2009)","DOI":"10.1007\/978-3-642-01907-4_16"},{"issue":"3","key":"9350_CR11","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 and Practice of Logic Programming (TPLP) 8(3), 249\u2013269 (2008)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"9350_CR12","unstructured":"Boley, H., Kifer, M.: RIF Framework for Logic Dialects, 2nd\u00a0edn. W3C Recommendation 5 February 2013. Latest version available at http:\/\/www.w3.org\/TR\/rif-fld\/"},{"key":"9350_CR13","doi-asserted-by":"crossref","unstructured":"Bonatti, P.A., Coi, J.L.D., Olmedilla, D., Sauro, L.: Rule-based policy representations and reasoning. In: Semantic Techniques for the Web, The REWERSE Perspective 2009, pp.\u00a0201\u2013232 (2009)","DOI":"10.1007\/978-3-642-04581-3_4"},{"issue":"11","key":"9350_CR14","doi-asserted-by":"crossref","first-page":"1507","DOI":"10.1109\/TKDE.2010.83","volume":"22","author":"PA Bonatti","year":"2010","unstructured":"Bonatti, P.A., Coi, J.L.D., Olmedilla, D., Sauro, L.: A rule-based trust negotiation system. IEEE Trans. Knowl. Data Eng. 22(11), 1507\u20131520 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9350_CR15","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: assimilating information from peer sources. J. Data Semantics. 1, 153\u2013184 (2003)","journal-title":"J. Data Semantics."},{"key":"9350_CR16","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), pp.\u00a0385\u2013390 (2007)"},{"key":"9350_CR17","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, pp.\u00a0233\u2013258 (2011)","DOI":"10.1007\/978-3-642-20832-4_16"},{"issue":"4","key":"9350_CR18","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.websem.2005.09.001","volume":"3","author":"JJ Carroll","year":"2005","unstructured":"Carroll, J.J., Bizer, C., Hayes, P.J., Stickler, P.: Named graphs. J. Web Sem. 3(4), 247\u2013267 (2005)","journal-title":"J. Web Sem."},{"key":"9350_CR19","doi-asserted-by":"crossref","unstructured":"Coi, J.L.D., Olmedilla, D.: A review of trust management, security and privacy policy languages. In: International Conference on Security and Cryptography (SECRYPT-2008), pp.\u00a0483\u2013490 (2008)","DOI":"10.5220\/0001921004830490"},{"key":"9350_CR20","unstructured":"Damasio, C.V., Analyti, A., Antoniou, G.: Embeddings of simple modular extended RDF. In: 4th International Conference Web Reasoning and Rule Systems (RR 2010), (short paper, 2010)"},{"key":"9350_CR21","unstructured":"Damasio, C.V., Analyti, A., Antoniou, G.: Implementing simple modular ERDF ontologies. In: 19th European Conference on Artificial Intelligence (ECAI-2010), (short paper, 2010)"},{"key":"9350_CR22","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G.: Modularity in the rule interchange format. In: 5th International Symposium on Rule-Based Reasoning, Programming and Applications (RULEML-2011), pp.\u00a0313\u2013328 (2011)","DOI":"10.1007\/978-3-642-22546-8_25"},{"key":"9350_CR23","unstructured":"de\u00a0Bruijn, J., Welty, C.: RIF RDF and OWL Compatibility. W3C Recommendation 5 February 2013. Latest version available at http:\/\/www.w3.org\/TR\/rif-rdf-owl\/"},{"issue":"12\u201313","key":"9350_CR24","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12\u201313), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"9350_CR25","doi-asserted-by":"crossref","unstructured":"Ensan, F.: Formalizing ontology modularization through the notion of interfaces. In: 16th International Conference on Knowledge Engineering: Practice and Patterns (EKAW-2008), pp.\u00a074\u201382 (2008)","DOI":"10.1007\/978-3-540-87696-0_9"},{"issue":"1","key":"9350_CR26","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","volume":"175","author":"W Faber","year":"2011","unstructured":"Faber, W., Pfeifer, G., Leone, N.: Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1), 278\u2013298 (2011)","journal-title":"Artif. Intell."},{"key":"9350_CR27","doi-asserted-by":"crossref","unstructured":"Gavriloaie, R., Nejdl, W., Olmedilla, D., Seamons, K.E., Winslett, M.: No registration needed: how to use declarative policies and negotiation to access sensitive resources on the semantic web. In: 1st European Semantic Web Symposium (ESWS 2004), pp.\u00a0342\u2013356 (2004)","DOI":"10.1007\/978-3-540-25956-5_24"},{"issue":"3","key":"9350_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":"9350_CR29","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th International Conference on Logic Programming, pp.\u00a01070\u20131080. MIT Press (1988)"},{"key":"9350_CR30","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: 7th International Conference on Logic Programming, pp.\u00a0579\u2013597 (1990)"},{"key":"9350_CR31","doi-asserted-by":"crossref","unstructured":"Ghidini, C., Serafini, L.: Reconciling concepts and relations in heterogeneous ontologies. In: 3rd European Semantic Web Conference (ESWC 2006), pp.\u00a050\u201364 (2006)","DOI":"10.1007\/11762256_7"},{"key":"9350_CR32","doi-asserted-by":"crossref","unstructured":"Ghidini, C., Serafini, L.: Mapping properties of heterogeneous ontologies. In: 13th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA 2008), pp.\u00a0181\u2013193 (2008)","DOI":"10.1007\/978-3-540-85776-1_16"},{"key":"9350_CR33","doi-asserted-by":"crossref","unstructured":"Ghidini, C., Serafini, L., Tessaris, S.: On relating heterogeneous elements from different ontologies. In: 2007 International Workshop on Description Logics (DL2007) (2007)","DOI":"10.1007\/978-3-540-74255-5_18"},{"key":"9350_CR34","unstructured":"Ghidini, C., Serafini, L., Tessaris, S.: Complexity of reasoning with expressive ontology mappings. In: 5th International Conference on Formal Ontology in Information Systems (FOIS-2008), pp.\u00a0151\u2013163 (2008)"},{"key":"9350_CR35","unstructured":"Golbreich, C., Wallace, E.K.: OWL 2 Web Ontology Language New Features and Rationale, 2nd\u00a0edn. W3C Recommendation 11 December 2012. Latest version available at http:\/\/www.w3.org\/TR\/owl2-new-features\/"},{"key":"9350_CR36","unstructured":"Grau, B.C., Kutz, O.: Modular ontology languages revisited. In: IJCAI-2007 Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa\u201907) (2007)"},{"key":"9350_CR37","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: Third International Semantic Web Conference (ISWC-2004), pp.\u00a0620\u2013634 (2004)","DOI":"10.1007\/978-3-540-30475-3_43"},{"key":"9350_CR38","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Parsia, B., Sirin, E.: Ontology integration using epsilon-connections. In: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, pp.\u00a0293\u2013320. Springer (2009)","DOI":"10.1007\/978-3-642-01907-4_14"},{"key":"9350_CR39","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: 12th International World Wide Web Conference (WWW2003), pp.\u00a048\u201357 (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"9350_CR40","unstructured":"Harris, S., Seaborne, A.: SPARQL 1.1 Query Language. W3C Working Draft 24 July 2012 available at http:\/\/www.w3.org\/TR\/2012\/WD-sparql11-query-20120724\/"},{"key":"9350_CR41","unstructured":"Hayes, P.: RDF Semantics. W3C Recommendation, 10 February 2004. Available at http:\/\/www.w3.org\/TR\/2004\/REC-rdf-mt-20040210\/"},{"key":"9350_CR42","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: Gabbay, D.M., Wansing, H. (eds.) What Is Negation? Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-015-9309-0_7"},{"key":"9350_CR43","unstructured":"Hitzler, P., Krotzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language Primer, 2nd\u00a0edn. W3C Recommendation 11 December 2012. Latest version available at http:\/\/www.w3.org\/TR\/owl2-primer\/"},{"key":"9350_CR44","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1613\/jair.2810","volume":"35","author":"T Janhunen","year":"2009","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. J. Artif. Intell. Res. (JAIR) 35, 813\u2013857 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9350_CR45","doi-asserted-by":"crossref","unstructured":"Kifer, M.: Nonmonotonic reasoning in FLORA-2. In: 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2005), pp.\u00a01\u201312 (2005)","DOI":"10.1007\/11546207_1"},{"key":"9350_CR46","unstructured":"Kifer, M., Boley, H.: RIF Overview, 2nd\u00a0edn. W3C Working Group Note 5 February 2013. Latest version available at http:\/\/www.w3.org\/TR\/rif-overview\/"},{"issue":"4","key":"9350_CR47","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.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"9350_CR48","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\/"},{"issue":"1","key":"9350_CR49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","volume":"156","author":"O Kutz","year":"2004","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1\u201373 (2004)","journal-title":"Artif. Intell."},{"key":"9350_CR50","unstructured":"Li, N., Mitchell, J.: RT: a role-based trust-management framework. In: DARPA Information Survivability Conference and Exposition (DISCEX III) (2003)"},{"key":"9350_CR51","doi-asserted-by":"crossref","unstructured":"Li, N., Mitchell, J.C.: DATALOG with constraints: a foundation for trust management languages. In: 5th International Symposium on Practical Aspects of Declarative Languages (PADL-2003), pp.\u00a058\u201373 (2003)","DOI":"10.1007\/3-540-36388-2_6"},{"key":"9350_CR52","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: an analysis of the performance of rule engines. In: 18th International Conference on World Wide Web (WWW-2009), pp.\u00a0601\u2013610 (2009)","DOI":"10.1145\/1526709.1526790"},{"issue":"3","key":"9350_CR53","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W., Topor, R.W.: Making prolog more expressive. J. Log. Program. 1(3), 225\u2013240 (1984)","journal-title":"J. Log. Program."},{"key":"9350_CR54","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels\u2014an implementation of the stable model and well-founded semantics for normal LP. In: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201997), pp.\u00a0421\u2013430 (1997). Available at http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"issue":"5\u20136","key":"9350_CR55","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1017\/S147106840800358X","volume":"8","author":"E Oikarinen","year":"2008","unstructured":"Oikarinen, E., Janhunen, T.: Achieving compositionality of the stable model semantics for smodels programs. Theory and Practice of Logic Programming (TPLP) 8(5\u20136), 717\u2013761 (2008)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"9350_CR56","unstructured":"Papadimitriou, C.M.: Computational Complexity. Addison-Wesley (1994)"},{"issue":"3","key":"9350_CR57","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/1567274.1567278","volume":"34","author":"J P\u00e9rez","year":"2009","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3), 16:1\u201316:45 (2009)","journal-title":"ACM Trans. Database Syst."},{"key":"9350_CR58","doi-asserted-by":"crossref","unstructured":"Polleres, A.: From SPARQL to rules (and back). In: 16th International Conference on World Wide Web (WWW-2007), pp.\u00a0787\u2013796. ACM (2007)","DOI":"10.1145\/1242572.1242679"},{"key":"9350_CR59","doi-asserted-by":"crossref","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: 3rd European Semantic Web Conference (ESWC-2006), pp.\u00a0332\u2013347 (2006)","DOI":"10.1007\/11762256_26"},{"key":"9350_CR60","unstructured":"Prudhommeaux, E., Buil-Aranda, C.: SPARQL 1.1 federated query. W3C Working Draft 17 November 2011 available at http:\/\/www.w3.org\/TR\/2011\/WD-sparql11-federated-query-20111117\/"},{"key":"9350_CR61","unstructured":"Sagonas, K.F., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: Snodgrass, R.T., Winslett, M. (eds.) Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, pp.\u00a0442\u2013453. ACM Press (1994). Available at http:\/\/xsb.sourceforge.net\/"},{"key":"9350_CR62","unstructured":"Schaffert, S., Bry, F., Besnard, P., Decker, H., Decker, S., Enguix, C.F., Herzig, A.: Paraconsistent reasoning for the semantic web. In: Workshop on Uncertainty Reasoning for the Semantic Web, co-located with ISWC-2005, pp.\u00a0104\u2013105 (2005)"},{"key":"9350_CR63","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.\u00a0585\u2013594 (2008)","DOI":"10.1145\/1367497.1367577"},{"key":"9350_CR64","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), pp.\u00a0570\u2013575 (2005)"},{"key":"9350_CR65","doi-asserted-by":"crossref","unstructured":"Sintek, M., Decker, S.: TRIPLE\u2014a query, inference, and transformation language for the semantic web. In: 1st International Semantic Web Conference (ISWC-2002), pp.\u00a0364\u2013378. Springer-Verlag (2002)","DOI":"10.1007\/3-540-48005-6_28"},{"key":"9350_CR66","unstructured":"Stefan\u00a0Decker, W.N., Sintek, M.: The Model-Theoretic Semantics of TRIPLE. Technical Report (2002)"},{"key":"9350_CR67","doi-asserted-by":"crossref","unstructured":"Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time: preliminary report. In: 5th Annual ACM Symposium on Theory of Computing (STOC\u201973), pp.\u00a01\u20139 (1973)","DOI":"10.1145\/800125.804029"},{"issue":"2\u20133","key":"9350_CR68","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"HJ Horst ter","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 Semantics 3(2\u20133), 79\u2013115 (2005)","journal-title":"J. Web Semantics"},{"key":"9350_CR69","unstructured":"W3C OWL Working Group: OWL 2 Web Ontology Language Document Overview, 2nd edn. W3C Recommendation 11 December 2012. Latest version available at http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"9350_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.\u00a0671\u2013688 (2003)","DOI":"10.1007\/978-3-540-39964-3_43"},{"key":"9350_CR71","unstructured":"Zimmermann, A.: Integrated distributed description logics. In: 2007 International Workshop on Description Logics (DL-2007) (2007)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9350-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9350-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9350-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T08:23:20Z","timestamp":1746001400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9350-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":71,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["9350"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9350-1","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2013,3]]}}}