Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956003779> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2956003779 endingPage "1725" @default.
- W2956003779 startingPage "1719" @default.
- W2956003779 abstract "We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles. We show tight 2EXPTIME upper bounds for unrestricted entailment of regular path queries for both extensions and finite entailment of positive existential queries for nominals. For inverses, we establish 2EXPTIME-completeness for unrestricted and finite entailment of instance queries (the latter under restriction to a single, transitive role)." @default.
- W2956003779 created "2019-07-12" @default.
- W2956003779 creator A5004455641 @default.
- W2956003779 creator A5004654520 @default.
- W2956003779 creator A5037986297 @default.
- W2956003779 creator A5060245641 @default.
- W2956003779 creator A5089747786 @default.
- W2956003779 date "2019-01-01" @default.
- W2956003779 modified "2023-10-17" @default.
- W2956003779 title "On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles" @default.
- W2956003779 cites W1483388050 @default.
- W2956003779 cites W1491404282 @default.
- W2956003779 cites W1523809939 @default.
- W2956003779 cites W1525403130 @default.
- W2956003779 cites W1575763757 @default.
- W2956003779 cites W2092103258 @default.
- W2956003779 cites W2180769159 @default.
- W2956003779 cites W2572769649 @default.
- W2956003779 cites W2905199121 @default.
- W2956003779 cites W2953274432 @default.
- W2956003779 cites W3105715528 @default.
- W2956003779 hasPublicationYear "2019" @default.
- W2956003779 type Work @default.
- W2956003779 sameAs 2956003779 @default.
- W2956003779 citedByCount "1" @default.
- W2956003779 countsByYear W29560037792020 @default.
- W2956003779 crossrefType "journal-article" @default.
- W2956003779 hasAuthorship W2956003779A5004455641 @default.
- W2956003779 hasAuthorship W2956003779A5004654520 @default.
- W2956003779 hasAuthorship W2956003779A5037986297 @default.
- W2956003779 hasAuthorship W2956003779A5060245641 @default.
- W2956003779 hasAuthorship W2956003779A5089747786 @default.
- W2956003779 hasConcept C102993220 @default.
- W2956003779 hasConcept C114614502 @default.
- W2956003779 hasConcept C118615104 @default.
- W2956003779 hasConcept C134306372 @default.
- W2956003779 hasConcept C134752490 @default.
- W2956003779 hasConcept C154945302 @default.
- W2956003779 hasConcept C17231256 @default.
- W2956003779 hasConcept C191399111 @default.
- W2956003779 hasConcept C199360897 @default.
- W2956003779 hasConcept C207467116 @default.
- W2956003779 hasConcept C2524010 @default.
- W2956003779 hasConcept C2777735758 @default.
- W2956003779 hasConcept C33923547 @default.
- W2956003779 hasConcept C41008148 @default.
- W2956003779 hasConcept C80444323 @default.
- W2956003779 hasConceptScore W2956003779C102993220 @default.
- W2956003779 hasConceptScore W2956003779C114614502 @default.
- W2956003779 hasConceptScore W2956003779C118615104 @default.
- W2956003779 hasConceptScore W2956003779C134306372 @default.
- W2956003779 hasConceptScore W2956003779C134752490 @default.
- W2956003779 hasConceptScore W2956003779C154945302 @default.
- W2956003779 hasConceptScore W2956003779C17231256 @default.
- W2956003779 hasConceptScore W2956003779C191399111 @default.
- W2956003779 hasConceptScore W2956003779C199360897 @default.
- W2956003779 hasConceptScore W2956003779C207467116 @default.
- W2956003779 hasConceptScore W2956003779C2524010 @default.
- W2956003779 hasConceptScore W2956003779C2777735758 @default.
- W2956003779 hasConceptScore W2956003779C33923547 @default.
- W2956003779 hasConceptScore W2956003779C41008148 @default.
- W2956003779 hasConceptScore W2956003779C80444323 @default.
- W2956003779 hasLocation W29560037791 @default.
- W2956003779 hasOpenAccess W2956003779 @default.
- W2956003779 hasPrimaryLocation W29560037791 @default.
- W2956003779 hasRelatedWork W126873717 @default.
- W2956003779 hasRelatedWork W134144667 @default.
- W2956003779 hasRelatedWork W1966737172 @default.
- W2956003779 hasRelatedWork W2025535135 @default.
- W2956003779 hasRelatedWork W2073314176 @default.
- W2956003779 hasRelatedWork W2126897484 @default.
- W2956003779 hasRelatedWork W2151452053 @default.
- W2956003779 hasRelatedWork W2246583867 @default.
- W2956003779 hasRelatedWork W2605118152 @default.
- W2956003779 hasRelatedWork W2791573054 @default.
- W2956003779 hasRelatedWork W2798961084 @default.
- W2956003779 hasRelatedWork W2891863042 @default.
- W2956003779 hasRelatedWork W2963301870 @default.
- W2956003779 hasRelatedWork W3020532926 @default.
- W2956003779 hasRelatedWork W3039939528 @default.
- W2956003779 hasRelatedWork W3093547192 @default.
- W2956003779 hasRelatedWork W3099593821 @default.
- W2956003779 hasRelatedWork W3183368753 @default.
- W2956003779 hasRelatedWork W52360167 @default.
- W2956003779 hasRelatedWork W66176321 @default.
- W2956003779 isParatext "false" @default.
- W2956003779 isRetracted "false" @default.
- W2956003779 magId "2956003779" @default.
- W2956003779 workType "article" @default.