English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse
  1. Search Results / 
  2. View item

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
 PreviousNext  
  A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment

Kazakov, Y. (2004). A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. In Logics in artificial intelligence: 9th European Conference, JELIA 2004 (pp. 372-384). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2A28-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2A2A-2
Genre: Conference Paper

Files

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

Locators

show

Creators

show
hide
 Creators:
Kazakov, Yevgeny1, Author           
Alferes, José Júlio, Editor
Leite, João, Editor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: We consider a two-variable guarded fragment with number restrictions for binary relations and give a satisfiability preserving transformation of formulas in this fragment to the three-variable guarded fragment. The translation can be computed in polynomial time and produces a formula that is linear in the size of the initial formula even for the binary coding of number restrictions. This allows one to reduce reasoning problems for many description logics to the satisfiability problem for the guarded fragment.

Details

show
hide
Language(s): eng - English
 Dates: 2005-02-022004
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 231997
Other: Local-ID: C1256104005ECAFC-3E0C7DF49217CA81C1256EE20080EDAC-Kazakov04GF2N
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Lisbon, Portugal
Start-/End Date: 2004-09-27

Legal Case

show

Project information

show

Source 1

show
hide
Title: Logics in artificial intelligence : 9th European Conference, JELIA 2004
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 372 - 384 Identifier: ISBN: 3-540-23242-7

Source 2

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