Skip to main content
Springer Nature Link
Log in

Reasoning with Networked Ontologies

  • Chapter
  • First Online:
Ontology Engineering in a Networked World

  • 1987 Accesses

Abstract

The chapter covers basic functionality pertaining to reasoning with ontologies. We first introduce general methods for detecting and resolving inconsistencies, and then present three plugins that provide reasoning and query functionality. The three plugins are: the reasoning plugin, which allows for standard reasoning tasks, such as materialising inferences and checking consistency in ontologies; the RaDON plugin, which provides functionality for diagnosing and resolving inconsistencies in networked ontologies; and the query plugin, which allows for users querying ontologies in the NeOn Toolkit via the RDF query language SPARQL.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover 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

Similar content being viewed by others

Notes

  1. 1.

    http://www.ietf.org/rfc/rfc3987.txt

  2. 2.

    http://www.ietf.org/rfc/rfc3987.txt

References

  • Baader F, Suntisrivaraporn B (2008) Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In: Proceedings of the 3rd international conference on Knowledge Representation in Medicine (KR-MED 2008), Phoenix, AZ, USA

    Google Scholar 

  • Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2003) The description logic handbook: theory, implementation and application. Cambridge University Press, Cambridge

    Google Scholar 

  • Bechhofer S, Volz R, Lord P (2003) Cooking the semantic web with the owl api. In: The Semantic Web – ISWC 2003, Lecture notes in computer science, vol 2870. Springer, Berlin/Heidelberg, pp 659–675. doi:10.1007/978-3-540-39718-242

    Chapter  Google Scholar 

  • Borgida A (1994) On the relationship between description logic and predicate logic. In: Proceedings of the 3rd international conference on Information and Knowledge Management (CIKM 1994), Gaithersburg, MD. ACM, New York, pp 219–225

    Google Scholar 

  • Borgida A, Serafini L (2003) Distributed description logics: assimilating information from peer sources. J Data Semant 1:153–184

    Article  Google Scholar 

  • Carroll JJ, Dickinson I, Dollin C, Reynolds D, Seaborne A, Wilkinson K (2004) Jena: implementing the semantic web recommendations. In: Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters. ACM, New York, NY, USA, WWW Alt. 2004, pp 74–83, DOI http://doi.acm.org/10.1145/1013367.1013381, URL http://doi.acm.org/10.1145/1013367.1013381

  • Clark KG, Feigenbaum L, Torres E (2008) SPARQL protocol for RDF. W3C Recommendation. http://www.w3.org/TR/rdf-sparql-protocol/

  • Du J, Qi G (2010) Decomposition-based optimization for debugging of inconsistent owl dl ontologies. In: Proceedings of the 4th international conference on Knowledge Science, Engineering and Management (KSEM 2010), Belfast, Northern Ireland, UK, pp 88–100

    Google Scholar 

  • Flouris G, Plexousakis D, Antoniou G (2005) On applying the AGM theory to DLs and OWL. In: Proceedings of the 4th International Conference on Semantic Web (ISWC 2005), Galway, Ireland, pp 216–231

    Google Scholar 

  • Flouris G, Huang Z, Pan JZ, Plexousakis D, Wache H (2006) Inconsistencies, negations and changes in ontologies. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), Boston, MA, pp 1295–1300

    Google Scholar 

  • Grau BC, Horrocks I, Kazakov Y, Sattler U (2007) Just the right amount: extracting modules from ontologies. In: Proceedings of the 16th international conference on World Wide Web (WWW 2007), Banff, AB, Canada, pp 717–726

    Google Scholar 

  • Haase P, van Harmelen F, Huang Z, Stuckenschmidt H, Sure Y (2005) A framework for handling inconsistency in changing ontologies. In: Proceedings of the 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, pp 353–367

    Google Scholar 

  • Hansson SO (1993) Reversing the levi identity. J Philos Log 22(6):637–669

    Article  MathSciNet  MATH  Google Scholar 

  • Hayes P (2004) RDF semantics. W3C Recommendation. http://www.w3.org/TR/rdf-mt/

  • Huang Z, van Harmelen F, ten Teije A (2005) Reasoning with inconsistent ontologies. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, UK, pp 454–459

    Google Scholar 

  • Ji Q, Qi G, Haase P (2009) A relevance-directed algorithm for finding justifications of dl entailments. In: Proceedings of the 4th Asian Conference on Semantic Web (ASWC 2009), Shanghai, China, pp 306–320

    Google Scholar 

  • Kalyanpur A, Parsia B, Sirin E, Hendler J (2005) Debugging unsatisfiable classes in OWL ontologies. J Web Semant 3(4):268–293

    Article  Google Scholar 

  • Kalyanpur A, Parsia B, Sirin E, Grau BC (2006) Repairing unsatisfiable concepts in owl ontologies. In: Proceedings of the 3rd European Semantic Web Conference (ESWC 2006), Budva, Montenegro, pp 170–184

    Google Scholar 

  • Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of OWL DL entailments. In: Proceedings of the 6th International Semantic Web Conference (ISWC 2007), Busan, Korea, pp 267–280

    Google Scholar 

  • Lam J, Pan JZ, Seeman D, Vasconcelos W (2006) A fine-grained approach to resolving unsatisfiable ontologies. In: Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence (WI 2006), Hong Kong, pp 428–434

    Google Scholar 

  • Meilicke C, Stuckenschmidt H (2007) Applying logical constraints to ontology matching. In: Proceedings of the 30th annual German conference on Artificial Intelligence (KI 2007), Osnabrück, Germany, pp 99–113

    Google Scholar 

  • Meilicke C, Stuckenschmidt H, Tamilin A (2007) Repairing ontology mappings. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), Vancouver, BC, Canada, pp 1408–1413

    Google Scholar 

  • Meilicke C, Völker J, Stuckenschmidt H (2008) Learning disjointness for debugging mappings between lightweight ontologies. In: Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns (EKAW 2008), Acitrezza, Italy, pp 93–108

    Google Scholar 

  • Meyer T, Lee K, Booth R (2005) Knowledge integration for description logics. In: Proceedings of 20th national conference on Artificial Intelligence (AAAI 2005). AAAI Press, Pittsburgh, PA, pp 645–650

    Google Scholar 

  • Meyer T, Lee K, Booth R, Pan JZ (2006) Finding maximally satisfiable terminologies for the description logic ALC. In: Proceedings of 21th national conference on Artificial Intelligence (AAAI 2006), Boston, MA, pp 269–274

    Google Scholar 

  • Minsky M (1974) A framework for representing knowledge. Massachusetts Institute of Technology, Cambridge

    Google Scholar 

  • Nebel B (1994) Base revision operations and schemes: semantics, representation and complexity. In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI 1994), Amsterdam, the Netherlands, pp 341–345

    Google Scholar 

  • Prud’hommeaux E, Seaborne A (2008) SPARQL query language for RDF. W3C Recommendation. http://www.w3.org/TR/rdf-sparql-query/

  • Qi G, Liu W, Bell DA (2006) Knowledge base revision in description logics. In: Proceedings of the 10th European conference on logics in artificial intelligence (JELIA 2006). Springer, Liverpool, UK, pp 386–398

    Google Scholar 

  • Qi G, Haase P, Huang Z, Ji Q, Pan JZ, Völker J (2008) A kernel revision operator for terminologies – algorithms and evaluation. In: Proceedings of the 7th International Semantic Web Conference (ISWC 2008), Karlsruhe, Germany, pp 419–434

    Google Scholar 

  • Qi G, Ji Q, Haase P (2009) A conflict-based operator for mapping revision. In: Proceedings of the 8th International Semantic Web Conference (ISWC 2009), Chantilly, VA, USA, pp 521–536

    Google Scholar 

  • Schlobach S, Cornet R (2003) Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp 355–362

    Google Scholar 

  • Schlobach S, Huang Z, Cornet R, van Harmelen F (2007) Debugging incoherent terminologies. J Autom Reason 39(3):317–349

    Article  MATH  Google Scholar 

  • Schmidt-Schau M, Smolka G (1991) Attributive concept descriptions with complements. Artif Intell 48(1):1–26

    Article  Google Scholar 

  • Shearer R, Motik B, Horrocks I (2008) HermiT: a highly-efficient OWL reasoner. In: Ruttenberg A, Sattler U, Dolbear C (eds) Proceedings of the 5th international workshop on OWL: Experiences and Directions (OWLED 2008 EU), Karlsruhe, Germany

    Google Scholar 

  • Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: a practical owl-dl reasoner. Web Semant 5:51–53. doi:10.1016/j.websem.2007.03.004, URL http://portal.acm.org/citation.cfm?id=1265608.1265744

    Google Scholar 

  • Suntisrivaraporn B, Qi G, Ji Q, Haase P (2008) A modularization-based approach to finding all justifications for owl dl entailments. In: Proceedings of the 3rd Asian Semantic Web Conference (ASWC 2008), Bangkok, Thailand, pp 1–15

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Engineering, Southeast University, Nanjing, China

    Guilin Qi

  2. Institute AIFB, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany

    Andreas Harth

Authors
  1. Guilin Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Harth
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Guilin Qi .

Editor information

Editors and Affiliations

  1. , Facultad de Informática, Universidad Politécnica de Madrid, sn. Boadilla del Monte, Madrid, 28660, Spain

    Mari Carmen Suárez-Figueroa

  2. s/n Boadilla del Monte, Madrid, 28660, Spain

    Asunción Gómez-Pérez

  3. , Knowledge Media Institute, The Open University, Milton Keynes, MK76AA, United Kingdom

    Enrico Motta

  4. Via Nomentana 56, Rome, 00161, Italy

    Aldo Gangemi

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Qi, G., Harth, A. (2012). Reasoning with Networked Ontologies. In: Suárez-Figueroa, M., Gómez-Pérez, A., Motta, E., Gangemi, A. (eds) Ontology Engineering in a Networked World. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24794-1_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24794-1_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24793-4

  • Online ISBN: 978-3-642-24794-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics