Abstract
We introduce optimization techniques for reasoning in \(\mathcal {DL}^\mathrm {N} \)–a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the examples naturally arising in biomedical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K axioms. Speedups exceed 1 order of magnitude. For the first time, response times compatible with real-time reasoning are obtained with nonmonotonic KBs of this size.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149–180 (1995)
Baader, F., Hollunder, B.: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J. Autom. Reasoning 15(1), 41–68 (1995)
Bonatti, P.A., Faella, M., Sauro, L.: \({\cal E}{\cal L}\) with default attributes and overriding. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 64–79. Springer, Heidelberg (2010)
Bonatti, P.A., Faella, M., Sauro, L.: Adding default attributes to EL++. In: Burgard, W., Roth, D. (eds.) AAAI. AAAI Press (2011)
Bonatti, P.A., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res. (JAIR) 42, 719–764 (2011)
Bonatti, P.A., Lutz, C., Wolter, F.: The complexity of circumscription in DLs. J. Artif. Intell. Res. (JAIR) 35, 717–773 (2009)
Bonatti, P.A., Petrova, I.M., Sauro, L.: Optimizing the computation of overriding. ArXiv e-prints, July 2015
Bonatti, P.A., Petrova, I.M., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1–48 (2015). http://www.sciencedirect.com/science/article/pii/S0004370215000028
Casini, G., Meyer, T., Moodley, K., Nortjé, R.: Relevant closure: a new form of defeasible reasoning for description logics. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 92–106. Springer, Heidelberg (2014)
Casini, G., Meyer, T., Moodley, K., Varzinczak, I.J.: Towards practical defeasible reasoning for description logics. In: Eiter, T., Glimm, B., Kazakov, Y., Krötzsch, M. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 1014, pp. 587–599. CEUR-WS.org (2013)
Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 77–90. Springer, Heidelberg (2010)
Casini, G., Straccia, U.: Defeasible inheritance-based description logics. J. Artif. Intell. Res. (JAIR) 48, 415–473 (2013)
Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2), 177–225 (2002)
Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Małuszyński, J.: Hybrid reasoning with rules and ontologies. In: Bry, F., Małuszyński, J. (eds.) Semantic Techniques for the Web. LNCS, vol. 5500, pp. 1–49. Springer, Heidelberg (2009)
Baader, F., Calvanese, D., Mcguinness D., Nardi, D., Patel Schneider, P.: The description logic handbook, theory, implementation, and applications (2nd edition). In: The Description Logic Handbook, pp. 555–555. Cambridge University Press, Cambridge (2010)
Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? a case for conservative extensions in description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 187–197. AAAI Press (2006)
Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165–202 (2013)
Giordano, L., Olivetti, N., Gliozzi, V., Pozzato, G.L.: ALC + T: a preferential extension of description logics. Fundam. Inform. 96(3), 341–372 (2009)
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. J. Artif. Intell. Res. (JAIR) 31, 273–318 (2008)
Kazakov, Y., Klinov, P.: Incremental reasoning in EL+ without bookkeeping. In: Description Logics, pp. 294–315 (2013)
Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between dl-lite ontologies? In Brewka, G., Lang, J. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, 16–19 September 2008, pp. 285–295. AAAI Press (2008)
Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6–7), 852–883 (2008)
Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Veloso, M.M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, Hyderabad, India, 6–12 January 2007, pp. 453–458 (2007)
Martin-Recuerda, F., Walther, D.: Axiom dependency hypergraphs for fast modularisation and atomic decomposition. In: Bienvenu, M., Ortiz, M., Rosati, R., Simkus, M. (eds.) Proceedings of the 27th International Workshop on Description Logics (DL 2014). CEUR Workshop Proceedings, vol. 1193, pp. 299–310 (2014)
Rector, A.L.: Defaults, context, and knowledge: Alternatives for OWL-indexed knowledge bases. In: Pacific Symposium on Biocomputing, pp. 226–237. World Scientific (2004)
Sandewall, E.: Defeasible inheritance with doubt index and its axiomatic characterization. Artif. Intell. 174(18), 1431–1459 (2010)
Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should I extract? In: Grau, B.C., Horrocks, I., Motik, B., Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, 27–30 July 2009, vol. 477. CEUR Workshop Proceedings. CEUR-WS.org (2009)
Stevens, R., Aranguren, M.E., Wolstencroft, K., Sattler, U., Drummond, N., Horridge, M., Rector, A.L.: Using OWL to model biological knowledge. Int. J. Man Mach. Stud. 65(7), 583–594 (2007)
Woo, T.Y.C., Lam, S.S.: Authorizations in distributed systems: A new approach. J. Comput. Secur. 2(2–3), 107–136 (1993)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Bonatti, P.A., Petrova, I.M., Sauro, L. (2015). Optimizing the Computation of Overriding. In: Arenas, M., et al. The Semantic Web - ISWC 2015. ISWC 2015. Lecture Notes in Computer Science(), vol 9366. Springer, Cham. https://doi.org/10.1007/978-3-319-25007-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-25007-6_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25006-9
Online ISBN: 978-3-319-25007-6
eBook Packages: Computer ScienceComputer Science (R0)