Ontological databases with faceted queries
Tóm tắt
The success of the use of ontology-based systems depends on efficient and user-friendly methods of formulating queries against the ontology. We propose a method to query a class of ontologies, called facet ontologies (fac-ontologies), using a faceted human-oriented approach. A fac-ontology has two important features: (a) a hierarchical view of it can be defined as a nested facet over this ontology and the view can be used as a faceted interface to create queries and to explore the ontology; (b) the ontology can be converted into an ontological database, the ABox of which is stored in a database, and the faceted queries are evaluated against this database. We show that the proposed faceted interface makes it possible to formulate queries that are semantically equivalent to
$${\mathcal {SROIQ}}^{Fac}$$
, a limited version of the
$${\mathcal {SROIQ}}$$
description logic. The TBox of a fac-ontology is divided into a set of rules defining intensional predicates and a set of constraint rules to be satisfied by the database. We identify a class of so-called reflexive weak cycles in a set of constraint rules and propose a method to deal with them in the chase procedure. The considerations are illustrated with solutions implemented in the DAFO system (data access based on faceted queries over ontologies).
Tài liệu tham khảo
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading, MA (1995)
Angles, R., Arenas, M., Barceló, P., Hogan, A., Reutter, J.L., Vrgoc, D.: Foundations of modern query languages for graph databases. ACM Comput. Surv. 50(5), 68:1-68:40 (2017)
Apache Solr: https://solr.apache.org/ (2021). Accessed 24 November 2021
Apache TinkerPop: http://tinkerpop.apache.org/docs/current/reference/ (2021), Access 24 November 2021
Arenas, M., Barceló, P., Libkin, L., Murlak, F.: Relational and XML Data Exchange. Morgan & Claypool Publishers, Synthesis Lectures on Data Management (2010)
Arenas, M., Grau, B.C., Kharlamov, E., Marciuska, S., Zheleznyakov, D.: Enabling Faceted Search over OWL 2 with SemFacet. In: OWLED 2014. CEUR, vol. 1265, pp. 121–132 (2014)
Arenas, M., Grau, B.C., Kharlamov, E., Marciuska, S., Zheleznyakov, D.: Faceted search over RDF-based knowledge graphs. J. Web Sem. 37–38, 55–74 (2016)
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Petel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Beneventano, D., Bergamaschi, S., Guerra, F., Vincini, M.: The SEWASIE network of mediator agents for semantic search. J. UCS 13(12), 1936–1969 (2007)
Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168, 70–118 (2005)
Bhagdev, R., Chapman, S., Ciravegna, F., Lanfranchi, V., Petrelli, D.: Hybrid search: Effectively combining keywords and semantic searches. In: ESWC. pp. 554–568 (2008)
Calì, A., Gottlob, G., Lukasiewicz, T., Pieris, A.: Datalog+/-: A family of languages for ontology querying. In: Datalog. LNCS, vol. 6702, pp. 351–368. Springer (2011)
Calì, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries. PVLDB 3(1), 554–565 (2010)
Calvanese, D., Cogrel, B., Komla-Ebri, S., Kontchakov, R., Lanti, D., Rezk, M., Rodriguez-Muro, M., Xiao, G.: Ontop: Answering SPARQL queries over relational databases. Semantic Web 8(3), 471–487 (2017)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: Ontology-based database access. In: SEBD 2007. pp. 324–331 (2007)
Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the dl-lite family. J. Autom. Reason. 39(3), 385–429 (2007)
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: Effective first-order query processing in description logics. In: IJCAI. pp. 274–279 (2007)
Calvanese, D., Horrocks, I., Jiménez-Ruiz, E., Kharlamov, E., Meier, M., Rodriguez-Muro, M., Zheleznyakov, D.: On rewriting, answering queries in OBDA systems for big data. In: OWLED. CEUR, vol. 1080 (2013)
Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. Artif. Intell. Res. 11, 199–240 (1999)
ten Cate, B., Kolaitis, P.G.: Structural characterizations of schema-mapping languages. Commun. ACM 53(1), 101–110 (2010)
Chen, P.P.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. 1(1), 9–36 (1976)
Creating a faceted enterprise search application: https://www.ibm.com/docs/en/search/faceted?scope=SS5RWK_3.0.0 (2021). Access 24 November 2021
DAFO: Data Access based on Faceted queries over Ontology: https://github.com/tpankowski/dafo (2019). Access 24 November 2021
Dumais, S.T.: Faceted search. In: Encyclopedia of Database Systems, pp. 1103–1109. Springer (2009)
ECMA-404: The JSON data interchange syntax: https://www.ecma-international.org (2017). Access 24 November 2021
Elbedweihy, K., Mazumdar, S., Wrigley, S.N., Ciravegna, F.: Nl-graphs: A hybrid approach toward interactively querying semantic data. In: The Semantic Web: Trends and Challenges - ESWC 2014. pp. 565–579 (2014)
Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems, 6th edn. Addison-Wesley, Boston (2011)
Extensible Markup Language (XML) 1.0 (Fifth Edition): http://www.w3.org/TR/xml/ (2008). Access 24 November 2021
Faceted Browsing Tutorial, using LOD Cloud Cache data space: http://vos.openlinksw.com/owiki/wiki/VOS/ (2019). Access 24 November 2021
Fadhil, A., Haarslev, V.: OntoVQL: A graphical query language for OWL ontologies. In: DL. CEUR, vol. 250 (2007)
Fagin, R.: Inverting schema mappings. ACM Trans. Database Syst. 32(4), 25:1-25:53 (2007)
Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)
Ferré, S.: Expressive and scalable query-based faceted search over SPARQL endpoints. In: ISWC. LNCS, vol. 8797, pp. 438–453. Springer (2014)
Ferré, S., Hermann, A.: Semantic search: Reconciling expressive querying and exploratory search. In: ISWC. LNCS, vol. 7031, pp. 177–192. Springer (2011)
Francis, N., Green, A., Guagliardo, P., Libkin, L., Lindaaker, T., Marsault, V., Plantikow, S., Rydberg, M., Selmer, P., Taylor, A.: Cypher: An evolving query language for property graphs. In: SIGMOD. pp. 1433–1445. ACM (2018)
Gottlob, G., Orsi, G., Pieris, A.: Query rewriting and optimization for ontological databases. ACM Trans. Database Syst. 39(3), 25:1–25:46 (2014)
Grau, B.C., Kharlamov, E., Zheleznyakov, D., Arenas, M., Marciuska, S.: On faceted search over knowledge bases. In: DL. CEUR, vol. 1193, pp. 153–156 (2014)
Green, A., Guagliardo, P., Libkin, L., Lindaaker, T., Marsault, V., Plantikow, S., Schuster, M., Selmer, P., Voigt, H.: Updating graph databases with cypher. VLDB 12(12), 2242–2253 (2019)
Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing? Int. J. Hum.-Comput. Stud. 43(5–6), 907–928 (1995)
Harth, A.: VisiNav: A system for visual search and navigation on web data. J. Web Sem. 8(4), 348–354 (2010)
Heim, P., Ertl, T., Ziegler, J.: Facet Graphs: Complex Semantic Querying Made Easy. In: ESWC. LNCS, vol. 6088, pp. 288–302. Springer (2010)
Hildebrand, M., van Ossenbruggen, J., Hardman, L.: /facet: A browser for heterogeneous semantic web repositories. In: ISWC. LNCS, vol. 4273, pp. 272–285. Springer (2006)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Principles of Knowledge Representation and Reasoning. pp. 57–67. AAAI Press (2006)
How to build a facet filter in Azure Cognitive Search: https://docs.microsoft.com/en-us/azure/search/search-filters-facets (2020). Access 24 November 2021
Kazakov, Y.: An extension of complex role inclusion axioms in the description logic SROIQ. In: IJCAR. LNCS, vol. 6173, pp. 472–486. Springer (2010)
Kharlamov, E., Giacomelli, L., Sherkhonov, E., Grau, B.C., Kostylev, E.V., Horrocks, I.: SemFacet: Making hard faceted search easier. In: CIKM. pp. 2475–2478. ACM (2017)
Krötzsch, M., Simancik, F., Horrocks, I.: A description logic primer. CoRR abs/1201.4089 (2012), http://arxiv.org/abs/1201.4089, Access 24 November 2021
Libkin, L., Sirangelo, C.: Data exchange and schema mappings in open and closed worlds. J. Comput. Syst. Sci. 77(3), 542–571 (2011)
Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. J. Web Semant. 7(2), 74–89 (2009)
Nikolaou, C., Grau, B.C., Kostylev, E.V., Kaminski, M., Horrocks, I.: Satisfaction and implication of integrity constraints in ontology-based data access. In: IJCAI. pp. 1829–1835 (2019)
Oracle Commerce Guided Search: https://docs.oracle.com/cd/E67226_02/Common.112/pdf/GettingStarted.pdf (2015), Access 24 November 2021
Oren, E., Delbru, R., Decker, S.: Extending faceted navigation for RDF data. In: ISWC. LNCS, vol. 4273, pp. 559–572. Springer (2006)
OWL 2 Web Ontology Language Profiles (Second Edition): (2012), www.w3.org/TR/owl2-profiles, Access 24 November 2021
Pankowski, T.: Exploring ontology-enhanced bibliography databases using faceted search. In: TPDL. LNCS, vol. 10450, pp. 27–39. Springer (2017)
Pankowski, T.: Rewriting and Executing Faceted Queries over Ontology-Enhanced Databases. In: KES. pp. 137–146. Procedia Computer Science, Elsevier (2017)
Pankowski, T., Bak, J.: DAFO: an ontological database system with faceted queries. In: ESWC Satellite Events. LNCS, vol. 11762, pp. 152–155. Springer (2019)
Pankowski, T., Brzykcy, G.: Data access based on faceted queries over ontologies. In: DEXA. LNCS, vol. 9828, pp. 275–286. Springer (2016)
Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Journal on Data Semantics X, pp. 133–173. Springer-Verlag (2008)
Resource Description Framework (RDF) Model and Syntax Specification: (1999), www.w3.org/TR/PR-rdf-syntax/, Access 24 November 2021
Rudolph, S.: Foundations of description logics. In: Reasoning Web. Semantic Technologies for the Web of Data. LNCS, vol. 6848, pp. 76–136. Springer (2011)
Schweiger, D., Trajanoski, Z., Pabinger, S.: SPARQLGraph: a web-based platform for graphically querying biological Semantic Web databases. BMC Bioinformat. 15(279), 1–55 (2014)
Sequeda, J.F., Arenas, M., Miranker, D.P.: OBDA: query rewriting or materialization? In practice, both! In: ISWC. LNCS, vol. 8796, pp. 535–551. Springer (2014)
Sherkhonov, E., Grau, B.C., Kharlamov, E., Kostylev, E.V.: Semantic faceted search with aggregation and recursion. In: ISWC. LNCS, vol. 10587, pp. 594–610. Springer (2017)
Skjæveland, M.G., Giese, M., Hovland, D., Lian, E.H., Waaler, A.: Engineering ontology-based access to real-world data sources. J. Web Sem. 33, 112–140 (2015)
Soylu, A., Giese, M., Jiménez-Ruiz, E., Kharlamov, E., Zheleznyakov, D., Horrocks, I.: Ontology-based end-user visual query formulation: Why, what, who, how, and which? Univ. Access Inf. Soc. 16(2), 435–467 (2017)
SPARQL Query Language for RDF: http://www.w3.org/TR/rdf-sparql-query/ (2008). Access 24 November 2021
The Neo4j Cypher Manual v4.1: https://neo4j.com/docs/pdf/neo4j-cypher-manual-4.1.pdf (2020). Access 24 November 2021
Thorne, C., Calvanese, D.: Controlled aggregate tree shaped questions over ontologies. In: FQAS. LNCS, vol. 5822, pp. 394–405. Springer (2009)
Tunkelang, D.: Faceted Search. Morgan & Claypool Publishers (2009)
Tzitzikas, Y., Analyti, A.: Mining the meaningful term conjunctions from materialised faceted taxonomies: algorithms and complexity. Knowl. Inf. Syst. 9(4), 430–467 (2006)
Tzitzikas, Y., Manolis, N., Papadakos, P.: Faceted exploration of RDF/S datasets: a survey. J. Intell. Inf. Syst. 48(2), 329–364 (2017)
Vega-Gorgojo, G., Slaughter, L., Giese, M., Heggestøyl, S., Soylu, A., Waaler, A.: Visual query interfaces for semantic datasets: An evaluation study. J. Web Sem. 39, 81–96 (2016)
Wagner, A., Ladwig, G., Tran, T.: Browsing-oriented semantic faceted search. In: DEXA. LNCS, vol. 6860, pp. 303–319. Springer (2011)
Xiao, G., Calvanese, D., Kontchakov, R., Lembo, D., Poggi, A., Rosati, R., Zakharyaschev, M.: Ontology-based data access: A survey. In: IJCAI. pp. 5511–5519 (2018)
Xiao, G., Lanti, D., Kontchakov, R., Komla-Ebri, S., Kalayci, E.G., Ding, L., Corman, J., Cogrel, B., Calvanese, D., Botoeva, E.: The Virtual Knowledge Graph System Ontop. In: ISWC. LNCS, vol. 12507, pp. 259–277. Springer (2020)
Zhang, G., Tao, S., Zeng, N., Cui, L.: Ontologies as nested facet systems for human-data interaction. Semantic Web 11(1), 79–86 (2020)
Zviedris, M., Barzdins, G.: ViziQuer: A Tool to Explore and Query SPARQL Endpoints. In: ESWC. LNCS, vol. 6644, pp. 441–445. Springer (2011)