{"type":"ScholarlyArticle","title":"Computing Concept Referring Expressions for Queries on Horn ALC Ontologies","authors":[{"name":"Moritz Illich","slug":"moritz-illich","given":"Moritz","family":"Illich","affiliation":"Institute of Artificial Intelligence , Ulm University , Germany"},{"name":"Birte Glimm","slug":"birte-glimm","given":"Birte","family":"Glimm","affiliation":"Institute of Artificial Intelligence , Ulm University , Germany"}],"abstract":"Classical instance queries over an ontology only consider explicitly named individuals. Concept referring expressions (CREs) also allow for returning answers in the form of concepts that describe implicitly given individuals in terms of their relation to an explicitly named one. Existing approaches, e.g., based on tree automata, can neither be integrated into state-of-the-art OWL reasoners nor are they directly amenable for an efficient implementation. To address this, we devise a novel algorithm that uses highly optimized OWL reasoners as a black box. In addition to the standard criteria of singularity and certainty for CREs, we devise and consider the criterion of uniqueness of CREs for Horn ALC ontologies. The evaluation of our prototypical implementation shows that computing CREs for the most general concept (Top) can be done in less than one minute for ontologies with thousands of individuals and concepts.","doi":"10.24963/ijcai.2022/370","url":"https://ijcai.org/proceedings/2022/370","pdf":"https://ijcai.org/proceedings/2022/0370.pdf","markdown":"https://ijcai.org/proceedings/2022/370.md","bibtex":"https://ijcai.org/proceedings/2022/bibtex/370","volume":{"slug":"2022","title":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2022","url":"https://ijcai.org/proceedings/2022/","year":2022,"location":"Vienna","dates":"23-29 July 2022","editors":"Luc De Raedt","isbn":"978-1-956792-00-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2022"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":370,"pages":{"first":2669,"last":2675},"keywords":["Knowledge Representation and Reasoning: Semantic Web","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[{"label":"Video #1","url":"https://slideslive.com/38986824","length_sec":79,"provider":"slideslive"},{"label":"Video #2","url":"https://slideslive.com/38984967","length_sec":336,"provider":"slideslive"}],"references":[{"position":1,"raw":"[Areces et al., 2008] Carlos Areces, Alexander Koller, and Kristina Striegnitz. Referring Expressions as Formulas of Description Logic. In Proceedings of the Fifth Inter- national Natural Language Generation Conference, pages 42-49, 2008.","title":"Referring Expressions as Formulas of Description Logic","authors":"Carlos Areces, Alexander Koller, Kristina Striegnitz","year":"2008","venue":"Proceedings of the Fifth International Natural Language Generation Conference","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baader et al., 1994] Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, and Enrico Fran- coni. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems. Applied In- telligence, 4(2):109-132, 05 1994.","title":"An Empirical Analysis of Optimization Techniques for Terminological Representation Systems","authors":"Baader","year":"1994","venue":"Applied Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baader et al., 2003] Franz Baader, Diego Calvanese, Deb- orah McGuinness, Peter Patel-Schneider, Daniele Nardi, et al. The Description Logic Handbook: Theory, imple- mentation and applications. Cambridge University Press, 2003.","title":"The Description Logic Handbook: Theory, implementation and applications","authors":"Baader","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Borgida et al., 2016] Alexander Borgida, David Toman, and Grant Weddell. On Referring Expressions in Query An- swering over First Order Knowledge Bases. In Proceed- ings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), pages 319-328. AAAI Press, 2016.","title":"On Referring Expressions in Query Answering over First Order Knowledge Bases","authors":"Alexander Borgida, David Toman, Grant Weddell","year":"2016","venue":"Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Hitzler et al., 2009] Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, and Sebastian Rudolph, editors. OWL 2 Web Ontology Language: Primer. W3C Recommendation, 2009. Available at http://www.w3.org/ TR/owl2-primer/.","title":"OWL 2 Web Ontology Language: Primer. W3C Recommendation","authors":"Pascal Hitzler, Markus Krötzsch, Bijan Parsia, F Peter, Sebastian Patel-Schneider, Rudolph","year":"2009","venue":null,"doi":null,"url":"http://www.w3.org/TR/owl2-primer/","internal_url":null},{"position":6,"raw":"[Horridge and Bechhofer, 2011] Matthew Horridge and Sean Bechhofer. The OWL API: A Java API for OWL ontologies. Semant. Web, 2(1):11-21, Jan 2011.","title":"The OWL API: A Java API for OWL ontologies","authors":"Bechhofer Horridge, Matthew Horridge, Sean Bechhofer","year":"2011","venue":"Semant. Web","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Kazakov, 2009] Yevgeny Kazakov. Consequence-Driven Reasoning for Horn SHIQ Ontologies. In Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI 2009, pages 2040-2045, 2009.","title":"Consequence-Driven Reasoning for Horn SHIQ Ontologies","authors":"Yevgeny Kazakov","year":"2009","venue":"Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI 2009","doi":null,"url":null,"internal_url":"/proceedings/2009/336"},{"position":8,"raw":"[Krahmer and van Deemter, 2012] Emiel Krahmer and Kees van Deemter. Computational Generation of Referring Expressions: A Survey. Computational Linguistics, 38(1):173-218, 2012.","title":"Computational Generation of Referring Expressions: A Survey","authors":"Van Krahmer, ; Deemter, Emiel Krahmer, Kees Van Deemter","year":"2012","venue":"Computational Linguistics","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Matentzoglu and Parsia, 2015] Nicolas Matentzoglu and Bijan Parsia. ORE 2015 Reasoner Competition Corpus, June 2015.","title":"Nicolas Matentzoglu and Bijan Parsia","authors":"Parsia Matentzoglu","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Toman and Weddell, 2019] David Toman and Grant Wed- dell. Finding ALL Answers to OBDA Queries Using Re- ferring Expressions. In AI 2019: Advances in Artificial Intelligence, pages 117-129, Cham, 2019. Springer Inter- national Publishing.","title":"Finding ALL Answers to OBDA Queries Using Referring Expressions","authors":"Weddell Toman, David Toman, Grant Weddell","year":"2019","venue":"AI 2019: Advances in Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}