Skip to main content
SpringerLink
Log in
Book cover

Joint International Semantic Technology Conference

JIST 2018: Semantic Technology pp 235–243Cite as

DeFind: A Protege Plugin for Computing Concept Definitions in \(\mathcal {EL}\) Ontologies

  • Conference paper
  • First Online:

  • 831 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 11341))

Abstract

We introduce an extension to the Protégé ontology editor, which allows for discovering concept definitions, which are not explicitly present in axioms, but are logically implied by an ontology. The plugin supports ontologies formulated in the Description Logic \(\mathcal {EL}\), which underpins the OWL 2 EL profile of the Web Ontology Language and despite its limited expressiveness captures most of the biomedical ontologies published on the Web. The developed tool allows to verify whether a concept can be defined using a vocabulary of interest specified by a user. In particular, it allows to decide whether some vocabulary items cabe omitted in a formulation of a complex concept. The corresponding definitions are presented to the user and are provided with explanations generated by an ontology reasoner.

The research was supported by the Russian Science Foundation, grant No. 17-11-01166. Implementation was supported by the Siberian Branch of the Russian Academy of Sciences (Block 36.1 of the Program for Basic Scientific Research II.1).

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Kazakov, Y., Krötzsch, M., Simancik, F.: The incredible ELK - from polynomial procedures to efficient reasoning with \(\cal{EL}\) ontologies. J. Autom. Reason. 53(1), 1–61 (2014)

    Article  MathSciNet  Google Scholar 

  2. Kazakov, Y., Klinov, P., Stupnikov, A.: Towards reusable explanation services in protege. In: Artale, A., Glimm, B., Kontchakov, R. (eds.) Proceedings of the 30th International Workshop on Description Logics, CEUR Workshop Proceedings, Montpellier, France, 18–21 July 2017, vol. 1879. CEUR-WS.org (2017)

    Google Scholar 

  3. ten Cate, B., Franconi, E., Seylan, I.: Beth definability in expressive description logics. J. Artif. Intell. Res. 48, 347–414 (2013)

    Article  MathSciNet  Google Scholar 

  4. Ponomaryov, D.K., Vlasov, D.: Concept definability and interpolation in enriched models of \(\cal{EL}\) -tboxes. In: Eiter, T., Glimm, B., Kazakov, Y., Krötzsch, M. (eds.) Informal Proceedings of the 26th International Workshop on Description Logics, CEUR Workshop Proceedings, Ulm, Germany, 23–26 July 2013, vol. 1014, pp. 898–916. CEUR-WS.org (2013)

    Google Scholar 

  5. Franconi, E., Kerhet, V., Ngo, N.: Exact query reformulation over databases with first-order and description logics ontologies. J. Artif. Intell. Res. 48, 885–922 (2013)

    Article  MathSciNet  Google Scholar 

  6. Konev, B., Lutz, C., Ponomaryov, D.K., Wolter, F.: Decomposing description logic ontologies. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, 9–13 May 2010. AAAI Press (2010)

    Google Scholar 

  7. Geleta, D., Payne, T.R., Tamma, V., Wolter, F.: Computing minimal definition signatures in description logic ontologies. Technical report, University of Liverpool (2016)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Novosibirsk State University, Novosibirsk, Russia

    Denis Ponomaryov

  2. Institute of Informatics Systems, Novosibirsk State University, Novosibirsk, Russia

    Denis Ponomaryov & Stepan Yakovenko

Authors
  1. Denis Ponomaryov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stepan Yakovenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Denis Ponomaryov .

Editor information

Editors and Affiliations

  1. National Institute of Informatics, Tokyo, Japan

    Ryutaro Ichise

  2. Accenture Labs, Dublin, Ireland

    Freddy Lecue

  3. Japan Science and Technology Agency, Tokyo, Japan

    Takahiro Kawamura

  4. Peking University, Beijing, China

    Dongyan Zhao

  5. Imperial College London, London, UK

    Stephen Muggleton

  6. Osaka University, Osaka, Japan

    Kouji Kozaki

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ponomaryov, D., Yakovenko, S. (2018). DeFind: A Protege Plugin for Computing Concept Definitions in \(\mathcal {EL}\) Ontologies. In: Ichise, R., Lecue, F., Kawamura, T., Zhao, D., Muggleton, S., Kozaki, K. (eds) Semantic Technology. JIST 2018. Lecture Notes in Computer Science(), vol 11341. Springer, Cham. https://doi.org/10.1007/978-3-030-04284-4_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-04284-4_16

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-04283-7

  • Online ISBN: 978-3-030-04284-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation