Matches in SemOpenAlex for { <https://semopenalex.org/work/W2752600392> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2752600392 abstract "The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polyno- mial. On the other hand, EL is used to define large biomedical ontologies. Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The main result of this paper is that unifica- tion in EL is decidable. More precisely, EL-unification is NP-complete, and thus has the same complexity as EL-matching. We also show that, w.r.t. the unification type, EL is less well-behaved: it is of type zero, which in particular implies that there are unification problems that have no finite complete set of unifiers." @default.
- W2752600392 created "2017-09-15" @default.
- W2752600392 creator A5079263331 @default.
- W2752600392 creator A5086254817 @default.
- W2752600392 date "2009-01-01" @default.
- W2752600392 modified "2023-09-26" @default.
- W2752600392 title "Unification in the Description Logic EL." @default.
- W2752600392 cites W144418952 @default.
- W2752600392 cites W145896926 @default.
- W2752600392 cites W1527818723 @default.
- W2752600392 cites W1536607724 @default.
- W2752600392 cites W1538297965 @default.
- W2752600392 cites W1546744587 @default.
- W2752600392 cites W1555563750 @default.
- W2752600392 cites W1577485093 @default.
- W2752600392 cites W1583295953 @default.
- W2752600392 cites W1599633992 @default.
- W2752600392 cites W163048488 @default.
- W2752600392 cites W1809072088 @default.
- W2752600392 cites W1901264786 @default.
- W2752600392 cites W1990159861 @default.
- W2752600392 cites W1990890881 @default.
- W2752600392 cites W2021587896 @default.
- W2752600392 cites W2025331328 @default.
- W2752600392 cites W2049209348 @default.
- W2752600392 cites W2057513565 @default.
- W2752600392 cites W2077847391 @default.
- W2752600392 cites W2109003533 @default.
- W2752600392 cites W2132317040 @default.
- W2752600392 cites W2133926684 @default.
- W2752600392 cites W2171207252 @default.
- W2752600392 cites W2568766428 @default.
- W2752600392 cites W271442919 @default.
- W2752600392 cites W62327733 @default.
- W2752600392 hasPublicationYear "2009" @default.
- W2752600392 type Work @default.
- W2752600392 sameAs 2752600392 @default.
- W2752600392 citedByCount "0" @default.
- W2752600392 crossrefType "journal-article" @default.
- W2752600392 hasAuthorship W2752600392A5079263331 @default.
- W2752600392 hasAuthorship W2752600392A5086254817 @default.
- W2752600392 hasConcept C102993220 @default.
- W2752600392 hasConcept C11413529 @default.
- W2752600392 hasConcept C153269930 @default.
- W2752600392 hasConcept C154945302 @default.
- W2752600392 hasConcept C177264268 @default.
- W2752600392 hasConcept C18903297 @default.
- W2752600392 hasConcept C199360897 @default.
- W2752600392 hasConcept C2776214188 @default.
- W2752600392 hasConcept C2777299769 @default.
- W2752600392 hasConcept C3746660 @default.
- W2752600392 hasConcept C41008148 @default.
- W2752600392 hasConcept C80444323 @default.
- W2752600392 hasConcept C86803240 @default.
- W2752600392 hasConcept C96146094 @default.
- W2752600392 hasConceptScore W2752600392C102993220 @default.
- W2752600392 hasConceptScore W2752600392C11413529 @default.
- W2752600392 hasConceptScore W2752600392C153269930 @default.
- W2752600392 hasConceptScore W2752600392C154945302 @default.
- W2752600392 hasConceptScore W2752600392C177264268 @default.
- W2752600392 hasConceptScore W2752600392C18903297 @default.
- W2752600392 hasConceptScore W2752600392C199360897 @default.
- W2752600392 hasConceptScore W2752600392C2776214188 @default.
- W2752600392 hasConceptScore W2752600392C2777299769 @default.
- W2752600392 hasConceptScore W2752600392C3746660 @default.
- W2752600392 hasConceptScore W2752600392C41008148 @default.
- W2752600392 hasConceptScore W2752600392C80444323 @default.
- W2752600392 hasConceptScore W2752600392C86803240 @default.
- W2752600392 hasConceptScore W2752600392C96146094 @default.
- W2752600392 hasLocation W27526003921 @default.
- W2752600392 hasOpenAccess W2752600392 @default.
- W2752600392 hasPrimaryLocation W27526003921 @default.
- W2752600392 hasRelatedWork W1223318389 @default.
- W2752600392 hasRelatedWork W157832075 @default.
- W2752600392 hasRelatedWork W196842918 @default.
- W2752600392 hasRelatedWork W2116841753 @default.
- W2752600392 hasRelatedWork W2133926684 @default.
- W2752600392 hasRelatedWork W2142835256 @default.
- W2752600392 hasRelatedWork W2156720842 @default.
- W2752600392 hasRelatedWork W2168686048 @default.
- W2752600392 hasRelatedWork W2408443705 @default.
- W2752600392 hasRelatedWork W2477403571 @default.
- W2752600392 hasRelatedWork W2521641792 @default.
- W2752600392 hasRelatedWork W2797885746 @default.
- W2752600392 hasRelatedWork W2890451556 @default.
- W2752600392 hasRelatedWork W2962992940 @default.
- W2752600392 hasRelatedWork W2982494360 @default.
- W2752600392 hasRelatedWork W3020891513 @default.
- W2752600392 hasRelatedWork W3088418580 @default.
- W2752600392 hasRelatedWork W2288937760 @default.
- W2752600392 hasRelatedWork W2808151995 @default.
- W2752600392 isParatext "false" @default.
- W2752600392 isRetracted "false" @default.
- W2752600392 magId "2752600392" @default.
- W2752600392 workType "article" @default.