Skip to main content
Springer Nature Link
Log in

Verification and Refactoring of Ontologies with Rules

  • Conference paper
Managing Knowledge in a World of Networks (EKAW 2006)

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

  • 976 Accesses

Abstract

Currently, the introduction of an appropriate rule representation layer for the semantic web stack is discussed. However, with the inclusion of rule-based knowledge new verification issues for rule-augmented ontologies arise.

In this paper we investigate the detection of anomalies as an important subtask of verification. We extend and revise existing approaches for the syntactic verification of ontologies with respect to the existence of rules, and we introduce new anomalies considering the understandability and maintainability of such ontologies.

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. Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic Web Architecture: Stack or Two Towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A Proposal and Prototype Implementation. Journal of Web Semantics 3(1), 23–40 (2005)

    Google Scholar 

  3. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language - Combining OWL and RuleML, W3C Member Submission (May 2004), http://www.w3.org/Submission/SWRL/

  4. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference – W3C Recommendation (February 2004), http://www.w3.org/TR/owl-ref/

  5. Guarino, N., Welty, C.: Evaluating Ontological Decisions with OntoClean. Communications of the ACM 45(2) (2002)

    Google Scholar 

  6. Rector, A.L., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 63–81. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Gómez-Pérez, A.: Evaluation of Ontologies. International Journal of Intelligent Systems 16(3), 391–409 (2001)

    Article  MATH  Google Scholar 

  8. Preece, A., Shinghal, R.: Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems 9, 683–702 (1994)

    Article  Google Scholar 

  9. Preece, A., Shinghal, R., Batarekh, A.: Verifying Expert Systems. A Logical Framework and a Practical Tool. Expert Systems with Applications 5(3/4), 421–436 (1992)

    Article  Google Scholar 

  10. Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Berlin (1990)

    Google Scholar 

  11. Fowler, M.: Refactoring. Improving the Design of Existing Code. Addison-Wesley, Reading (1999)

    Google Scholar 

  12. Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois, Urbana-Champaign, IL, USA (1992)

    Google Scholar 

  13. Baumeister, J., Seipel, D., Puppe, F.: Refactoring Methods for Knowledge Bases. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 157–171. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Baumeister, J., Seipel, D.: Smelly Owls – Design Anomalies in Ontologies. In: Proc. of the 18th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp. 215–220. AAAI Press, Menlo Park (2005)

    Google Scholar 

  15. Patel-Schneider, P.F.: A Proposal for a SWRL Extension to First-Order Logic (November 2004), http://www.daml.org/2004/11/fol/proposal

  16. Zlatareva, N.: Testing the Integrity of Non-Monotonic Knowledge Bases Containing Semi-Normal Defaults. In: Proc. of the 17th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp. 349–354. AAAI Press, Menlo Park (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Computer Science, University of Würzburg, Germany

    Joachim Baumeister & Dietmar Seipel

Authors
  1. Joachim Baumeister
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dietmar Seipel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Koblenz-Landau, Universitätsstraße 1, 56070, Koblenz, Germany

    Steffen Staab

  2. Dept. Information and Knowledge Engineering,, University of Economics, Prague, Winston Churchill Sq. 4, 130 67 Praha 3, Prague, Czech Republic

    Vojtěch Svátek

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baumeister, J., Seipel, D. (2006). Verification and Refactoring of Ontologies with Rules. In: Staab, S., Svátek, V. (eds) Managing Knowledge in a World of Networks. EKAW 2006. Lecture Notes in Computer Science(), vol 4248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11891451_11

Download citation

  • DOI: https://doi.org/10.1007/11891451_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46363-4

  • Online ISBN: 978-3-540-46365-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics