Matches in SemOpenAlex for { <https://semopenalex.org/work/W82566712> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W82566712 endingPage "279" @default.
- W82566712 startingPage "264" @default.
- W82566712 abstract "The Semantic Web makes an extensive use of the OWL DL ontology language, underlied by the $mathcal{SHOIQ}$ description logic, to formalize its resources. In this paper, we propose a decision procedure for this logic extended with the transitive closure of roles in concept axioms, a feature needed in several application domains. The most challenging issue we have to deal with when designing such a decision procedure is to represent infinitely non-tree-shaped models, which are different from those of $mathcal{SHOIQ}$ ontologies. To address this issue, we introduce a new blocking condition for characterizing models which may have an infinite non-tree-shaped part." @default.
- W82566712 created "2016-06-24" @default.
- W82566712 creator A5047175249 @default.
- W82566712 creator A5072109675 @default.
- W82566712 creator A5090723381 @default.
- W82566712 date "2013-01-01" @default.
- W82566712 modified "2023-09-23" @default.
- W82566712 title "A Decision Procedure for $mathcal{SHOIQ}$ with Transitive Closure of Roles" @default.
- W82566712 cites W1809072088 @default.
- W82566712 cites W1978912716 @default.
- W82566712 cites W1982030536 @default.
- W82566712 cites W1997817571 @default.
- W82566712 cites W2105775150 @default.
- W82566712 cites W3099593821 @default.
- W82566712 cites W3101974058 @default.
- W82566712 cites W82566712 @default.
- W82566712 doi "https://doi.org/10.1007/978-3-642-41335-3_17" @default.
- W82566712 hasPublicationYear "2013" @default.
- W82566712 type Work @default.
- W82566712 sameAs 82566712 @default.
- W82566712 citedByCount "3" @default.
- W82566712 countsByYear W825667122013 @default.
- W82566712 countsByYear W825667122015 @default.
- W82566712 crossrefType "book-chapter" @default.
- W82566712 hasAuthorship W82566712A5047175249 @default.
- W82566712 hasAuthorship W82566712A5072109675 @default.
- W82566712 hasAuthorship W82566712A5090723381 @default.
- W82566712 hasBestOaLocation W825667121 @default.
- W82566712 hasConcept C101230327 @default.
- W82566712 hasConcept C102993220 @default.
- W82566712 hasConcept C111472728 @default.
- W82566712 hasConcept C113174947 @default.
- W82566712 hasConcept C114614502 @default.
- W82566712 hasConcept C118615104 @default.
- W82566712 hasConcept C128896722 @default.
- W82566712 hasConcept C138885662 @default.
- W82566712 hasConcept C146834321 @default.
- W82566712 hasConcept C154945302 @default.
- W82566712 hasConcept C162324750 @default.
- W82566712 hasConcept C167729594 @default.
- W82566712 hasConcept C191399111 @default.
- W82566712 hasConcept C2129575 @default.
- W82566712 hasConcept C2524010 @default.
- W82566712 hasConcept C25810664 @default.
- W82566712 hasConcept C2776401178 @default.
- W82566712 hasConcept C33923547 @default.
- W82566712 hasConcept C34447519 @default.
- W82566712 hasConcept C41008148 @default.
- W82566712 hasConcept C41895202 @default.
- W82566712 hasConcept C61673122 @default.
- W82566712 hasConcept C80444323 @default.
- W82566712 hasConceptScore W82566712C101230327 @default.
- W82566712 hasConceptScore W82566712C102993220 @default.
- W82566712 hasConceptScore W82566712C111472728 @default.
- W82566712 hasConceptScore W82566712C113174947 @default.
- W82566712 hasConceptScore W82566712C114614502 @default.
- W82566712 hasConceptScore W82566712C118615104 @default.
- W82566712 hasConceptScore W82566712C128896722 @default.
- W82566712 hasConceptScore W82566712C138885662 @default.
- W82566712 hasConceptScore W82566712C146834321 @default.
- W82566712 hasConceptScore W82566712C154945302 @default.
- W82566712 hasConceptScore W82566712C162324750 @default.
- W82566712 hasConceptScore W82566712C167729594 @default.
- W82566712 hasConceptScore W82566712C191399111 @default.
- W82566712 hasConceptScore W82566712C2129575 @default.
- W82566712 hasConceptScore W82566712C2524010 @default.
- W82566712 hasConceptScore W82566712C25810664 @default.
- W82566712 hasConceptScore W82566712C2776401178 @default.
- W82566712 hasConceptScore W82566712C33923547 @default.
- W82566712 hasConceptScore W82566712C34447519 @default.
- W82566712 hasConceptScore W82566712C41008148 @default.
- W82566712 hasConceptScore W82566712C41895202 @default.
- W82566712 hasConceptScore W82566712C61673122 @default.
- W82566712 hasConceptScore W82566712C80444323 @default.
- W82566712 hasLocation W825667121 @default.
- W82566712 hasLocation W825667122 @default.
- W82566712 hasLocation W825667123 @default.
- W82566712 hasOpenAccess W82566712 @default.
- W82566712 hasPrimaryLocation W825667121 @default.
- W82566712 hasRelatedWork W100862262 @default.
- W82566712 hasRelatedWork W129914909 @default.
- W82566712 hasRelatedWork W1537126384 @default.
- W82566712 hasRelatedWork W1546821488 @default.
- W82566712 hasRelatedWork W2000282981 @default.
- W82566712 hasRelatedWork W2274674474 @default.
- W82566712 hasRelatedWork W2370836279 @default.
- W82566712 hasRelatedWork W2747747587 @default.
- W82566712 hasRelatedWork W4234046996 @default.
- W82566712 hasRelatedWork W82566712 @default.
- W82566712 isParatext "false" @default.
- W82566712 isRetracted "false" @default.
- W82566712 magId "82566712" @default.
- W82566712 workType "book-chapter" @default.