Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300760318> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4300760318 abstract "We analyze the complexity of finite model reasoning in the description logic ALCQI, i.e. ALC augmented with qualifying number restrictions, inverse roles, and general TBoxes. It turns out that all relevant reasoning tasks such as concept satisfiability and ABox consistency are EXPTIME-complete, regardless of whether the numbers in number restrictions are coded unarily or binarily. Thus, finite model reasoning with ALCQI is not harder than standard reasoning with ALCQI." @default.
- W4300760318 created "2022-10-04" @default.
- W4300760318 creator A5034616829 @default.
- W4300760318 creator A5072391425 @default.
- W4300760318 creator A5084992322 @default.
- W4300760318 date "2002-01-01" @default.
- W4300760318 modified "2023-10-16" @default.
- W4300760318 title "The Complexity of Finite Model Reasoning in Description Logics" @default.
- W4300760318 doi "https://doi.org/10.25368/2022.123" @default.
- W4300760318 hasPublicationYear "2002" @default.
- W4300760318 type Work @default.
- W4300760318 citedByCount "1" @default.
- W4300760318 crossrefType "report" @default.
- W4300760318 hasAuthorship W4300760318A5034616829 @default.
- W4300760318 hasAuthorship W4300760318A5072391425 @default.
- W4300760318 hasAuthorship W4300760318A5084992322 @default.
- W4300760318 hasBestOaLocation W43007603182 @default.
- W4300760318 hasConcept C102993220 @default.
- W4300760318 hasConcept C11413529 @default.
- W4300760318 hasConcept C154945302 @default.
- W4300760318 hasConcept C159032336 @default.
- W4300760318 hasConcept C168773769 @default.
- W4300760318 hasConcept C179799912 @default.
- W4300760318 hasConcept C195344581 @default.
- W4300760318 hasConcept C197685441 @default.
- W4300760318 hasConcept C207467116 @default.
- W4300760318 hasConcept C2524010 @default.
- W4300760318 hasConcept C2776436953 @default.
- W4300760318 hasConcept C33923547 @default.
- W4300760318 hasConcept C41008148 @default.
- W4300760318 hasConcept C56049555 @default.
- W4300760318 hasConcept C6943359 @default.
- W4300760318 hasConcept C80444323 @default.
- W4300760318 hasConcept C89288958 @default.
- W4300760318 hasConceptScore W4300760318C102993220 @default.
- W4300760318 hasConceptScore W4300760318C11413529 @default.
- W4300760318 hasConceptScore W4300760318C154945302 @default.
- W4300760318 hasConceptScore W4300760318C159032336 @default.
- W4300760318 hasConceptScore W4300760318C168773769 @default.
- W4300760318 hasConceptScore W4300760318C179799912 @default.
- W4300760318 hasConceptScore W4300760318C195344581 @default.
- W4300760318 hasConceptScore W4300760318C197685441 @default.
- W4300760318 hasConceptScore W4300760318C207467116 @default.
- W4300760318 hasConceptScore W4300760318C2524010 @default.
- W4300760318 hasConceptScore W4300760318C2776436953 @default.
- W4300760318 hasConceptScore W4300760318C33923547 @default.
- W4300760318 hasConceptScore W4300760318C41008148 @default.
- W4300760318 hasConceptScore W4300760318C56049555 @default.
- W4300760318 hasConceptScore W4300760318C6943359 @default.
- W4300760318 hasConceptScore W4300760318C80444323 @default.
- W4300760318 hasConceptScore W4300760318C89288958 @default.
- W4300760318 hasLocation W43007603181 @default.
- W4300760318 hasLocation W43007603182 @default.
- W4300760318 hasOpenAccess W4300760318 @default.
- W4300760318 hasPrimaryLocation W43007603181 @default.
- W4300760318 hasRelatedWork W138168018 @default.
- W4300760318 hasRelatedWork W1492864441 @default.
- W4300760318 hasRelatedWork W158180751 @default.
- W4300760318 hasRelatedWork W2080057244 @default.
- W4300760318 hasRelatedWork W2108821954 @default.
- W4300760318 hasRelatedWork W22612880 @default.
- W4300760318 hasRelatedWork W2594374236 @default.
- W4300760318 hasRelatedWork W4287111553 @default.
- W4300760318 hasRelatedWork W4299504138 @default.
- W4300760318 hasRelatedWork W43554226 @default.
- W4300760318 isParatext "false" @default.
- W4300760318 isRetracted "false" @default.
- W4300760318 workType "report" @default.