Matches in SemOpenAlex for { <https://semopenalex.org/work/W1510481118> ?p ?o ?g. }
- W1510481118 endingPage "148" @default.
- W1510481118 startingPage "105" @default.
- W1510481118 abstract "We present lower bounds on the computational complexity of satisfiability and subsumption in several Description Logics. We interpret these lower bounds as coming from different source, of complexity, which we isolate one by one. We consider both reasoning with simple concept expressions and reasoning with an underlying TBox. We discuss also complexity of instance checking in simple ABoxes. We have tried to enhance clarity and ease of presentation, sometimes sacrificing exhaustiveness for lack of space." @default.
- W1510481118 created "2016-06-24" @default.
- W1510481118 creator A5029757626 @default.
- W1510481118 date "2007-08-09" @default.
- W1510481118 modified "2023-10-14" @default.
- W1510481118 title "Complexity of Reasoning" @default.
- W1510481118 cites W11613232 @default.
- W1510481118 cites W1493915997 @default.
- W1510481118 cites W1494145374 @default.
- W1510481118 cites W1494902711 @default.
- W1510481118 cites W1501554968 @default.
- W1510481118 cites W1503647529 @default.
- W1510481118 cites W1506378440 @default.
- W1510481118 cites W150932629 @default.
- W1510481118 cites W1512310098 @default.
- W1510481118 cites W1512766599 @default.
- W1510481118 cites W1514356467 @default.
- W1510481118 cites W1520142181 @default.
- W1510481118 cites W1536088796 @default.
- W1510481118 cites W1553941590 @default.
- W1510481118 cites W1570481521 @default.
- W1510481118 cites W1575501166 @default.
- W1510481118 cites W1601383106 @default.
- W1510481118 cites W1614615401 @default.
- W1510481118 cites W1636976386 @default.
- W1510481118 cites W188994241 @default.
- W1510481118 cites W189993804 @default.
- W1510481118 cites W1936956611 @default.
- W1510481118 cites W1964845238 @default.
- W1510481118 cites W1971428581 @default.
- W1510481118 cites W1971616901 @default.
- W1510481118 cites W1974136241 @default.
- W1510481118 cites W1980794674 @default.
- W1510481118 cites W1989040088 @default.
- W1510481118 cites W1994810381 @default.
- W1510481118 cites W2007671683 @default.
- W1510481118 cites W2007877603 @default.
- W1510481118 cites W2013208146 @default.
- W1510481118 cites W2033071128 @default.
- W1510481118 cites W2054800543 @default.
- W1510481118 cites W2057440130 @default.
- W1510481118 cites W2057513565 @default.
- W1510481118 cites W2064119752 @default.
- W1510481118 cites W2066949643 @default.
- W1510481118 cites W2069709605 @default.
- W1510481118 cites W2073491323 @default.
- W1510481118 cites W2079114230 @default.
- W1510481118 cites W2079544076 @default.
- W1510481118 cites W2109003533 @default.
- W1510481118 cites W2126755595 @default.
- W1510481118 cites W2127140110 @default.
- W1510481118 cites W2130206757 @default.
- W1510481118 cites W2145465694 @default.
- W1510481118 cites W2150661189 @default.
- W1510481118 cites W2163545305 @default.
- W1510481118 cites W2336123333 @default.
- W1510481118 cites W2337512840 @default.
- W1510481118 cites W2912818154 @default.
- W1510481118 cites W52169759 @default.
- W1510481118 cites W53060394 @default.
- W1510481118 cites W5583809 @default.
- W1510481118 cites W59002061 @default.
- W1510481118 cites W80737574 @default.
- W1510481118 cites W82278957 @default.
- W1510481118 cites W90377311 @default.
- W1510481118 cites W2002252750 @default.
- W1510481118 doi "https://doi.org/10.1017/cbo9780511711787.005" @default.
- W1510481118 hasPublicationYear "2007" @default.
- W1510481118 type Work @default.
- W1510481118 sameAs 1510481118 @default.
- W1510481118 citedByCount "53" @default.
- W1510481118 countsByYear W15104811182012 @default.
- W1510481118 countsByYear W15104811182013 @default.
- W1510481118 countsByYear W15104811182014 @default.
- W1510481118 countsByYear W15104811182015 @default.
- W1510481118 countsByYear W15104811182016 @default.
- W1510481118 countsByYear W15104811182017 @default.
- W1510481118 countsByYear W15104811182018 @default.
- W1510481118 countsByYear W15104811182020 @default.
- W1510481118 crossrefType "book-chapter" @default.
- W1510481118 hasAuthorship W1510481118A5029757626 @default.
- W1510481118 hasConcept C15744967 @default.
- W1510481118 hasConcept C41008148 @default.
- W1510481118 hasConceptScore W1510481118C15744967 @default.
- W1510481118 hasConceptScore W1510481118C41008148 @default.
- W1510481118 hasLocation W15104811181 @default.
- W1510481118 hasOpenAccess W1510481118 @default.
- W1510481118 hasPrimaryLocation W15104811181 @default.
- W1510481118 hasRelatedWork W2049775471 @default.
- W1510481118 hasRelatedWork W2093578348 @default.
- W1510481118 hasRelatedWork W2350741829 @default.
- W1510481118 hasRelatedWork W2358668433 @default.
- W1510481118 hasRelatedWork W2376932109 @default.
- W1510481118 hasRelatedWork W2382290278 @default.
- W1510481118 hasRelatedWork W2390279801 @default.
- W1510481118 hasRelatedWork W2748952813 @default.
- W1510481118 hasRelatedWork W2899084033 @default.
- W1510481118 hasRelatedWork W2530322880 @default.