Matches in SemOpenAlex for { <https://semopenalex.org/work/W2405742245> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2405742245 endingPage "245" @default.
- W2405742245 startingPage "234" @default.
- W2405742245 abstract "Finite model reasoning in expressive DLs such as ALCQI and SHIQ requires non-trivial algorithmic approaches that are substantially differerent from algorithms used for reasoning about unrestricted models. In contrast, finite model reasoning in the inexpressive fragment DL-LiteF of ALCQI and SHIQ is algorithmically rather simple: using a TBox completion procedure that reverses certain terminological cycles, one can reduce finite subsumption to unrestricted subsumption. In this paper, we show that this useful technique extends all the way to the popular and much more expressive Horn-SHIQ fragment of SHIQ." @default.
- W2405742245 created "2016-06-24" @default.
- W2405742245 creator A5004654520 @default.
- W2405742245 creator A5034616829 @default.
- W2405742245 creator A5091510344 @default.
- W2405742245 date "2013-01-01" @default.
- W2405742245 modified "2023-10-17" @default.
- W2405742245 title "Finite Model Reasoning in Horn-SHIQ." @default.
- W2405742245 cites W1034838494 @default.
- W2405742245 cites W1523809939 @default.
- W2405742245 cites W1528986923 @default.
- W2405742245 cites W1830094896 @default.
- W2405742245 cites W1971102936 @default.
- W2405742245 cites W1997817571 @default.
- W2405742245 cites W2042412119 @default.
- W2405742245 cites W2080057244 @default.
- W2405742245 cites W2107910552 @default.
- W2405742245 cites W2197207463 @default.
- W2405742245 cites W2395289804 @default.
- W2405742245 cites W2397664909 @default.
- W2405742245 cites W2402661079 @default.
- W2405742245 cites W2576877206 @default.
- W2405742245 hasPublicationYear "2013" @default.
- W2405742245 type Work @default.
- W2405742245 sameAs 2405742245 @default.
- W2405742245 citedByCount "1" @default.
- W2405742245 countsByYear W24057422452014 @default.
- W2405742245 crossrefType "journal-article" @default.
- W2405742245 hasAuthorship W2405742245A5004654520 @default.
- W2405742245 hasAuthorship W2405742245A5034616829 @default.
- W2405742245 hasAuthorship W2405742245A5091510344 @default.
- W2405742245 hasConcept C111472728 @default.
- W2405742245 hasConcept C11413529 @default.
- W2405742245 hasConcept C138885662 @default.
- W2405742245 hasConcept C154945302 @default.
- W2405742245 hasConcept C2776235265 @default.
- W2405742245 hasConcept C2780586882 @default.
- W2405742245 hasConcept C41008148 @default.
- W2405742245 hasConcept C80444323 @default.
- W2405742245 hasConcept C89288958 @default.
- W2405742245 hasConceptScore W2405742245C111472728 @default.
- W2405742245 hasConceptScore W2405742245C11413529 @default.
- W2405742245 hasConceptScore W2405742245C138885662 @default.
- W2405742245 hasConceptScore W2405742245C154945302 @default.
- W2405742245 hasConceptScore W2405742245C2776235265 @default.
- W2405742245 hasConceptScore W2405742245C2780586882 @default.
- W2405742245 hasConceptScore W2405742245C41008148 @default.
- W2405742245 hasConceptScore W2405742245C80444323 @default.
- W2405742245 hasConceptScore W2405742245C89288958 @default.
- W2405742245 hasLocation W24057422451 @default.
- W2405742245 hasOpenAccess W2405742245 @default.
- W2405742245 hasPrimaryLocation W24057422451 @default.
- W2405742245 hasRelatedWork W1492384575 @default.
- W2405742245 hasRelatedWork W1507756784 @default.
- W2405742245 hasRelatedWork W1518539187 @default.
- W2405742245 hasRelatedWork W2051741066 @default.
- W2405742245 hasRelatedWork W2066986855 @default.
- W2405742245 hasRelatedWork W2107910552 @default.
- W2405742245 hasRelatedWork W2116841753 @default.
- W2405742245 hasRelatedWork W2117916462 @default.
- W2405742245 hasRelatedWork W2127347809 @default.
- W2405742245 hasRelatedWork W2175603156 @default.
- W2405742245 hasRelatedWork W2398961901 @default.
- W2405742245 hasRelatedWork W2399180471 @default.
- W2405742245 hasRelatedWork W2460765317 @default.
- W2405742245 hasRelatedWork W2481911059 @default.
- W2405742245 hasRelatedWork W271442919 @default.
- W2405742245 hasRelatedWork W2724928203 @default.
- W2405742245 hasRelatedWork W2741843177 @default.
- W2405742245 hasRelatedWork W2797885746 @default.
- W2405742245 hasRelatedWork W2953274432 @default.
- W2405742245 hasRelatedWork W3103066122 @default.
- W2405742245 isParatext "false" @default.
- W2405742245 isRetracted "false" @default.
- W2405742245 magId "2405742245" @default.
- W2405742245 workType "article" @default.