Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247250295> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2247250295 endingPage "71" @default.
- W2247250295 startingPage "59" @default.
- W2247250295 abstract "In this paper we provide a procedure for deciding subsumptions of the form $$mathcal {T}models mathcal {C}sqsubseteq E$$ , where $$mathcal {C}$$ is an $$mathcal{ELU}_mu $$ -concept, E an $$mathcal{ELU}$$ -concept and $$mathcal {T}$$ a general $$mathcal{EL}$$ -TBox. Deciding such subsumptions can be used for computing the logical difference between general $$mathcal{EL}$$ -TBoxes. Our procedure is based on checking for the existence of a certain simulation between hypergraph representations of the set of subsumees of $$mathcal {C}$$ and of E w.r.t. $$mathcal {T}$$ , respectively. With the aim of keeping the procedure implementable, we provide a detailed construction of such hypergraphs deliberately avoiding the use of intricate automata-theoretic techniques." @default.
- W2247250295 created "2016-06-24" @default.
- W2247250295 creator A5033965949 @default.
- W2247250295 creator A5044188329 @default.
- W2247250295 creator A5085406955 @default.
- W2247250295 date "2015-01-01" @default.
- W2247250295 modified "2023-10-14" @default.
- W2247250295 title "Deciding Subsumers of Least Fixpoint Concepts w.r.t. general $$mathcal{EL}$$ -TBoxes" @default.
- W2247250295 cites W142499984 @default.
- W2247250295 cites W1507873625 @default.
- W2247250295 cites W1539385324 @default.
- W2247250295 cites W2015640848 @default.
- W2247250295 cites W3104143976 @default.
- W2247250295 cites W4300129298 @default.
- W2247250295 cites W4300703193 @default.
- W2247250295 doi "https://doi.org/10.1007/978-3-319-24489-1_5" @default.
- W2247250295 hasPublicationYear "2015" @default.
- W2247250295 type Work @default.
- W2247250295 sameAs 2247250295 @default.
- W2247250295 citedByCount "0" @default.
- W2247250295 crossrefType "book-chapter" @default.
- W2247250295 hasAuthorship W2247250295A5033965949 @default.
- W2247250295 hasAuthorship W2247250295A5044188329 @default.
- W2247250295 hasAuthorship W2247250295A5085406955 @default.
- W2247250295 hasConcept C112505250 @default.
- W2247250295 hasConcept C11413529 @default.
- W2247250295 hasConcept C114614502 @default.
- W2247250295 hasConcept C118615104 @default.
- W2247250295 hasConcept C134306372 @default.
- W2247250295 hasConcept C177264268 @default.
- W2247250295 hasConcept C199360897 @default.
- W2247250295 hasConcept C2781221856 @default.
- W2247250295 hasConcept C33923547 @default.
- W2247250295 hasConcept C41008148 @default.
- W2247250295 hasConcept C61445026 @default.
- W2247250295 hasConcept C80444323 @default.
- W2247250295 hasConceptScore W2247250295C112505250 @default.
- W2247250295 hasConceptScore W2247250295C11413529 @default.
- W2247250295 hasConceptScore W2247250295C114614502 @default.
- W2247250295 hasConceptScore W2247250295C118615104 @default.
- W2247250295 hasConceptScore W2247250295C134306372 @default.
- W2247250295 hasConceptScore W2247250295C177264268 @default.
- W2247250295 hasConceptScore W2247250295C199360897 @default.
- W2247250295 hasConceptScore W2247250295C2781221856 @default.
- W2247250295 hasConceptScore W2247250295C33923547 @default.
- W2247250295 hasConceptScore W2247250295C41008148 @default.
- W2247250295 hasConceptScore W2247250295C61445026 @default.
- W2247250295 hasConceptScore W2247250295C80444323 @default.
- W2247250295 hasLocation W22472502951 @default.
- W2247250295 hasOpenAccess W2247250295 @default.
- W2247250295 hasPrimaryLocation W22472502951 @default.
- W2247250295 hasRelatedWork W132200507 @default.
- W2247250295 hasRelatedWork W2085440561 @default.
- W2247250295 hasRelatedWork W2092296749 @default.
- W2247250295 hasRelatedWork W2132073309 @default.
- W2247250295 hasRelatedWork W3005801850 @default.
- W2247250295 hasRelatedWork W3094179932 @default.
- W2247250295 hasRelatedWork W3185814969 @default.
- W2247250295 hasRelatedWork W3216169553 @default.
- W2247250295 hasRelatedWork W4206265051 @default.
- W2247250295 hasRelatedWork W4286851273 @default.
- W2247250295 isParatext "false" @default.
- W2247250295 isRetracted "false" @default.
- W2247250295 magId "2247250295" @default.
- W2247250295 workType "book-chapter" @default.