Matches in SemOpenAlex for { <https://semopenalex.org/work/W1487785655> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1487785655 abstract "Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence between description logics and propositional modal logic most of these techniques carry over into propositional modal logic satisfiability checking. Some of the techniques are extremely effective on various test suites for propositional modal satisfiability and others are less effective. Further, the effectiveness of a technique depends on the test performed. Description logic systems spend much of their time computing subsumption relationships between descriptions. If the system is based on an expressive description logic then the amount of time spent computing subsumption can be intolerable, even for small knowledge bases, unless steps are taken to heavily optimise this task. The total time spent in subsumption checking comes from the number of subsumption checks required to process a knowledge base as well as from the time spent in performing the hardest of these subsumption checks—with an expressive description logic, the time taken by a small number of hard subsumption checks can dominate" @default.
- W1487785655 created "2016-06-24" @default.
- W1487785655 creator A5060350556 @default.
- W1487785655 creator A5076726764 @default.
- W1487785655 date "1998-01-01" @default.
- W1487785655 modified "2023-09-23" @default.
- W1487785655 title "Comparing Subsumption Optimizations." @default.
- W1487785655 cites W145896926 @default.
- W1487785655 cites W1494902711 @default.
- W1487785655 cites W149704172 @default.
- W1487785655 cites W1512262469 @default.
- W1487785655 cites W1553941590 @default.
- W1487785655 cites W1556434751 @default.
- W1487785655 cites W1593443951 @default.
- W1487785655 cites W2015932695 @default.
- W1487785655 cites W2022695609 @default.
- W1487785655 cites W2085301456 @default.
- W1487785655 cites W2094309656 @default.
- W1487785655 cites W2154362535 @default.
- W1487785655 cites W2296369602 @default.
- W1487785655 cites W1635994358 @default.
- W1487785655 hasPublicationYear "1998" @default.
- W1487785655 type Work @default.
- W1487785655 sameAs 1487785655 @default.
- W1487785655 citedByCount "14" @default.
- W1487785655 crossrefType "journal-article" @default.
- W1487785655 hasAuthorship W1487785655A5060350556 @default.
- W1487785655 hasAuthorship W1487785655A5076726764 @default.
- W1487785655 hasConcept C102993220 @default.
- W1487785655 hasConcept C110251889 @default.
- W1487785655 hasConcept C114092440 @default.
- W1487785655 hasConcept C11413529 @default.
- W1487785655 hasConcept C14523651 @default.
- W1487785655 hasConcept C162324750 @default.
- W1487785655 hasConcept C168773769 @default.
- W1487785655 hasConcept C173125200 @default.
- W1487785655 hasConcept C185592680 @default.
- W1487785655 hasConcept C187736073 @default.
- W1487785655 hasConcept C188027245 @default.
- W1487785655 hasConcept C199360897 @default.
- W1487785655 hasConcept C203659156 @default.
- W1487785655 hasConcept C25016198 @default.
- W1487785655 hasConcept C27508121 @default.
- W1487785655 hasConcept C2780451532 @default.
- W1487785655 hasConcept C33203268 @default.
- W1487785655 hasConcept C41008148 @default.
- W1487785655 hasConcept C69562738 @default.
- W1487785655 hasConcept C71139939 @default.
- W1487785655 hasConcept C80444323 @default.
- W1487785655 hasConceptScore W1487785655C102993220 @default.
- W1487785655 hasConceptScore W1487785655C110251889 @default.
- W1487785655 hasConceptScore W1487785655C114092440 @default.
- W1487785655 hasConceptScore W1487785655C11413529 @default.
- W1487785655 hasConceptScore W1487785655C14523651 @default.
- W1487785655 hasConceptScore W1487785655C162324750 @default.
- W1487785655 hasConceptScore W1487785655C168773769 @default.
- W1487785655 hasConceptScore W1487785655C173125200 @default.
- W1487785655 hasConceptScore W1487785655C185592680 @default.
- W1487785655 hasConceptScore W1487785655C187736073 @default.
- W1487785655 hasConceptScore W1487785655C188027245 @default.
- W1487785655 hasConceptScore W1487785655C199360897 @default.
- W1487785655 hasConceptScore W1487785655C203659156 @default.
- W1487785655 hasConceptScore W1487785655C25016198 @default.
- W1487785655 hasConceptScore W1487785655C27508121 @default.
- W1487785655 hasConceptScore W1487785655C2780451532 @default.
- W1487785655 hasConceptScore W1487785655C33203268 @default.
- W1487785655 hasConceptScore W1487785655C41008148 @default.
- W1487785655 hasConceptScore W1487785655C69562738 @default.
- W1487785655 hasConceptScore W1487785655C71139939 @default.
- W1487785655 hasConceptScore W1487785655C80444323 @default.
- W1487785655 hasLocation W14877856551 @default.
- W1487785655 hasOpenAccess W1487785655 @default.
- W1487785655 hasPrimaryLocation W14877856551 @default.
- W1487785655 hasRelatedWork W121805954 @default.
- W1487785655 hasRelatedWork W134680685 @default.
- W1487785655 hasRelatedWork W139763282 @default.
- W1487785655 hasRelatedWork W149704172 @default.
- W1487785655 hasRelatedWork W1512766599 @default.
- W1487785655 hasRelatedWork W1514949230 @default.
- W1487785655 hasRelatedWork W1536088796 @default.
- W1487785655 hasRelatedWork W1554604786 @default.
- W1487785655 hasRelatedWork W1555563750 @default.
- W1487785655 hasRelatedWork W1578007245 @default.
- W1487785655 hasRelatedWork W1605860778 @default.
- W1487785655 hasRelatedWork W1614615401 @default.
- W1487785655 hasRelatedWork W1670748022 @default.
- W1487785655 hasRelatedWork W1964664152 @default.
- W1487785655 hasRelatedWork W1982030536 @default.
- W1487785655 hasRelatedWork W1995656639 @default.
- W1487785655 hasRelatedWork W2013409229 @default.
- W1487785655 hasRelatedWork W2057361103 @default.
- W1487785655 hasRelatedWork W2126755595 @default.
- W1487785655 hasRelatedWork W80737574 @default.
- W1487785655 isParatext "false" @default.
- W1487785655 isRetracted "false" @default.
- W1487785655 magId "1487785655" @default.
- W1487785655 workType "article" @default.