Matches in SemOpenAlex for { <https://semopenalex.org/work/W47162568> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W47162568 abstract "Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simple schemas with well-typed references and showing that such schemas, called normalized ref-schemas, are expressible as formulas of Hybrid Modal Logic. The aim of the present paper is to extend normalized ref-schemas in order to allow one for general regular expressions and provide a fully general notion of schema capturing well-typed references, called ref-schemas. The main contribution of the paper is to show that ref-schemas are still expressible in Hybrid Modal Logic which entails that tools like for instance the tableau system developed in [9] can be used in order to check for constraint satisfiability in presence of refschemas." @default.
- W47162568 created "2016-06-24" @default.
- W47162568 creator A5076537916 @default.
- W47162568 creator A5087371035 @default.
- W47162568 date "2006-01-01" @default.
- W47162568 modified "2023-09-26" @default.
- W47162568 title "Capturing well typed references in DTDs." @default.
- W47162568 cites W1483339275 @default.
- W47162568 cites W1536883094 @default.
- W47162568 cites W1552580535 @default.
- W47162568 cites W167374411 @default.
- W47162568 cites W1678486145 @default.
- W47162568 cites W1699388987 @default.
- W47162568 cites W1841138871 @default.
- W47162568 cites W1981700262 @default.
- W47162568 cites W2052882335 @default.
- W47162568 cites W2053455078 @default.
- W47162568 cites W2056363900 @default.
- W47162568 cites W2066575439 @default.
- W47162568 cites W2068458083 @default.
- W47162568 cites W2075994573 @default.
- W47162568 cites W2087882226 @default.
- W47162568 cites W2092576830 @default.
- W47162568 cites W2105748890 @default.
- W47162568 cites W2117789898 @default.
- W47162568 cites W2153838820 @default.
- W47162568 cites W2170352409 @default.
- W47162568 cites W2174576875 @default.
- W47162568 cites W2406993478 @default.
- W47162568 cites W2580087134 @default.
- W47162568 cites W261652732 @default.
- W47162568 cites W2670189140 @default.
- W47162568 cites W2914098457 @default.
- W47162568 hasPublicationYear "2006" @default.
- W47162568 type Work @default.
- W47162568 sameAs 47162568 @default.
- W47162568 citedByCount "0" @default.
- W47162568 crossrefType "journal-article" @default.
- W47162568 hasAuthorship W47162568A5076537916 @default.
- W47162568 hasAuthorship W47162568A5087371035 @default.
- W47162568 hasConcept C168773769 @default.
- W47162568 hasConcept C185592680 @default.
- W47162568 hasConcept C188027245 @default.
- W47162568 hasConcept C199360897 @default.
- W47162568 hasConcept C23123220 @default.
- W47162568 hasConcept C41008148 @default.
- W47162568 hasConcept C52146309 @default.
- W47162568 hasConcept C71139939 @default.
- W47162568 hasConcept C80444323 @default.
- W47162568 hasConceptScore W47162568C168773769 @default.
- W47162568 hasConceptScore W47162568C185592680 @default.
- W47162568 hasConceptScore W47162568C188027245 @default.
- W47162568 hasConceptScore W47162568C199360897 @default.
- W47162568 hasConceptScore W47162568C23123220 @default.
- W47162568 hasConceptScore W47162568C41008148 @default.
- W47162568 hasConceptScore W47162568C52146309 @default.
- W47162568 hasConceptScore W47162568C71139939 @default.
- W47162568 hasConceptScore W47162568C80444323 @default.
- W47162568 hasLocation W471625681 @default.
- W47162568 hasOpenAccess W47162568 @default.
- W47162568 hasPrimaryLocation W471625681 @default.
- W47162568 hasRelatedWork W1482220696 @default.
- W47162568 hasRelatedWork W1496931240 @default.
- W47162568 hasRelatedWork W1503691113 @default.
- W47162568 hasRelatedWork W1960206217 @default.
- W47162568 hasRelatedWork W1966823117 @default.
- W47162568 hasRelatedWork W1981870753 @default.
- W47162568 hasRelatedWork W1991221934 @default.
- W47162568 hasRelatedWork W1994386631 @default.
- W47162568 hasRelatedWork W2008505522 @default.
- W47162568 hasRelatedWork W2061277064 @default.
- W47162568 hasRelatedWork W2116192173 @default.
- W47162568 hasRelatedWork W2119170565 @default.
- W47162568 hasRelatedWork W2121937383 @default.
- W47162568 hasRelatedWork W2125255304 @default.
- W47162568 hasRelatedWork W2131299923 @default.
- W47162568 hasRelatedWork W2334529288 @default.
- W47162568 hasRelatedWork W2350409020 @default.
- W47162568 hasRelatedWork W2376675693 @default.
- W47162568 hasRelatedWork W2950180652 @default.
- W47162568 hasRelatedWork W52357592 @default.
- W47162568 isParatext "false" @default.
- W47162568 isRetracted "false" @default.
- W47162568 magId "47162568" @default.
- W47162568 workType "article" @default.