{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:41:20Z","timestamp":1726044080495},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030310943"},{"type":"electronic","value":"9783030310950"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31095-0_7","type":"book-chapter","created":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T12:02:53Z","timestamp":1568376173000},"page":"97-112","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing Object-Ontological Mapping Using F-logic"],"prefix":"10.1007","author":[{"given":"Martin","family":"Ledvinka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"K\u0159emen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,12]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-540-92673-3_2","volume-title":"Handbook on Ontologies","author":"J Angele","year":"2009","unstructured":"Angele, J., Kifer, M., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 45\u201370. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-92673-3_2"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"7_CR2","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, New York (2003)"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF01535840","volume":"15","author":"M Balaban","year":"1995","unstructured":"Balaban, M.: The F-logic approach for description languages. Ann. Math. Artif. Intell. 15(1), 19\u201360 (1995). https:\/\/doi.org\/10.1007\/BF01535840","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR4","volume-title":"Object-oriented Analysis and Design with Applications","author":"G Booch","year":"1994","unstructured":"Booch, G.: Object-oriented Analysis and Design with Applications, 2nd edn. Benjamin-Cummings Publishing Co. Inc., Redwood City (1994)","edition":"2"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-48005-6_7","volume-title":"The Semantic Web \u2014 ISWC 2002","author":"J Broekstra","year":"2002","unstructured":"Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: a generic architecture for storing and querying RDF and RDF schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 54\u201368. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-48005-6_7"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"de Bruijn, J., Heymans, S.: Translating ontologies from predicate-based to frame-based languages. In: Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML2006) (2006)","DOI":"10.1109\/RULEML.2006.23"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"de Bruijn, J., Lara, R., Polleres, A., Fensel, D.: OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic web. In: Proceedings of the 14th International Conference on World Wide Web, WWW 2005. ACM (2005). https:\/\/doi.org\/10.1145\/1060745.1060836","DOI":"10.1145\/1060745.1060836"},{"key":"7_CR8","unstructured":"Carroll, J.J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: implementing the semantic web recommendations. In: Proceedings of the 13th International World Wide Web Conference (Alternate Track Papers & Posters), pp. 74\u201383 (2004)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/11853107_11","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"CV Dam\u00e1sio","year":"2006","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G., Wagner, G.: Supporting open and closed world reasoning on the web. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 149\u2013163. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11853107_11"},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"FM Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Trans. Comput. Logic 3(2), 177\u2013225 (2002). https:\/\/doi.org\/10.1145\/505372.505373","journal-title":"ACM Trans. Comput. Logic"},{"issue":"11","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1577","DOI":"10.1109\/TKDE.2010.111","volume":"22","author":"T Eiter","year":"2010","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. IEEE Trans. Knowl. Data Eng. 22(11), 1577\u20131592 (2010). https:\/\/doi.org\/10.1109\/TKDE.2010.111","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web, WWW 2003, pp. 48\u201357. ACM, New York (2003). https:\/\/doi.org\/10.1145\/775152.775160","DOI":"10.1145\/775152.775160"},{"key":"7_CR13","unstructured":"Grove, M.: Empire: RDF & SPARQL Meet JPA. semanticweb.com, April 2010. http:\/\/semanticweb.com\/empire-rdf-sparql-meet-jpa_b15617"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: A Java API for OWL ontologies. Semantic Web - Interoperability, Usability, Applicability (2011)","DOI":"10.3233\/SW-2011-0025"},{"key":"7_CR15","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal{SROIQ}$$ . In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367 (2006)"},{"key":"7_CR16","unstructured":"Kattenstroth, H., May, W., Schenk, F.: Combining OWL with F-logic rules and defaults. In: Proceedings of the ICLP\u201907 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007 (2007)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11526988_2","volume-title":"Reasoning Web","author":"M Kifer","year":"2005","unstructured":"Kifer, M.: Rules and ontologies in F-logic. In: Eisinger, N., Ma\u0142uszy\u0144ski, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 22\u201334. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11526988_2"},{"issue":"4","key":"7_CR18","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1145\/210332.210335","journal-title":"J. ACM"},{"issue":"9\u201310","key":"7_CR19","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9\u201310), 1528\u20131554 (2011). https:\/\/doi.org\/10.1016\/j.artint.2011.01.007","journal-title":"Artif. Intell."},{"key":"7_CR20","unstructured":"K\u0159emen, P.: Building Ontology-Based Information Systems. Ph.D. thesis, Czech Technical University, Prague (2012)"},{"issue":"3","key":"7_CR21","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1109\/TSMCC.2011.2163934","volume":"42","author":"P K\u0159emen","year":"2012","unstructured":"K\u0159emen, P., Kouba, Z.: Ontology-driven information system design. IEEE Trans. Syst. Man Cybern. Part C 42(3), 334\u2013344 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"key":"7_CR22","doi-asserted-by":"publisher","unstructured":"Ledvinka, M., K\u0159emen, P.: A comparison of object-triple mapping libraries. In: Semantic Web, p. 43, February 2019. https:\/\/doi.org\/10.3233\/SW-190345","DOI":"10.3233\/SW-190345"},{"key":"7_CR23","unstructured":"Ledvinka, M., K\u0159emen, P.: Formalizing object-ontological mapping using F-logic. Technical report SGS19\/110\/OHK3\/2T\/13-1, Department of Computer Science, CTU in Prague (2019). https:\/\/kbss.felk.cvut.cz\/reports\/2019\/19ruleml-report.pdf . Accessed 30 May 2019"},{"key":"7_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984). https:\/\/doi.org\/10.1007\/978-3-642-83189-8"},{"issue":"2","key":"7_CR25","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.websem.2009.02.001","volume":"7","author":"Boris Motik","year":"2009","unstructured":"Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. Web Semant. Sci. Serv. Agents World Wide Web 7(2), 74\u201389 (2009)","journal-title":"Journal of Web Semantics"},{"issue":"3","key":"7_CR26","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.websem.2008.04.003","volume":"6","author":"Eyal Oren","year":"2008","unstructured":"Oren, E., Heitmann, B., Decker, S.: ActiveRDF: Embedding Semantic Web data into object-oriented languages. Web Semant. Sci. Serv. Agents World Wide Web 6(3), 191\u2013202 (2008)","journal-title":"Journal of Web Semantics"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/978-3-642-35176-1_28","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"PF Patel-Schneider","year":"2012","unstructured":"Patel-Schneider, P.F., Franconi, E.: Ontology constraints in incomplete and complete data. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 444\u2013459. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35176-1_28"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-3-642-25073-6_39","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"K Sengupta","year":"2011","unstructured":"Sengupta, K., Krisnadhi, A.A., Hitzler, P.: Local closed world semantics: grounded circumscription for OWL. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 617\u2013632. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25073-6_39"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Tao, J., Sirin, E., Bao, J., McGuinness, D.L.: Integrity constraints in OWL. In: Fox, M., Poole, D. (eds.) AAAI. AAAI Press (2010)","DOI":"10.1609\/aaai.v24i1.7525"},{"key":"7_CR30","unstructured":"Wenzel, K.: KOMMA: an application framework for ontology-based software systems. In: Semantic Web - Interoperability, Usability, Applicability (2010)"},{"key":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-39733-5_4","volume-title":"Journal on Data Semantics I","author":"G Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69\u201397. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39733-5_4"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31095-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T17:11:21Z","timestamp":1664385081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31095-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030310943","9783030310950"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31095-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bolzano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2019.ruleml-rr.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Authors were able to respond to the reviews.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}