FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110126675> ?p ?o ?g. }

• W2110126675 endingPage "428" @default.
• W2110126675 startingPage "387" @default.
• W2110126675 abstract "Grammar logics were introduced by Farinas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse (REG c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which various optimization techniques can be applied. We also prove a new result that the data complexity of the instance checking problem in REG c logics is coNP-complete." @default.
• W2110126675 created "2016-06-24" @default.
• W2110126675 creator A5007619026 @default.
• W2110126675 creator A5055424683 @default.
• W2110126675 date "2011-08-01" @default.
• W2110126675 modified "2023-09-25" @default.
• W2110126675 title "ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse" @default.
• W2110126675 cites W1483339275 @default.
• W2110126675 cites W1570374618 @default.
• W2110126675 cites W1577629161 @default.
• W2110126675 cites W1585071008 @default.
• W2110126675 cites W1970040536 @default.
• W2110126675 cites W1997716585 @default.
• W2110126675 cites W2043010480 @default.
• W2110126675 cites W2047824808 @default.
• W2110126675 cites W2062485819 @default.
• W2110126675 cites W2079544076 @default.
• W2110126675 cites W2082313938 @default.
• W2110126675 cites W2087882226 @default.
• W2110126675 cites W2117223386 @default.
• W2110126675 cites W2119478850 @default.
• W2110126675 cites W2126755595 @default.
• W2110126675 cites W2170077473 @default.
• W2110126675 cites W2337512840 @default.
• W2110126675 cites W4239007999 @default.
• W2110126675 cites W58761133 @default.
• W2110126675 doi "https://doi.org/10.1007/s11225-011-9341-3" @default.
• W2110126675 hasPublicationYear "2011" @default.
• W2110126675 type Work @default.
• W2110126675 sameAs 2110126675 @default.
• W2110126675 citedByCount "18" @default.
• W2110126675 countsByYear W21101266752012 @default.
• W2110126675 countsByYear W21101266752014 @default.
• W2110126675 countsByYear W21101266752015 @default.
• W2110126675 countsByYear W21101266752016 @default.
• W2110126675 countsByYear W21101266752020 @default.
• W2110126675 countsByYear W21101266752021 @default.
• W2110126675 countsByYear W21101266752022 @default.
• W2110126675 crossrefType "journal-article" @default.
• W2110126675 hasAuthorship W2110126675A5007619026 @default.
• W2110126675 hasAuthorship W2110126675A5055424683 @default.
• W2110126675 hasBestOaLocation W21101266752 @default.
• W2110126675 hasConcept C102993220 @default.
• W2110126675 hasConcept C11413529 @default.
• W2110126675 hasConcept C115988155 @default.
• W2110126675 hasConcept C118615104 @default.
• W2110126675 hasConcept C154945302 @default.
• W2110126675 hasConcept C168773769 @default.
• W2110126675 hasConcept C179799912 @default.
• W2110126675 hasConcept C197685441 @default.
• W2110126675 hasConcept C2524010 @default.
• W2110126675 hasConcept C2776436953 @default.
• W2110126675 hasConcept C2776809875 @default.
• W2110126675 hasConcept C33923547 @default.
• W2110126675 hasConcept C41008148 @default.
• W2110126675 hasConcept C42011625 @default.
• W2110126675 hasConcept C5263885 @default.
• W2110126675 hasConcept C56049555 @default.
• W2110126675 hasConcept C58166 @default.
• W2110126675 hasConcept C6943359 @default.
• W2110126675 hasConcept C80444323 @default.
• W2110126675 hasConcept C86602344 @default.
• W2110126675 hasConceptScore W2110126675C102993220 @default.
• W2110126675 hasConceptScore W2110126675C11413529 @default.
• W2110126675 hasConceptScore W2110126675C115988155 @default.
• W2110126675 hasConceptScore W2110126675C118615104 @default.
• W2110126675 hasConceptScore W2110126675C154945302 @default.
• W2110126675 hasConceptScore W2110126675C168773769 @default.
• W2110126675 hasConceptScore W2110126675C179799912 @default.
• W2110126675 hasConceptScore W2110126675C197685441 @default.
• W2110126675 hasConceptScore W2110126675C2524010 @default.
• W2110126675 hasConceptScore W2110126675C2776436953 @default.
• W2110126675 hasConceptScore W2110126675C2776809875 @default.
• W2110126675 hasConceptScore W2110126675C33923547 @default.
• W2110126675 hasConceptScore W2110126675C41008148 @default.
• W2110126675 hasConceptScore W2110126675C42011625 @default.
• W2110126675 hasConceptScore W2110126675C5263885 @default.
• W2110126675 hasConceptScore W2110126675C56049555 @default.
• W2110126675 hasConceptScore W2110126675C58166 @default.
• W2110126675 hasConceptScore W2110126675C6943359 @default.
• W2110126675 hasConceptScore W2110126675C80444323 @default.
• W2110126675 hasConceptScore W2110126675C86602344 @default.
• W2110126675 hasIssue "3" @default.
• W2110126675 hasLocation W21101266751 @default.
• W2110126675 hasLocation W21101266752 @default.
• W2110126675 hasOpenAccess W2110126675 @default.
• W2110126675 hasPrimaryLocation W21101266751 @default.
• W2110126675 hasRelatedWork W1496058835 @default.
• W2110126675 hasRelatedWork W1530399390 @default.
• W2110126675 hasRelatedWork W1536015803 @default.
• W2110126675 hasRelatedWork W1536132061 @default.
• W2110126675 hasRelatedWork W1580772169 @default.
• W2110126675 hasRelatedWork W1678959094 @default.
• W2110126675 hasRelatedWork W1970040536 @default.
• W2110126675 hasRelatedWork W1997716585 @default.
• W2110126675 hasRelatedWork W2041580396 @default.
• W2110126675 hasRelatedWork W2047824808 @default.
• W2110126675 hasRelatedWork W2082313938 @default.

• next