Matches in SemOpenAlex for { <https://semopenalex.org/work/W85404427> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W85404427 endingPage "141" @default.
- W85404427 startingPage "122" @default.
- W85404427 abstract "We consider the fuzzy description logic $${mathcal {ALCOI}}$$ with semantics based on a finite residuated De Morgan lattice. We show that reasoning in this logic is ExpTime-complete w.r.t. general TBoxes. In the sublogics $${mathcal {ALCI}}$$ and $${mathcal {ALCO}}$$ , it is PSpace-complete w.r.t. acyclic TBoxes. This matches the known complexity bounds for reasoning in classical description logics between $${mathcal ALC} $$ and $${mathcal {ALCOI}}$$ ." @default.
- W85404427 created "2016-06-24" @default.
- W85404427 creator A5072323649 @default.
- W85404427 creator A5087109002 @default.
- W85404427 date "2014-01-01" @default.
- W85404427 modified "2023-09-27" @default.
- W85404427 title "Finite Lattices Do Not Make Reasoning in $${mathcal {ALCOI}}$$ Harder" @default.
- W85404427 cites W1585071008 @default.
- W85404427 cites W1601173339 @default.
- W85404427 cites W1860155895 @default.
- W85404427 cites W1964664152 @default.
- W85404427 cites W1981256092 @default.
- W85404427 cites W2033071128 @default.
- W85404427 cites W2033088754 @default.
- W85404427 cites W2048742358 @default.
- W85404427 cites W2079544076 @default.
- W85404427 cites W2101556477 @default.
- W85404427 cites W2103444877 @default.
- W85404427 cites W2106037588 @default.
- W85404427 cites W2111351089 @default.
- W85404427 cites W2125067149 @default.
- W85404427 cites W2132635174 @default.
- W85404427 cites W2145465694 @default.
- W85404427 cites W2150198624 @default.
- W85404427 cites W2152774062 @default.
- W85404427 cites W2157732093 @default.
- W85404427 cites W3099593821 @default.
- W85404427 cites W3101974058 @default.
- W85404427 cites W39809549 @default.
- W85404427 cites W4234672050 @default.
- W85404427 cites W4299344595 @default.
- W85404427 cites W43554226 @default.
- W85404427 cites W77205158 @default.
- W85404427 doi "https://doi.org/10.1007/978-3-319-13413-0_7" @default.
- W85404427 hasPublicationYear "2014" @default.
- W85404427 type Work @default.
- W85404427 sameAs 85404427 @default.
- W85404427 citedByCount "2" @default.
- W85404427 countsByYear W854044272015 @default.
- W85404427 countsByYear W854044272016 @default.
- W85404427 crossrefType "book-chapter" @default.
- W85404427 hasAuthorship W85404427A5072323649 @default.
- W85404427 hasAuthorship W85404427A5087109002 @default.
- W85404427 hasConcept C102993220 @default.
- W85404427 hasConcept C11413529 @default.
- W85404427 hasConcept C118615104 @default.
- W85404427 hasConcept C121332964 @default.
- W85404427 hasConcept C136119220 @default.
- W85404427 hasConcept C154945302 @default.
- W85404427 hasConcept C179799912 @default.
- W85404427 hasConcept C184337299 @default.
- W85404427 hasConcept C197685441 @default.
- W85404427 hasConcept C199360897 @default.
- W85404427 hasConcept C202444582 @default.
- W85404427 hasConcept C24890656 @default.
- W85404427 hasConcept C2781204021 @default.
- W85404427 hasConcept C2781278839 @default.
- W85404427 hasConcept C33923547 @default.
- W85404427 hasConcept C41008148 @default.
- W85404427 hasConcept C56049555 @default.
- W85404427 hasConcept C58166 @default.
- W85404427 hasConcept C80444323 @default.
- W85404427 hasConceptScore W85404427C102993220 @default.
- W85404427 hasConceptScore W85404427C11413529 @default.
- W85404427 hasConceptScore W85404427C118615104 @default.
- W85404427 hasConceptScore W85404427C121332964 @default.
- W85404427 hasConceptScore W85404427C136119220 @default.
- W85404427 hasConceptScore W85404427C154945302 @default.
- W85404427 hasConceptScore W85404427C179799912 @default.
- W85404427 hasConceptScore W85404427C184337299 @default.
- W85404427 hasConceptScore W85404427C197685441 @default.
- W85404427 hasConceptScore W85404427C199360897 @default.
- W85404427 hasConceptScore W85404427C202444582 @default.
- W85404427 hasConceptScore W85404427C24890656 @default.
- W85404427 hasConceptScore W85404427C2781204021 @default.
- W85404427 hasConceptScore W85404427C2781278839 @default.
- W85404427 hasConceptScore W85404427C33923547 @default.
- W85404427 hasConceptScore W85404427C41008148 @default.
- W85404427 hasConceptScore W85404427C56049555 @default.
- W85404427 hasConceptScore W85404427C58166 @default.
- W85404427 hasConceptScore W85404427C80444323 @default.
- W85404427 hasLocation W854044271 @default.
- W85404427 hasOpenAccess W85404427 @default.
- W85404427 hasPrimaryLocation W854044271 @default.
- W85404427 hasRelatedWork W1602466478 @default.
- W85404427 hasRelatedWork W2138494505 @default.
- W85404427 hasRelatedWork W2171444360 @default.
- W85404427 hasRelatedWork W2197207463 @default.
- W85404427 hasRelatedWork W2293405931 @default.
- W85404427 hasRelatedWork W2327776271 @default.
- W85404427 hasRelatedWork W2908105614 @default.
- W85404427 hasRelatedWork W4298030811 @default.
- W85404427 hasRelatedWork W43554226 @default.
- W85404427 hasRelatedWork W85404427 @default.
- W85404427 isParatext "false" @default.
- W85404427 isRetracted "false" @default.
- W85404427 magId "85404427" @default.
- W85404427 workType "book-chapter" @default.