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 to the Semantic Web Technologies Kapitel lesen Erstes Kapitel lesen

2011 | OriginalPaper | Buchkapitel

9. KR and Reasoning on the Semantic Web: OWL

verfasst von : Ian Horrocks, Peter F. Patel-Schneider

Erschienen in: Handbook of Semantic Web Technologies

Verlag: Springer Berlin Heidelberg

Einloggen

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

search-config
loading …

Abstract

OWL is the ontology language recommended by the W3C. OWL is heavily based on the knowledge representation languages called Description Logic, which provide the basic representation features of OWL. OWL also includes facilities that integrate it into the mainstream of the Web, including use of Internationalized Resource Identifiers (IRIs) as names, XML Schema datatypes, and ontologies as Web documents, which can then import other OWL ontologies over the Web. Because OWL is based on Description Logics, its constructs have a well-denned meaning and there are tools that effectively perform inference within OWL, enabling the discovery of information that is not explicitly stated in OWL ontologies.

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 Querying the Semantic Web: SPARQL
Nächstes Kapitel KR and Reasoning on the Semantic Web: RIF
Literatur
1.
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)MATH
2.
Baader, F., Hanschke, P.: A schema for integrating concrete domains into concept languages. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), Sidney, pp. 452–457 (1991)
3.
Baader, F., Hollunder, B.: KRIS: Knowledge Representation and Inference System. SIGART Bull. 2(3), 8–14 (1991)CrossRef
4.
Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL – a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) Proceedings of the Third International Joint Conferences on Automated Reasoning (IJCAR 2006), Seattle. Lecture Notes in Artificial Intelligence, vol. 4130, pp. 287–291. Springer, Berlin (2006).
5.
Batini, C., Lenzerini, M., Navathe, S.B.: A comparative analysis of methodologies for database schema integration. ACM Comput. Surv. 18(4), 323–364 (1986)CrossRef
6.
7.
Bechhofer, S., Horrocks, I., Goble, C., Stevens, R.: OilEd: a reason-able ontology editor for the semantic web. In: Proceedings of the Joint German/Austrian Conferences on Artificial Intelligence (KI 2001), Vienna. Lecture Notes in Artificial Intelligence, vol. 2174, pp. 396–408. Springer, Berlin (2001)
8.
9.
10.
Brachman, R.J.: A structural paradigm for representing knowledge. Ph.D. thesis, Harvard University, Cambridge (1977). Revised version published as BBN Report No. 3605. Bolt Beranek and Newman, Cambridge (1978)
11.
Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cogn. Sci. 9(2), 171–216 (1985)CrossRef
12.
Bresciani, P., Franconi, E., Tessaris, S.: Implementing and testing expressive description logics: preliminary report. In: Proceedings of the 1995 Description Logic Workshop (DL 1995), Rome, pp. 131–139 (1995)
13.
Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAF 1999), Stockholm, pp. 84–89 (1999)
14.
Cornet, R., Spackman, K.A. (eds.): Proceedings of the Third International Conference on Knowledge Representation in Medicine (KR-MED 2008), Phoenix. CEUR, vol. 410. CEUR-WS.org (2008)
15.
Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proceedings of the 16th International World Wide Web Conference (WWW 2007), Banff (2007)
16.
Cuenca Grau, B., Kazakov, Y., Horrocks, I., Sattler, U.: A logical framework for modular integration of ontologies. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, pp. 298–303 (2007)
17.
Fensel, D., van Harmelen, F., Horrocks, I., McGuinness, D., Patel-Schneider, P.F.: OIL: an ontology infrastructure for the semantic web. IEEE Intell. Syst. 16(2), 38–45 (2001)CrossRef
18.
Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, pp. 399–404 (2007)
19.
Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: experience and perspectives. J. Web Semant. 4(3), 181–195 (2006)CrossRef
20.
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International World Wide Web Conference (WWW 2003), Budapest, pp. 48–57. ACM, New York (2003)
21.
Grosso, W.E., Eriksson, H., Fergerson, R.W., Gennari, J.H., Tu, S.W., Musen, M.A.: Knowledge modelling at the millennium (the design and evolution of Protege-2000). In: Proceedings of the 12th Workshop on Knowledge Acquisition, Modeling and Management (KAW 1999), Banff (1999)
22.
Haarslev, V., MoUer, R.: RACER system description. In: Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001), Siena. Lecture Notes in Artificial Intelligence, vol. 2083, pp. 701–705. Springer, Berlin (2001)
23.
Hartel, F.W., de Coronado, S., Dionne, R., Fragoso, G., Golbeck, J.: Modeling a description logic vocabulary for cancer research. J. Biomed. Inform. 38(2), 114–129 (2005)CrossRef
24.
25.
Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 touch paper: the OWL API. In: Proceedings of the Third OWL Experiences and Directions Workshop (OWLED 2007), Innsbruck. CEUR, vol. 258. http://​ceur-ws.​org/​ (2007)
26.
Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.: The Manchester OWL syntax. In: Proceedings of the Second OWL Experiences and Directions Workshop (OWLED 2006), Athens. CEUR, vol. 216. http://​ceur-ws.​ org/​ (2006)
27.
Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Trento, pp. 636–647 (1998)
28.
Horrocks, I., Fensel, D., Broekstra, J., Decker, S., Erdmann, M., Goble, C., van Harmelen, F., Klein, M., Staab, S., Studer, R., Motta, E.: OIL: the ontology inference layer. Technical report IR-479. Faculty of Sciences, Vrije Universiteit Amsterdam. http://​www.​ontoknowledge.​org/​oil/​(2000)
29.
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, pp. 57–67. AAAI Press, Menlo Park (2006)
30.
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semant. 1(1), 7–26 (2003)CrossRef
31.
Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, pp. 199–204. Morgan Kaufmann, Los Altos (2001)
32.
Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, pp. 448–453 (2005)
33.
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR 1999), Tbilisi. Lecture Notes in Artificial Intelligence, vol. 1705, pp. 161–180. Springer (1999)
34.
Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: SWOOP: a web ontology editing browser. J. Web Semant. 4(2), 144–153 (2006)CrossRef
35.
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. J. Web Semant. 3(4), 243–366 (2005)CrossRef
36.
Kazakov, Y.: Consequence-driven reasoning for horn SHIQ ontologies. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, pp. 2040–2045 (2009)
37.
Kershenbaum, A., Fokoue, A., Patel, C., Welty, C., Schonberg, E., Cimino, J., Ma, L., Srinivas, K., Schloss, R., Murdock, J. W.: A view of OWL from the field: use cases and experiences. In: Proceedings of the Second OWL Experiences and Directions Workshop, Athens. CEUR, vol. 216. http://​ceur-ws.​org/​ (2006)
38.
Knublauch, H., Fergerson, R., Noy, N., Musen, M.: The protege OWL plugin: an open development environment for semantic web applications. In: Mcllraith, S. A., Plexousakis, D., van Harmelen, F. (eds.) Proceedings of the Third International Semantic Web Conference (ISWC 2004), Hiroshima. Lecture Notes in Computer Science, vol. 3298, pp. 229–243. Springer (2004)
39.
Lawley, M.: Exploiting fast classification of SNOMED CT for query and integration of health data. In: Cornet, R., Spackman, K. A. (eds.) Proceedings of the Third International Conference on Knowledge Representation in Medicine (KR-MED 2008), Phoenix. CEUR, vol. 410. CEUR-WS.org (2008)
40.
Levesque, H.J., Brachman, R.J.: Expressiveness and tractability in knowledge representation and reasoning. Comput. Intell. 3, 78–93 (1987)CrossRef
41.
Lutz, C.: Reasoning with concrete domains. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, pp. 90–95 (1999)
42.
Lutz, C.: The complexity of reasoning with concrete domains. Ph.D. thesis, Teaching and Research Area for Theoretical Computer Science, RWTH Aachen (2001)
43.
Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. J. Artif. Intell. Res. 23, 667–726 (2004)MathSciNet
44.
Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic EL using a relational database system. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, pp. 2070–2075 (2009)
45.
46.
Morgan, A.P., Cafeo, J.A., Godden, K., Lesperance, R.M., Simon, A.M., McGuinness, D.L., Benedict, J.L.: The general motors variation-reduction adviser. AI Mag. 26(2) (2005)
47.
Motik, B.: On the properties of metamodeling in OWL. In: Proceedings of the Fourth International Semantic Web Conference (ISWC 2005), Galway. Lecture Notes in Computer Science, vol. 3729, pp. 548–562. Springer (2005)
48.
Motik, B., Cuenca Grau, B., Horrocks, I., Sattler, U.: Representing structured objects using description graphs. In: Proceedings of the 11th Internatinal Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, pp. 296–306 (2008)
49.
Motik, B., Horrocks, I.: OWL datatypes: design and implementation. In: Proceedings of the Seventh International Semantic Web Conference (ISWC 2008), Karlsruhe. Lecture Notes in Computer Science, vol. 5318, pp. 307–322. Springer, Berlin (2008)
50.
Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: Proceedings of the Third International Semantic Web Conference (ISWC 2004), Hiroshima. Lecture Notes in Computer Science, vol. 3298, pp. 549–563. Springer, Berlin (2004)
51.
Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Proceedings of the 21st International Conference on Automated Deduction (CADE-21), Breman. Lecture Notes in Artificial Intelligence, vol. 4603, pp. 67–83. Springer, Berlin (2007)
52.
53.
54.
55.
56.
57.
58.
59.
60.
61.
Patel-Schneider, P.F.: Small can be beautiful in knowledge representation. In: Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, Denver (1984). An extended version appeared as Fairchild Technical Report 660 and FLAIR Technical Report 37
62.
63.
Patel-Schneider, P.F., McGuiness, D.L., Brachman, R.J., Resnick, L.A., Borgida, A.: The CLASSIC knowledge representation system: guiding principles and implementation rational. SIGART Bull. 2(3), 108–113 (1991)CrossRef
64.
65.
Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133–173 (2008)
66.
67.
68.
69.
Robinson, A., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier, Amsterdam (2001)MATH
70.
Sattler, U.: A concept language extended with different kinds of transitive roles. In: Gorz, G., Holldobler, S. (eds.) Proceedings of the 20th German Annual Conference on Artificial Intelligence (KI 1996), Dresden. Lecture Notes in Artificial Intelligence, vol. 1137, pp. 333–345. Springer, Berlin (1996)
71.
Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAF 1991), Sydney, pp. 466–471 (1991)
72.
Schmidt-Schaufi, M.: Subsumption in KL-ONE is undecidable. In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning (KR 1989), Toronto, pp. 421–431. Morgan Kaufmann, Los Altos (1989)
73.
Schmidt-Schaufi, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1–26 (1991)CrossRef
74.
Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)CrossRef
75.
Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with SNOMED-RT. J. Am. Med. Inform. Assoc. (2000). Fall Symposium Special Issue
76.
Spackman, K., Campbell, K., Cote, R.: SNOMED RT: a reference terminology for health care. J. Am. Med. Inf. Assoc. pp. 640–644 (1997). Fall Symposium Supplement
77.
78.
Stevens, R., Baker, P., Bechhofer, S., Ng, G., Jacoby, A., Paton, N.W., Goble, C.A., Brass, A.: TAMBIS: transparent access to multiple bioinformatics information sources. Bioinformatics 16(2), 184–186 (2000)CrossRef
79.
ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Semant. 3(2–3), 79–115 (2005)MathSciNetCrossRef
80.
Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006), Seattle. Lecture Notes in Artificial Intelligence, vol. 4130, pp. 292–297. Springer, Berlin (2006)
Metadaten
Titel
KR and Reasoning on the Semantic Web: OWL
verfasst von
Ian Horrocks
Peter F. Patel-Schneider
Copyright-Jahr
2011
Verlag
Springer Berlin Heidelberg
Buch
Handbook of Semantic Web Technologies

Print ISBN: 978-3-540-92912-3

Electronic ISBN: 978-3-540-92913-0

Copyright-Jahr: 2011

DOI
https://doi.org/10.1007/978-3-540-92913-0_9