Matches in SemOpenAlex for { <https://semopenalex.org/work/W52360167> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W52360167 abstract "The description logic ALCQI extends the 'standard' description logic ALC by qualifying number restrictions and converse roles. We show that concept satisfiability for this DL is still decidable in polynomial space. The presented algorithm combines techniques from [Tob99] to deal with qualifying number restrictions and from [HST99] to deal with converse roles." @default.
- W52360167 created "2016-06-24" @default.
- W52360167 creator A5090867745 @default.
- W52360167 date "1999-01-01" @default.
- W52360167 modified "2023-09-25" @default.
- W52360167 title "A PSpace-algorithm for ALCQI-satisfiability" @default.
- W52360167 doi "https://doi.org/10.25368/2022.95" @default.
- W52360167 hasPublicationYear "1999" @default.
- W52360167 type Work @default.
- W52360167 sameAs 52360167 @default.
- W52360167 citedByCount "1" @default.
- W52360167 countsByYear W523601672019 @default.
- W52360167 crossrefType "report" @default.
- W52360167 hasAuthorship W52360167A5090867745 @default.
- W52360167 hasBestOaLocation W523601672 @default.
- W52360167 hasConcept C111919701 @default.
- W52360167 hasConcept C11413529 @default.
- W52360167 hasConcept C118615104 @default.
- W52360167 hasConcept C153269930 @default.
- W52360167 hasConcept C168773769 @default.
- W52360167 hasConcept C179799912 @default.
- W52360167 hasConcept C197685441 @default.
- W52360167 hasConcept C2524010 @default.
- W52360167 hasConcept C2776809875 @default.
- W52360167 hasConcept C2778572836 @default.
- W52360167 hasConcept C311688 @default.
- W52360167 hasConcept C33923547 @default.
- W52360167 hasConcept C41008148 @default.
- W52360167 hasConcept C6943359 @default.
- W52360167 hasConcept C80444323 @default.
- W52360167 hasConceptScore W52360167C111919701 @default.
- W52360167 hasConceptScore W52360167C11413529 @default.
- W52360167 hasConceptScore W52360167C118615104 @default.
- W52360167 hasConceptScore W52360167C153269930 @default.
- W52360167 hasConceptScore W52360167C168773769 @default.
- W52360167 hasConceptScore W52360167C179799912 @default.
- W52360167 hasConceptScore W52360167C197685441 @default.
- W52360167 hasConceptScore W52360167C2524010 @default.
- W52360167 hasConceptScore W52360167C2776809875 @default.
- W52360167 hasConceptScore W52360167C2778572836 @default.
- W52360167 hasConceptScore W52360167C311688 @default.
- W52360167 hasConceptScore W52360167C33923547 @default.
- W52360167 hasConceptScore W52360167C41008148 @default.
- W52360167 hasConceptScore W52360167C6943359 @default.
- W52360167 hasConceptScore W52360167C80444323 @default.
- W52360167 hasLocation W523601671 @default.
- W52360167 hasLocation W523601672 @default.
- W52360167 hasOpenAccess W52360167 @default.
- W52360167 hasPrimaryLocation W523601671 @default.
- W52360167 hasRelatedWork W1543261728 @default.
- W52360167 hasRelatedWork W1967161325 @default.
- W52360167 hasRelatedWork W2005612348 @default.
- W52360167 hasRelatedWork W2017112542 @default.
- W52360167 hasRelatedWork W2076477022 @default.
- W52360167 hasRelatedWork W2153128123 @default.
- W52360167 hasRelatedWork W2166566648 @default.
- W52360167 hasRelatedWork W2964047030 @default.
- W52360167 hasRelatedWork W4301235881 @default.
- W52360167 hasRelatedWork W52360167 @default.
- W52360167 isParatext "false" @default.
- W52360167 isRetracted "false" @default.
- W52360167 magId "52360167" @default.
- W52360167 workType "report" @default.