Skip to main content
SpringerLink
Log in

OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies

  • Conference paper
The Semantic Web – ISWC 2004 (ISWC 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3298))

Included in the following conference series:

Abstract

OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool that combines a hierarchical graphical layout and instant reasoning feedback for (the most rational fraction of) OWL Lite. OntoTrack provides an animated and zoomable view with context sensitive features like click-able miniature branches or selective detail views together with drag-and-drop editing. Each editing step is instantly synchronized with an external reasoner in order to provide appropriate graphical feedback about relevant modeling consequences. The most recent feature of OntoTrack is an on demand textual explanation for subsumption and equivalence between or unsatisfiability of classes. This paper describes the key features of the current implementation and discusses future work as well as some development issues.

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Horrocks, I., Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. In: Hutter, D., Stephan, W. (eds.) Festschrift in honor of Jörg Siekmann. LNCS (LNAI), Springer, Heidelberg (2003) (to appear)

    Google Scholar 

  2. Project-Website: Project Halo (2004), http://www.projecthalo.com/

  3. Fiedland, N.S., Allen, P.G., Witbrock, M., Matthews, G., Salay, N., Miraglia, P., Angele, J., Stab, S., Israel, D., Chaudhri, V., Porter, B., Barker, K., Clark, P.: Towards a Quantitative, Plattform-Independent Analysis of Knowledge Systems. In: Proc. of the Ninth International Conference on Principles of Knowledge Representation and Reasoning, Whistler, BC, Canada, pp. 507–514. AAAI Press, Menlo Park (2004)

    Google Scholar 

  4. Liebig, T., Noppens, O.: OntoTrack: Fast Browsing and Easy Editing of Large Ontologies. In: Proc. of the 2nd International Workshop on Evaluation of Ontology based Tools (EON 2003), Sanibel Island, USA (2003)

    Google Scholar 

  5. Storey, M.A., Musen, M., Silvia, J., Best, C., Ernst, N., Fergerson, Noy, N.: Jambalaya: Interactive visualization to enhance ontology authoring and knowledge acquisition in Protégé. In: Proc. of the Workshop on Interactive Tools for Knowledge Capture (K-CAP 2001), Victoria B.C., Canada (2001)

    Google Scholar 

  6. Kalyanpur, A.: Venn diagram approach for visualizing OWL in SVG. University of Maryland (2003), http://www.mindswap.org/~aditkal/svg_owl.shtml

  7. Mutton, P., Golbeck, J.: Visualization of Semantic Metadata and Ontologies. In: Proc. of Information Visualization 2003 (IV 2003), London, UK (2003)

    Google Scholar 

  8. Eklund, P., Green, S., Roberts, N.: OntoRama: Browsing RDF Ontologies Using a Hyperbolic Browser. In: Proc. of the 1st International Symposium on Cyber Worlds (CW 2002), Tokyo, Japan (2001)

    Google Scholar 

  9. Hu, B., Shadbolt, N.: Visualising a DL Knowledge Base with DeLogViz. In: Proc. of the International Workshop on Description Logics (DL 2003), Rome, Italy (2003)

    Google Scholar 

  10. Plaisant, C., Grosjean, J., Bederson, B.B.: SpaceTree: Supporting Exploration in Large Node Link Tree, Design Evolution and Empirical Evaluation. In: Proc. of the IEEE Symposium on Information Visualization (INFOVIS 2002), Boston, USA, pp. 57–64 (2002)

    Google Scholar 

  11. 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 

  12. 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, 7–26 (2003)

    Google Scholar 

  13. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel- Schneider, P., Stein, L.A.: OWL Web Ontology Language Reference. W3C Recommendation (2004)

    Google Scholar 

  14. Patel-Schneider, P., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation (2004)

    Google Scholar 

  15. Tempich, C., Volz, R.: Towards a benchmark for Semantic Web reasoners – an analysis of the DAML ontology library. In: Proc. of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON 2003), Sanibel Island, USA (2003)

    Google Scholar 

  16. van Harmelen, F.: The Complexity of the Web Ontology Language. IEEE Intelligent Systems 17, 71–72 (2002)

    Google Scholar 

  17. Shneiderman, B.: Dynamic queries for visual information seeking. IEEE Software 11, 70–77 (1994)

    Article  Google Scholar 

  18. McGuinness, D.L., Borgida, A.: Explaining Subsumption in Description Logics. Technical Report LCSR-TR-228, Dept. of Computer Sciences, Rutgers University (1994)

    Google Scholar 

  19. Borgida, A., Franconi, E., Horrocks, I., McGuinness, D., Patel-Schneider, P.F.: Explaining ALC subsumption. In: Proc. of the International Workshop on Description Logics (DL 1999), pp. 37–40 (1999)

    Google Scholar 

  20. Bederson, B., Grosjean, J., Meyer, J.: Toolkit Design for Interactive Structured Graphics. Technical Report CS-TR-4432, University of Maryland (2002)

    Google Scholar 

  21. Niles, I., Pease, A.: Towards a Standard Upper Ontology. In: Proc. of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), Ogunquit, Maine (2001)

    Google Scholar 

  22. Carroll, J.J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: Implementing the Semantic Web Recommendations. In: Proc. of the 13th International World Wide Web Conference (WWW 2004), New York, NY, USA, pp. 74–83 (2004)

    Google Scholar 

  23. Liebig, T., Pfeifer, H., von Henke, F.: Reasoning Services for an OWL Authoring Tool: An Experience Report. In: Proc. of the 2004 International Workshop on Description Logics (DL 2004), Whistler, BC, Canada, pp. 79–82 (2004)

    Google Scholar 

  24. Möller, R., Haarslev, V.: Description Logics Systems. In: The Description Logic Handbook, Cambridge University Press, Cambridge (2003)

    Google Scholar 

  25. Fluit, C., Sabou, M., van Harmelen, F.: Supporting User Tasks through Visualisation of Light-weight Ontologies. In: Handbook on Ontologies in Information Systems, pp. 414–432. Springer, Heidelberg (2004)

    Google Scholar 

  26. Mail-Archives: Web Ontology Working Group (2004), http://lists.w3.org/Archives/Public/www-webont-wg/

  27. Schlobach, S., Cornet, R.: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. In: Proc. of the Belgian-Dutch Conference on AI (BNAI 2003), Nijmegen, The Netherlands (2003)

    Google Scholar 

  28. Baader, F., Küsters, R., Wolter, F.: Extensions to Description Logics. In: The Description Logic Handbook, Cambridge University Press, Cambridge (2003)

    Google Scholar 

  29. Baader, F., Sertkaya, B., Turhan, A.Y.: Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Proc. of the 2004 International Workshop on Description Logics (DL 2004), Whistler, BC, Canada, pp. 11–20 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Artificial Intelligence, University of Ulm, D-89069, Ulm

    Thorsten Liebig & Olaf Noppens

Authors
  1. Thorsten Liebig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olaf Noppens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Toronto,  

    Sheila A. McIlraith

  2. Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110, Heraklion, Greece

    Dimitris Plexousakis

  3. AI Department, Vrije Universiteit Amsterdam, Netherlands

    Frank van Harmelen

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liebig, T., Noppens, O. (2004). OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds) The Semantic Web – ISWC 2004. ISWC 2004. Lecture Notes in Computer Science, vol 3298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30475-3_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30475-3_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23798-3

  • Online ISBN: 978-3-540-30475-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation