{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:54:55Z","timestamp":1725566095919},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159176"},{"type":"electronic","value":"9783642159183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15918-3_17","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T12:39:24Z","timestamp":1284554364000},"page":"204-212","source":"Crossref","is-referenced-by-count":1,"title":["Embeddings of Simple Modular Extended RDF"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Viegas Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Anastasia","family":"Analyti","sequence":"additional","affiliation":[]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J.J. Alferes","year":"1995","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: A Logic Programming System for Non-monotonic Reasoning. Journal of Automated Reasoning\u00a014(1), 93\u2013147 (1995)","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR2","first-page":"390","volume-title":"Proc. of KR-2008","author":"A. Analyti","year":"2008","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: A Principled Framework for Modular Web Rule Bases and Its Semantics. In: Proc. of KR-2008, pp. 390\u2013400. AAAI Press, Menlo Park (2008)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/978-3-642-05082-4_15","volume-title":"RR 2009","author":"A. Analyti","year":"2009","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: A Formal Theory for Modular ERDF Ontologies. In: Polleres, A. (ed.) RR 2009. LNCS, vol.\u00a05837, pp. 212\u2013226. Springer, Heidelberg (2009)"},{"key":"17_CR4","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. Accepted in ACM Transactions on Computational Logic, TOCL (2010)","DOI":"10.1145\/1877714.1877723"},{"key":"17_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. Journal of Artificial Intelligence Research\u00a032, 37\u201394 (2008)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-01907-4_16","volume-title":"Modular Ontologies","author":"J. Bao","year":"2009","unstructured":"Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package-based description logics. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol.\u00a05445, pp. 349\u2013371. Springer, Heidelberg (2009)"},{"key":"17_CR7","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G.: Implementing Simple Modular ERDF ontologies. In: Proc. of 19th European Conference on Artificial Intelligence (to appear, 2010)"},{"key":"17_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-540-87696-0_9","volume-title":"Knowledge Engineering: Practice and Patterns","author":"F. Ensan","year":"2008","unstructured":"Ensan, F.: Formalizing Ontology Modularization through the Notion of Interfaces. In: Gangemi, A., Euzenat, J. (eds.) EKAW 2008. LNCS (LNAI), vol.\u00a05268, pp. 74\u201382. Springer, Heidelberg (2008)"},{"key":"17_CR9","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with Classical Negation. In: 7th International Conference on Logic Programming (ICLP\u201990), pp. 579\u2013597 (1990)"},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-642-01907-4_14","volume-title":"Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization","author":"B.C. Grau","year":"2009","unstructured":"Grau, B.C., Parsia, B., Sirin, E.: Ontology integration using epsilon-connections. In: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, pp. 293\u2013320. Springer, Heidelberg (2009)"},{"key":"17_CR11","unstructured":"Reynolds, D. (ed.): OWL 2 RL in RIF W3C Working Group Note, June 22 (2010), http:\/\/www.w3.org\/TR\/rif-owl-rl\/"},{"key":"17_CR12","unstructured":"de Bruijn, J. (ed.): RIF RDF and OWL Compatibility W3C Recommendation, June 22 (2010), http:\/\/www.w3.org\/TR\/rif-rdf-owl\/"},{"key":"17_CR13","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Aspects of Distributed and Modular Ontology Reasoning. In: 19th Int. Joint Conf. on Artificial Intelligence, pp. 570\u2013575 (2005)"},{"issue":"2-3","key":"17_CR14","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. 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. Journal of Web Semantics\u00a03(2-3), 79\u2013115 (2005)","journal-title":"Journal of Web Semantics"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15918-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:36Z","timestamp":1606185756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15918-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159176","9783642159183"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15918-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}