Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Automated Reasoning Support for First Order Ontologies

Baumgartner, P., & Suchanek, F. M. (2006). Automated Reasoning Support for First Order Ontologies. In Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006 (pp. 18-32). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-222D-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-6989-D
Genre: Konferenzbeitrag

Dateien

einblenden: Dateien
ausblenden: Dateien
:
suchanekB06.pdf (beliebiger Volltext), 106KB
 
Datei-Permalink:
-
Name:
suchanekB06.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Baumgartner, Peter1, Autor           
Suchanek, Fabian M.2, Autor           
Alferes, José Júlio, Herausgeber
Bailey, James, Herausgeber
May, Wolfgang, Herausgeber
Schwertel, Uta, Herausgeber
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
2Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Formal ontologies play an increasingly important role in demanding knowledge representation applications like the Semantic Web. Regarding automated reasoning support, the mainstream of research focusses on ontology languages that are also Description Logics, such as OWL-DL. However, many existing ontologies go beyond Description Logics and use full first-order logic. We propose a novel transformation technique that allows to apply existing model computation systems in such situations. We describe the transformation and some variants, its properties and intended applications to ontological reasoning.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2006
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 314599
Anderer: Local-ID: C1256DBF005F876D-D19882B955A8FC09C125718C0032B348-SuchanekB06
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Budva, Montenegro
Start-/Enddatum: 2006-06-10

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 18 - 32 Identifikator: ISBN: 3-540-39586-5

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 4187 Artikelnummer: - Start- / Endseite: - Identifikator: -