English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  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

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-222D-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-6989-D
Genre: Conference Paper

Files

show Files
hide Files
:
suchanekB06.pdf (Any fulltext), 106KB
 
File Permalink:
-
Name:
suchanekB06.pdf
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Baumgartner, Peter1, Author           
Suchanek, Fabian M.2, Author           
Alferes, José Júlio, Editor
Bailey, James, Editor
May, Wolfgang, Editor
Schwertel, Uta, Editor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
2Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018              

Content

show
hide
Free keywords: -
 Abstract: 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

show
hide
Language(s): eng - English
 Dates: 2006
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 314599
Other: Local-ID: C1256DBF005F876D-D19882B955A8FC09C125718C0032B348-SuchanekB06
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Budva, Montenegro
Start-/End Date: 2006-06-10

Legal Case

show

Project information

show

Source 1

show
hide
Title: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 18 - 32 Identifier: ISBN: 3-540-39586-5

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 4187 Sequence Number: - Start / End Page: - Identifier: -