Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047847147> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2047847147 abstract "Finding justifications for an entailment in an OWL ontology is an important reasoning service in the development and maintenance of OWL ontologies. In this paper, we consider the problem of finding all the justifications of an entailment in description logic EL+, which underpins OWL 2 EL. Our method for computing all the justifications utilizes the classification result of an EL+ ontology by an OWL EL reasoner. We first give an algorithm for finding all the justifications of an entailment by constructing an explanation dependency graph from the entailment and the classification result. We then propose some pruning strategies to optimize this algorithm. We implement a prototype system by using the multi-core technology. The experimental results show that in many cases, our optimized algorithm outperforms an existing algorithm for finding all the justifications for an entailment in EL+ that is optimized with the module extraction technology." @default.
- W2047847147 created "2016-06-24" @default.
- W2047847147 creator A5009134882 @default.
- W2047847147 creator A5034606659 @default.
- W2047847147 creator A5050566959 @default.
- W2047847147 date "2013-11-01" @default.
- W2047847147 modified "2023-09-26" @default.
- W2047847147 title "A New Method of Finding All Justifications in OWL 2 EL" @default.
- W2047847147 cites W1544139521 @default.
- W2047847147 cites W1717828047 @default.
- W2047847147 cites W2000282981 @default.
- W2047847147 cites W2026574256 @default.
- W2047847147 cites W2048934412 @default.
- W2047847147 cites W2107557105 @default.
- W2047847147 doi "https://doi.org/10.1109/wi-iat.2013.31" @default.
- W2047847147 hasPublicationYear "2013" @default.
- W2047847147 type Work @default.
- W2047847147 sameAs 2047847147 @default.
- W2047847147 citedByCount "9" @default.
- W2047847147 countsByYear W20478471472014 @default.
- W2047847147 countsByYear W20478471472017 @default.
- W2047847147 countsByYear W20478471472018 @default.
- W2047847147 countsByYear W20478471472019 @default.
- W2047847147 countsByYear W20478471472021 @default.
- W2047847147 countsByYear W20478471472022 @default.
- W2047847147 crossrefType "proceedings-article" @default.
- W2047847147 hasAuthorship W2047847147A5009134882 @default.
- W2047847147 hasAuthorship W2047847147A5034606659 @default.
- W2047847147 hasAuthorship W2047847147A5050566959 @default.
- W2047847147 hasConcept C101230327 @default.
- W2047847147 hasConcept C102993220 @default.
- W2047847147 hasConcept C108010975 @default.
- W2047847147 hasConcept C111472728 @default.
- W2047847147 hasConcept C134752490 @default.
- W2047847147 hasConcept C138885662 @default.
- W2047847147 hasConcept C154945302 @default.
- W2047847147 hasConcept C167379230 @default.
- W2047847147 hasConcept C19768560 @default.
- W2047847147 hasConcept C204321447 @default.
- W2047847147 hasConcept C2129575 @default.
- W2047847147 hasConcept C25810664 @default.
- W2047847147 hasConcept C41008148 @default.
- W2047847147 hasConcept C50382505 @default.
- W2047847147 hasConcept C61673122 @default.
- W2047847147 hasConcept C6557445 @default.
- W2047847147 hasConcept C80444323 @default.
- W2047847147 hasConcept C86803240 @default.
- W2047847147 hasConcept C95318506 @default.
- W2047847147 hasConcept C9616225 @default.
- W2047847147 hasConceptScore W2047847147C101230327 @default.
- W2047847147 hasConceptScore W2047847147C102993220 @default.
- W2047847147 hasConceptScore W2047847147C108010975 @default.
- W2047847147 hasConceptScore W2047847147C111472728 @default.
- W2047847147 hasConceptScore W2047847147C134752490 @default.
- W2047847147 hasConceptScore W2047847147C138885662 @default.
- W2047847147 hasConceptScore W2047847147C154945302 @default.
- W2047847147 hasConceptScore W2047847147C167379230 @default.
- W2047847147 hasConceptScore W2047847147C19768560 @default.
- W2047847147 hasConceptScore W2047847147C204321447 @default.
- W2047847147 hasConceptScore W2047847147C2129575 @default.
- W2047847147 hasConceptScore W2047847147C25810664 @default.
- W2047847147 hasConceptScore W2047847147C41008148 @default.
- W2047847147 hasConceptScore W2047847147C50382505 @default.
- W2047847147 hasConceptScore W2047847147C61673122 @default.
- W2047847147 hasConceptScore W2047847147C6557445 @default.
- W2047847147 hasConceptScore W2047847147C80444323 @default.
- W2047847147 hasConceptScore W2047847147C86803240 @default.
- W2047847147 hasConceptScore W2047847147C95318506 @default.
- W2047847147 hasConceptScore W2047847147C9616225 @default.
- W2047847147 hasLocation W20478471471 @default.
- W2047847147 hasOpenAccess W2047847147 @default.
- W2047847147 hasPrimaryLocation W20478471471 @default.
- W2047847147 hasRelatedWork W100862262 @default.
- W2047847147 hasRelatedWork W129914909 @default.
- W2047847147 hasRelatedWork W1523017397 @default.
- W2047847147 hasRelatedWork W1915025741 @default.
- W2047847147 hasRelatedWork W2002032480 @default.
- W2047847147 hasRelatedWork W2019476800 @default.
- W2047847147 hasRelatedWork W2625791717 @default.
- W2047847147 hasRelatedWork W2949771124 @default.
- W2047847147 hasRelatedWork W4301912594 @default.
- W2047847147 hasRelatedWork W2799485043 @default.
- W2047847147 isParatext "false" @default.
- W2047847147 isRetracted "false" @default.
- W2047847147 magId "2047847147" @default.
- W2047847147 workType "article" @default.