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:
How Can Reasoner Performance of ABox Intensive Ontologies Be Predicted? Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Inquiry into RDF and OWL Semantics

verfasst von : Seiji Koide, Hideaki Takeda

Erschienen in: Semantic Technology

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

The purpose of this paper is to present the higher order formalization of RDF and OWL with setting up ontological meta-modeling criteria through the discussion of Russell’s Ramified Type Theory, which was developed in order to solve Russell Paradox appeared at the last stage in the history of set theory. This paper briefly summarize some of set theories, and reviews the RDF and OWL Semantics with higher order classes from the view of Russell’s Principia Mathematica. Then, a set of criteria is proposed for ontological meta-modeling. Several examples of meta-modeling, including sound ones and unsound ones, are discussed and some of solutions are demonstrated according to the meta-modeling criteria proposed.

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 How Can Reasoner Performance of ABox Intensive Ontologies Be Predicted?
Nächstes Kapitel Designing of Ontology for Domain Vocabulary on Agriculture Activity Ontology (AAO) and a Lesson Learned
Fußnoten
2
A class notion in set theories is different from one in ontology descriptions.
 
3
The universe of natural numbers is factually defined as sets of sets that include the empty set as number zero and powersets of sets as number successors.
 
4
In the letter, it is stated that “The system \(\varOmega \) of all numbers is an inconsistent, absolutely infinite multiplicity.”
 
5
Exactly, Russell pointed the paradox in the expression of functions rather than sets, in the letter to Frege (van Heijenoort 1967).
 
6
For example, in Haskell, \([x\uparrow 2\mid x\leftarrow [1..5]]\) produces [1, 4, 9, 16, 25]. (Hutton 2007).
 
7
The set theory in NBG for individuals and sets can be regarded as a sort of first order logic, and then classes can be regarded as first order. However, RDFS can be regarded as much higher order logic as shown at Sect. 3.
 
8
Predicates are functions that return truth value.
 
9
In this paper ‘\(\uparrow \)’ is used to indicate the type of variable instead of colon that is usually used in type theory, as a colon is confusing with the notation for namespace in the syntax of Semantic Web.
 
10
A question arises in the case of no statements of owl:sameAs and owl:differentFrom for atomic nodes in comparison of two different graphs. We proposed the algorithm named UNA for atomic objects in the non-UNA condition. See the motivation and the detail in Koide and Takeda 2011.
 
11
See the simple interpretation 3 in RDF Semantics (Hayes 2004).
 
Literatur
Aczel, A.D.: The Mystery of the Aleph, Four Walls Eight Windows (2000)
Boolos, G.S.: The Iterative Conception of Set. J. Philosophy 68–8, 215–231 (1971)CrossRef
Bourbaki, N.: Éléments de Mathématique, Chapitres 1 et 2. Hermann (1966)
Cantor, G.: Beiträge zur Begründung der transfiniten Mengenlehre. Mathematische Annalen, Bd.46, S.481-512 (1895). Contributions to the Founding of the Theory of Transfinite Numbers, Dover (1955)
Cantor, G.: Letter to Dedekind (1899) in “From Frege to Gödel A Source Book in Mathematical Logic, 1879–1931”. In: van Heijenoort, J. (ed.). Harvard (1967)
Kamareddine, F., Laan, T., Nederpelt, R.: A Modern Perspective on Type Theory. Kluwer, New York (2004)MATH
Koide, S., Takeda, H.: Common Languages for Web Semantics, Evaluation of Novel Approaches to Software Engineering. In: Communications in Computer and Information Science, vol. 230, pp. 148–162. Springer (2011)
van Heijenoort, J. (ed.): Russell, B.: Letter to Frege (1902) in “From Frege to Gödel A Source Book in Mathematical Logic, 1879–1931”. Harvard (1967)
Whitehead, A.N., Russell, B.: Principia Mathematica, vol. 1. Merchant Books (1910)
Graham, S.: Re-examining Russell’s paralysis: ramified type-theory and Wittgenstein’s objection to Russell’s theory of judgment. J. Bertrand Russell Stud. 23, 5–26 (2003)
Tarski, A.: Introduction to Logic. Dover (1946/1995). This book is an extended edition of the book title “On Mathematical Logic and Deductive Method,” appeared at 1936 in Polish and 1937 in German
Metadaten
Titel
Inquiry into RDF and OWL Semantics
verfasst von
Seiji Koide
Hideaki Takeda
Copyright-Jahr
2016
Buch
Semantic Technology

Print ISBN: 978-3-319-50111-6

Electronic ISBN: 978-3-319-50112-3

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-50112-3_2

Neuer Inhalt

    Bildnachweise