Skip to main content
Springer Nature Link
Log in

Usability Issues in Description Logic Knowledge Base Completion

  • Conference paper
Formal Concept Analysis (ICFCA 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5548))

Included in the following conference series:

  • 1380 Accesses

Abstract

In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the assertional part and by a domain expert. This approach, called knowledge base completion, was based on an extension of attribute exploration to the case of partial contexts. The present paper recalls this approach, and then addresses usability issues that came up during first experiments with a preliminary implementation of the completion algorithm. It turns out that these issues can be addressed by extending the exploration algorithm for partial contexts such that it can deal with implicational background knowledge.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  2. Baader, F., Distel, F.: A finite basis for the set of \(\mathcal{EL}\)-implications holding in a finite model. In: Medina, R., Obiedkov, S. (eds.) ICFCA 2008. LNCS (LNAI), vol. 4933, pp. 46–61. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  3. Baader, F., Distel, F.: Exploring finite models in the description logic \(\mathcal{EL}_\mathrm{gfp}\). In: Ferré, S., Rudolph, S. (eds.) ICFCA 2009. LNCS (LNAI), vol. 5548, Springer, Heidelberg (2009)

    Google Scholar 

  4. Baader, F., Ganter, B., Sattler, U., Sertkaya, B.: Completing description logic knowledge bases using formal concept analysis. LTCS-Report LTCS-06-02, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany (2006), http://lat.inf.tu-dresden.de/research/reports.html

  5. Baader, F., Ganter, B., Sertkaya, B., Sattler, U.: Completing description logic knowledge bases using formal concept analysis. In: Proc. of the Twentieth Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 230–235. AAAI Press, Menlo Park (2007)

    Google Scholar 

  6. Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic \(\mathcal{EL}^+\). In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 52–67. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic \(\mathcal{EL}^+\). In: Proc. of the Int. Conf. on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008), Phoenix, Arizona (2008)

    Google Scholar 

  8. Bechhofer, S., Volz, R., Lord, P.: Cooking the semantic web with the OWL API. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 659–675. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Burmeister, P., Holzer, R.: On the treatment of incomplete knowledge in formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 385–398. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  10. Burmeister, P., Holzer, R.: Treating incomplete knowledge in formal concept analysis. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS, vol. 3626, pp. 114–126. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  11. Ganter, B.: Two basic algorithms in concept analysis. Technical Report Preprint-Nr. 831, Technische Hochschule Darmstadt, Darmstadt, Germany (1984)

    Google Scholar 

  12. Ganter, B.: Attribute exploration with background knowledge. Theoretical Computer Science 217(2), 215–233 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  13. Ganter, B., Krauße, R.: Pseudo-models and propositional Horn inference. Discrete Applied Mathematics 147(1), 43–55 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  14. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)

    Book  MATH  Google Scholar 

  15. Haarslev, V., Möller, R.: RACER system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. Halaschek-Wiener, C., Parsia, B., Sirin, E., Kalyanpur, A.: Description Logic reasoning for dynamic ABoxes. In: Proc. of the 19th Int. Workshop on Description Logics (DL 2006). CEUR-WS, vol. 189 (2006)

    Google Scholar 

  17. Holzer, R.: Knowledge acquisition under incomplete knowledge using methods from formal concept analysis: Part I. Fundamenta Informaticae 63(1), 17–39 (2004)

    MathSciNet  MATH  Google Scholar 

  18. Holzer, R.: Knowledge acquisition under incomplete knowledge using methods from formal concept analysis: Part II. Fundamenta Informaticae 63(1), 41–63 (2004)

    MathSciNet  MATH  Google Scholar 

  19. Horridge, M., Tsarkov, D., Redmond, T.: Supporting early adoption of OWL 1.1 with Protege-OWL and FaCT++. In: Proc. of the Second Int. Workshop OWL: Experiences and Directions (OWLED 2006). CEUR-WS (2006)

    Google Scholar 

  20. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)

    Article  Google Scholar 

  21. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C.: Repairing unsatisfiable concepts in OWL ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 170–184. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C., Hendler, J.A.: Swoop: A web ontology editing browser. Journal of Web Semantics 4(2), 144–153 (2006)

    Article  Google Scholar 

  23. Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Protégé OWL plugin: An open development environment for semantic web applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 229–243. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic \(\mathcal{{ALC}}\). In: Proc. of the 21st National Conf. on Artificial Intelligence (AAAI 2006), pp. 269–274. AAAI Press/The MIT Press (2006)

    Google Scholar 

  25. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. Dissertation, Universität Karlsruhe (TH), Germany (2006)

    Google Scholar 

  26. Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67–83. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  27. Oberle, D., Volz, R., Staab, S., Motik, B.: An extensible ontology software environment. In: Handbook on Ontologies, Int. Handbooks on Information Systems, pp. 299–320. Springer, Heidelberg (2004)

    Google Scholar 

  28. Obiedkov, S.A.: Modal logic for evaluating formulas in incomplete contexts. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS, vol. 2393, pp. 314–325. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  29. Reeg, S., Weiß, W.: Properties of Finite Lattices. Diplomarbeit, TH Darmstadt, Germany (1990)

    Google Scholar 

  30. Rudolph, S.: Exploring relational structures via \(\mathcal{FLE}\). In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS, vol. 3127, pp. 196–212. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  31. Rudolph, S.: Relational Exploration: Combining Description Logics and Formal Concept Analysis for Knowledge Specification. Ph.D. Dissertation, Fakultät Mathematik und Naturwissenschaften, TU Dresden, Germany (2006)

    Google Scholar 

  32. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of the Eighteenth Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pp. 355–362. Morgan Kaufmann, San Francisco (2003)

    Google Scholar 

  33. Sirin, E., Parsia, B.: Pellet: An OWL DL reasoner. In: Proc. of the 2004 Int. Workshop on Description Logics (DL 2004). CEUR Workshop Proc., vol. 104. CEUR-WS.org (2004)

    Google Scholar 

  34. Stumme, G.: Attribute exploration with background implications and exceptions. In: Data Analysis and Information Systems. Statistical and Conceptual approaches. Proc. of GfKl 1995. Studies in Classification, Data Analysis, and Knowledge Organization, vol. 7, pp. 457–469. Springer, Heidelberg (1996)

    Google Scholar 

  35. Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  36. Wille, R.: Restructuring lattice theory: An approach based on hierarchies of concepts. In: Ordered Sets, pp. 445–470. Reidel, Dordrecht (1982)

    Chapter  Google Scholar 

  37. Wolstencroft, K., Brass, A., Horrocks, I., Lord, P.W., Sattler, U., Turi, D., Stevens, R.: A little semantic web goes a long way in biology. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 786–800. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TU Dresden, Germany

    Franz Baader & Barış Sertkaya

Authors
  1. Franz Baader
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Barış Sertkaya
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Irisa/Ifsic, Université de Rennes 1, Campus Universitaire de Beaulieu, 35042, Rennes cedex, France

    Sébastien Ferré

  2. Institut AIFB, Universität Karlsruhe (TH), 76128, Karlsruhe, Germany

    Sebastian Rudolph

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baader, F., Sertkaya, B. (2009). Usability Issues in Description Logic Knowledge Base Completion. In: Ferré, S., Rudolph, S. (eds) Formal Concept Analysis. ICFCA 2009. Lecture Notes in Computer Science(), vol 5548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01815-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01815-2_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01814-5

  • Online ISBN: 978-3-642-01815-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics