Abstract
The ontology modeling practice of engineering metaproperties of concepts is a well-known technique. Some metaproperties of concepts describe the dynamics of concept instances, i.e. how instances can and cannot be altered. We investigate how deletions in an ontology-based knowledge base interact with the metaproperties rigidity and dependence. A particularly useful effect are delete cascades. We evaluate how rigidity and dependence may guide delete cascades in an engineering application. A case study in the area of product development shows that beyond explicitly defined deletions, our approach achieves further automated and desirable deletions of facts with high precision and good recall.
C. Schon and P. Kügler—Work supported by DFG EVOWIPE
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
Implementation available at: https://github.com/Institute-Web-Science-and-Technologies/SparqlUpdater.
- 3.
The KB and the questionnaire used in the case study are available at: https://west.uni-koblenz.de/sites/default/files/research/datasets/evaluation_testrig.zip.
References
Ahmeti, A., Calvanese, D., Polleres, A., Savenkov, V.: Handling Inconsistencies Due to Class Disjointness in SPARQL Updates. In: Sack, H., Blomqvist, E., d’Aquin, M., Ghidini, C., Ponzetto, S.P., Lange, C. (eds.) ESWC 2016. LNCS, vol. 9678, pp. 387–404. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-34129-3_24
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)
Broekstra, J., Kampman, A.: Inferencing and truth maintenance in RDF schema. In: PSSS, vol. 89, CEUR Workshop Proceedings. CEUR-WS.org (2003)
Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Updating ABoxes in DL-Lite. In: AMW, vol. 619, CEUR Workshop Proceedings (2010). CEUR-WS.org
De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. Log. Comput. 19(5), 745–770 (2009)
Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. Artif. Intell. 100(1–2), 225–274 (1998)
Furbach, U., Schon, C.: Semantically guided evolution of \(\cal{SHI}\) ABoxes. In: Galmiche, D., Larchey-Wendling, D. (eds.) TABLEAUX 2013. LNCS (LNAI), vol. 8123, pp. 134–148. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40537-2_13
Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Engineering and Ontology Development, 2nd edn. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-00282-3
Grau, B.C., Kharlamov, E., Zheleznyakov, D.: Ontology contraction: beyond the propositional paradise. In: AMW, vol. 866, CEUR Workshop Proceedings, pp. 62–74. CEUR-WS.org (2012)
Guarino, N., Welty, C.A.: An overview of OntoClean. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, International Handbooks on Information Systems, pp. 201–220. Springer, Heidleberg (2009). https://doi.org/10.1007/978-3-540-92673-3_9
Horridge, M.: Justification based explanation in ontologies. Ph.D. thesis, University of Manchester (2011)
Kharlamov, E., Zheleznyakov, D., Calvanese, D.: Capturing model-based ontology evolution at the instance level: the case of dl-lite. J. Comput. Syst. Sci. 79(6), 835–872 (2013)
Kügler, P., et al.: Ontology-based approach for the use of intentional forgetting in product development. In: Marjanovic, D., Storga, M., Pavkovic, N., Bojcetic, N., Skec, S. (eds.) DESIGN 2018 (2018)
Landis, J.R., Koch, G.G.: The measurement of observer agreement for categorical data. Biometrics 33(1), 159–174 (1977)
Lenzerini, M., Savo, D.F.: On the evolution of the instance level of DL-Lite knowledge bases. In: Description Logics, vol. 745, CEUR Workshop Proceedings. CEUR-WS.org (2011)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Foundations of instance level updates in expressive description logics. Artif. Intell. 175(18), 2170–2197 (2011)
Lutz, C., Wolter, F.: Foundations for uniform interpolation and forgetting in expressive description logics. In: IJCAI, pp. 989–995. IJCAI/AAAI (2011)
McGuinness, D., Kendall, E., Bao, J., Patel-Schneider, P.: OWL 2 web ontology language quick reference guide (second edition). Technical report, W3C, December 2012. http://www.w3.org/TR/2012/REC-owl2-quick-reference-20121211/
Moodley, K.: Debugging and repair of description logic ontologies. Master’s thesis, University of KwaZulo-Natal, Durban, South Africa (2010)
Motik, B., Horrocks, I., Sattler, U.: Adding integrity constraints to OWL. In: OWLED, vol. 258, CEUR Workshop Proceedings. CEUR-WS.org (2007)
Simons, P.: Parts: A Study in Ontology. Clarendon Press, Oxford (1987)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem. 5(2), 51–53 (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Schon, C., Staab, S., Kügler, P., Kestel, P., Schleich, B., Wartzack, S. (2018). Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base. In: Faron Zucker, C., Ghidini, C., Napoli, A., Toussaint, Y. (eds) Knowledge Engineering and Knowledge Management. EKAW 2018. Lecture Notes in Computer Science(), vol 11313. Springer, Cham. https://doi.org/10.1007/978-3-030-03667-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-030-03667-6_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03666-9
Online ISBN: 978-3-030-03667-6
eBook Packages: Computer ScienceComputer Science (R0)