Matches in SemOpenAlex for { <https://semopenalex.org/work/W2408207423> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2408207423 endingPage "339" @default.
- W2408207423 startingPage "315" @default.
- W2408207423 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.
- W2408207423 created "2016-06-24" @default.
- W2408207423 creator A5002384779 @default.
- W2408207423 date "2008-01-01" @default.
- W2408207423 modified "2023-09-22" @default.
- W2408207423 title "Locality and subsumption testing in EL and some of its extensions." @default.
- W2408207423 hasPublicationYear "2008" @default.
- W2408207423 type Work @default.
- W2408207423 sameAs 2408207423 @default.
- W2408207423 citedByCount "1" @default.
- W2408207423 countsByYear W24082074232014 @default.
- W2408207423 crossrefType "proceedings-article" @default.
- W2408207423 hasAuthorship W2408207423A5002384779 @default.
- W2408207423 hasConcept C102993220 @default.
- W2408207423 hasConcept C11413529 @default.
- W2408207423 hasConcept C134026603 @default.
- W2408207423 hasConcept C138885662 @default.
- W2408207423 hasConcept C2524010 @default.
- W2408207423 hasConcept C2779808786 @default.
- W2408207423 hasConcept C2834757 @default.
- W2408207423 hasConcept C311688 @default.
- W2408207423 hasConcept C33923547 @default.
- W2408207423 hasConcept C41008148 @default.
- W2408207423 hasConcept C41895202 @default.
- W2408207423 hasConcept C80444323 @default.
- W2408207423 hasConceptScore W2408207423C102993220 @default.
- W2408207423 hasConceptScore W2408207423C11413529 @default.
- W2408207423 hasConceptScore W2408207423C134026603 @default.
- W2408207423 hasConceptScore W2408207423C138885662 @default.
- W2408207423 hasConceptScore W2408207423C2524010 @default.
- W2408207423 hasConceptScore W2408207423C2779808786 @default.
- W2408207423 hasConceptScore W2408207423C2834757 @default.
- W2408207423 hasConceptScore W2408207423C311688 @default.
- W2408207423 hasConceptScore W2408207423C33923547 @default.
- W2408207423 hasConceptScore W2408207423C41008148 @default.
- W2408207423 hasConceptScore W2408207423C41895202 @default.
- W2408207423 hasConceptScore W2408207423C80444323 @default.
- W2408207423 hasLocation W24082074231 @default.
- W2408207423 hasOpenAccess W2408207423 @default.
- W2408207423 hasPrimaryLocation W24082074231 @default.
- W2408207423 hasRelatedWork W1488493186 @default.
- W2408207423 hasRelatedWork W1492249171 @default.
- W2408207423 hasRelatedWork W1551326782 @default.
- W2408207423 hasRelatedWork W1820208327 @default.
- W2408207423 hasRelatedWork W1997142472 @default.
- W2408207423 hasRelatedWork W2012768871 @default.
- W2408207423 hasRelatedWork W2062847767 @default.
- W2408207423 hasRelatedWork W2123020468 @default.
- W2408207423 hasRelatedWork W2134200739 @default.
- W2408207423 hasRelatedWork W2166308748 @default.
- W2408207423 hasRelatedWork W2168177042 @default.
- W2408207423 hasRelatedWork W2264119669 @default.
- W2408207423 hasRelatedWork W2517851471 @default.
- W2408207423 hasRelatedWork W2601571087 @default.
- W2408207423 hasRelatedWork W2913489646 @default.
- W2408207423 hasRelatedWork W2949348307 @default.
- W2408207423 hasRelatedWork W2951218816 @default.
- W2408207423 hasRelatedWork W3021042532 @default.
- W2408207423 hasRelatedWork W3023211053 @default.
- W2408207423 hasRelatedWork W2575871339 @default.
- W2408207423 isParatext "false" @default.
- W2408207423 isRetracted "false" @default.
- W2408207423 magId "2408207423" @default.
- W2408207423 workType "article" @default.