Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554249762> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1554249762 abstract "In this paper we show that subsumption problems in many lightweight description logics (including EL and EL+) can be expressed as uniform word problems in classes of semilattices with monotone operators. We use possibilities of ecien t local reasoning in such classes of algebras, to obtain uniform PTIME decision procedures for CBox subsumption in EL and extensions thereof. These locality considerations allow us to present a new family of (possibly many-sorted) logics which extend EL and EL +" @default.
- W1554249762 created "2016-06-24" @default.
- W1554249762 creator A5002384779 @default.
- W1554249762 date "2008-01-01" @default.
- W1554249762 modified "2023-09-22" @default.
- W1554249762 title "Locality and Subsumption Testing in EL and Some of its Extensions." @default.
- W1554249762 cites W144418952 @default.
- W1554249762 cites W1520937835 @default.
- W1554249762 cites W1579555042 @default.
- W1554249762 cites W1622055787 @default.
- W1554249762 cites W1718752062 @default.
- W1554249762 cites W176757142 @default.
- W1554249762 cites W1996011776 @default.
- W1554249762 cites W2011992362 @default.
- W1554249762 cites W2093397547 @default.
- W1554249762 cites W2115755485 @default.
- W1554249762 cites W2125267811 @default.
- W1554249762 cites W2151097580 @default.
- W1554249762 cites W2154826073 @default.
- W1554249762 cites W3023211053 @default.
- W1554249762 cites W62327733 @default.
- W1554249762 hasPublicationYear "2008" @default.
- W1554249762 type Work @default.
- W1554249762 sameAs 1554249762 @default.
- W1554249762 citedByCount "0" @default.
- W1554249762 crossrefType "journal-article" @default.
- W1554249762 hasAuthorship W1554249762A5002384779 @default.
- W1554249762 hasConcept C102993220 @default.
- W1554249762 hasConcept C11413529 @default.
- W1554249762 hasConcept C134026603 @default.
- W1554249762 hasConcept C138885662 @default.
- W1554249762 hasConcept C2524010 @default.
- W1554249762 hasConcept C2779808786 @default.
- W1554249762 hasConcept C2834757 @default.
- W1554249762 hasConcept C311688 @default.
- W1554249762 hasConcept C33923547 @default.
- W1554249762 hasConcept C41008148 @default.
- W1554249762 hasConcept C41895202 @default.
- W1554249762 hasConcept C80444323 @default.
- W1554249762 hasConceptScore W1554249762C102993220 @default.
- W1554249762 hasConceptScore W1554249762C11413529 @default.
- W1554249762 hasConceptScore W1554249762C134026603 @default.
- W1554249762 hasConceptScore W1554249762C138885662 @default.
- W1554249762 hasConceptScore W1554249762C2524010 @default.
- W1554249762 hasConceptScore W1554249762C2779808786 @default.
- W1554249762 hasConceptScore W1554249762C2834757 @default.
- W1554249762 hasConceptScore W1554249762C311688 @default.
- W1554249762 hasConceptScore W1554249762C33923547 @default.
- W1554249762 hasConceptScore W1554249762C41008148 @default.
- W1554249762 hasConceptScore W1554249762C41895202 @default.
- W1554249762 hasConceptScore W1554249762C80444323 @default.
- W1554249762 hasLocation W15542497621 @default.
- W1554249762 hasOpenAccess W1554249762 @default.
- W1554249762 hasPrimaryLocation W15542497621 @default.
- W1554249762 hasRelatedWork W1488493186 @default.
- W1554249762 hasRelatedWork W1492249171 @default.
- W1554249762 hasRelatedWork W1551326782 @default.
- W1554249762 hasRelatedWork W1820208327 @default.
- W1554249762 hasRelatedWork W1997142472 @default.
- W1554249762 hasRelatedWork W2012768871 @default.
- W1554249762 hasRelatedWork W2062847767 @default.
- W1554249762 hasRelatedWork W2123020468 @default.
- W1554249762 hasRelatedWork W2134200739 @default.
- W1554249762 hasRelatedWork W2166308748 @default.
- W1554249762 hasRelatedWork W2168177042 @default.
- W1554249762 hasRelatedWork W2264119669 @default.
- W1554249762 hasRelatedWork W2517851471 @default.
- W1554249762 hasRelatedWork W2601571087 @default.
- W1554249762 hasRelatedWork W2913489646 @default.
- W1554249762 hasRelatedWork W2949348307 @default.
- W1554249762 hasRelatedWork W2951218816 @default.
- W1554249762 hasRelatedWork W3021042532 @default.
- W1554249762 hasRelatedWork W3023211053 @default.
- W1554249762 hasRelatedWork W2575871339 @default.
- W1554249762 isParatext "false" @default.
- W1554249762 isRetracted "false" @default.
- W1554249762 magId "1554249762" @default.
- W1554249762 workType "article" @default.