Matches in SemOpenAlex for { <https://semopenalex.org/work/W1482579968> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1482579968 endingPage "306" @default.
- W1482579968 startingPage "292" @default.
- W1482579968 abstract "We examine the complexity and expressivity of the combination of the Description Logic ALCQI with a terminological formalism based on cardinality restrictions on concepts. This combination can naturally be embedded into C^2, the two variable fragment of predicate logic with counting quantifiers. We prove that ALCQI has the same complexity as C^2 but does not reach its expressive power." @default.
- W1482579968 created "2016-06-24" @default.
- W1482579968 creator A5090867745 @default.
- W1482579968 date "1999-01-01" @default.
- W1482579968 modified "2023-09-26" @default.
- W1482579968 title "A NExpTime-Complete Description Logic Strictly Contained in C 2" @default.
- W1482579968 cites W1491431007 @default.
- W1482579968 cites W1504009391 @default.
- W1482579968 cites W1549008998 @default.
- W1482579968 cites W1601383106 @default.
- W1482579968 cites W1970672740 @default.
- W1482579968 cites W1980794674 @default.
- W1482579968 cites W1982939827 @default.
- W1482579968 cites W1995656639 @default.
- W1482579968 cites W1998044200 @default.
- W1482579968 cites W2000288666 @default.
- W1482579968 cites W2017025480 @default.
- W1482579968 cites W2054800543 @default.
- W1482579968 cites W2087882226 @default.
- W1482579968 cites W2145465694 @default.
- W1482579968 doi "https://doi.org/10.1007/3-540-48168-0_21" @default.
- W1482579968 hasPublicationYear "1999" @default.
- W1482579968 type Work @default.
- W1482579968 sameAs 1482579968 @default.
- W1482579968 citedByCount "6" @default.
- W1482579968 countsByYear W14825799682022 @default.
- W1482579968 crossrefType "book-chapter" @default.
- W1482579968 hasAuthorship W1482579968A5090867745 @default.
- W1482579968 hasBestOaLocation W14825799682 @default.
- W1482579968 hasConcept C102993220 @default.
- W1482579968 hasConcept C110039528 @default.
- W1482579968 hasConcept C11413529 @default.
- W1482579968 hasConcept C118615104 @default.
- W1482579968 hasConcept C124101348 @default.
- W1482579968 hasConcept C140146324 @default.
- W1482579968 hasConcept C142362112 @default.
- W1482579968 hasConcept C153349607 @default.
- W1482579968 hasConcept C195818886 @default.
- W1482579968 hasConcept C19689857 @default.
- W1482579968 hasConcept C199360897 @default.
- W1482579968 hasConcept C203659156 @default.
- W1482579968 hasConcept C33923547 @default.
- W1482579968 hasConcept C41008148 @default.
- W1482579968 hasConcept C558565934 @default.
- W1482579968 hasConcept C73301696 @default.
- W1482579968 hasConcept C73314972 @default.
- W1482579968 hasConcept C80444323 @default.
- W1482579968 hasConcept C87117476 @default.
- W1482579968 hasConceptScore W1482579968C102993220 @default.
- W1482579968 hasConceptScore W1482579968C110039528 @default.
- W1482579968 hasConceptScore W1482579968C11413529 @default.
- W1482579968 hasConceptScore W1482579968C118615104 @default.
- W1482579968 hasConceptScore W1482579968C124101348 @default.
- W1482579968 hasConceptScore W1482579968C140146324 @default.
- W1482579968 hasConceptScore W1482579968C142362112 @default.
- W1482579968 hasConceptScore W1482579968C153349607 @default.
- W1482579968 hasConceptScore W1482579968C195818886 @default.
- W1482579968 hasConceptScore W1482579968C19689857 @default.
- W1482579968 hasConceptScore W1482579968C199360897 @default.
- W1482579968 hasConceptScore W1482579968C203659156 @default.
- W1482579968 hasConceptScore W1482579968C33923547 @default.
- W1482579968 hasConceptScore W1482579968C41008148 @default.
- W1482579968 hasConceptScore W1482579968C558565934 @default.
- W1482579968 hasConceptScore W1482579968C73301696 @default.
- W1482579968 hasConceptScore W1482579968C73314972 @default.
- W1482579968 hasConceptScore W1482579968C80444323 @default.
- W1482579968 hasConceptScore W1482579968C87117476 @default.
- W1482579968 hasLocation W14825799681 @default.
- W1482579968 hasLocation W14825799682 @default.
- W1482579968 hasOpenAccess W1482579968 @default.
- W1482579968 hasPrimaryLocation W14825799681 @default.
- W1482579968 hasRelatedWork W1489977858 @default.
- W1482579968 hasRelatedWork W1531928849 @default.
- W1482579968 hasRelatedWork W1549008998 @default.
- W1482579968 hasRelatedWork W1557853831 @default.
- W1482579968 hasRelatedWork W1561657987 @default.
- W1482579968 hasRelatedWork W1574866167 @default.
- W1482579968 hasRelatedWork W1595141720 @default.
- W1482579968 hasRelatedWork W1760022664 @default.
- W1482579968 hasRelatedWork W1982081755 @default.
- W1482579968 hasRelatedWork W1985872645 @default.
- W1482579968 hasRelatedWork W2045427198 @default.
- W1482579968 hasRelatedWork W2084130127 @default.
- W1482579968 hasRelatedWork W2135163511 @default.
- W1482579968 hasRelatedWork W2145465694 @default.
- W1482579968 hasRelatedWork W2155627592 @default.
- W1482579968 hasRelatedWork W2809904645 @default.
- W1482579968 hasRelatedWork W3020987166 @default.
- W1482579968 hasRelatedWork W3022684919 @default.
- W1482579968 hasRelatedWork W3023058275 @default.
- W1482579968 hasRelatedWork W3023408198 @default.
- W1482579968 isParatext "false" @default.
- W1482579968 isRetracted "false" @default.
- W1482579968 magId "1482579968" @default.
- W1482579968 workType "book-chapter" @default.