Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction: Ontology Engineering in a Networked World Kapitel lesen Erstes Kapitel lesen

2012 | OriginalPaper | Buchkapitel

17. Reasoning with Networked Ontologies

verfasst von : Guilin Qi, Andreas Harth

Erschienen in: Ontology Engineering in a Networked World

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Visualizing and Navigating Ontologies with KC-Viz
Nächstes Kapitel Knowledge Management at FAO: A Case Study on Network of Ontologies in Fisheries
Fußnoten
Literatur
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
Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2003) The description logic handbook: theory, implementation and application. Cambridge University Press, Cambridge
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 CrossRef
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
Borgida A, Serafini L (2003) Distributed description logics: assimilating information from peer sources. J Data Semant 1:153–184CrossRef
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
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
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
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
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
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
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
Kalyanpur A, Parsia B, Sirin E, Hendler J (2005) Debugging unsatisfiable classes in OWL ontologies. J Web Semant 3(4):268–293CrossRef
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
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
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
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
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
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
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
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
Minsky M (1974) A framework for representing knowledge. Massachusetts Institute of Technology, Cambridge
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
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
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
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
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
Schlobach S, Huang Z, Cornet R, van Harmelen F (2007) Debugging incoherent terminologies. J Autom Reason 39(3):317–349MATHCrossRef
Schmidt-Schau M, Smolka G (1991) Attributive concept descriptions with complements. Artif Intell 48(1):1–26CrossRef
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
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
Metadaten
Titel
Reasoning with Networked Ontologies
verfasst von
Guilin Qi
Andreas Harth
Copyright-Jahr
2012
Verlag
Springer Berlin Heidelberg
Buch
Ontology Engineering in a Networked World

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

Electronic ISBN: 978-3-642-24794-1

Copyright-Jahr: 2012

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