FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107557105> ?p ?o ?g. }

• W2107557105 abstract "SNOMED CT is a large-scale medical ontology which is developed using a variant of the inexpressive Description Logic EL, a logic-based knowledge representation formalism and a logical underpinning of OWL 2 EL Profile. Description Logic reasoning can be used to compute subsumption relationships between SNOMED CT concepts and to pinpoint the reasons why a certain subsumption holds by finding justifications (sets of axioms responsible for this relationship). This helps the ontology developers to understand such a relationship and to debug it if needed. This article describes an extension of the method of finding one justification to one that finds all justifications for a given subsumption, introduces a SNOMED CT-specific optimization, and presents empirical evaluation results. Our extensive experiments on SNOMED CT show that (i) the proposed modularization-based approach makes it practicable to find all justifications in most cases in SNOMED CT; (ii) the first ten justifications, if any, for a subsumption can be computed in an acceptable runtime, and can be displayed in an incremental manner, i.e., the ontology developers may inspect the first justification while the reasoner continues to find more; and (iii) there is a high degree of commonality among justifications for a subsumption of interest." @default.
• W2107557105 created "2016-06-24" @default.
• W2107557105 creator A5009134882 @default.
• W2107557105 date "2013-01-01" @default.
• W2107557105 modified "2023-09-27" @default.
• W2107557105 title "Finding all justifications in Snomed ct" @default.
• W2107557105 cites W100862262 @default.
• W2107557105 cites W10390722 @default.
• W2107557105 cites W1483357098 @default.
• W2107557105 cites W1490920196 @default.
• W2107557105 cites W1520937835 @default.
• W2107557105 cites W1523017397 @default.
• W2107557105 cites W1537167203 @default.
• W2107557105 cites W1544139521 @default.
• W2107557105 cites W1555563750 @default.
• W2107557105 cites W1559245618 @default.
• W2107557105 cites W1560547419 @default.
• W2107557105 cites W1604565659 @default.
• W2107557105 cites W1622055787 @default.
• W2107557105 cites W1708042184 @default.
• W2107557105 cites W176666407 @default.
• W2107557105 cites W178176081 @default.
• W2107557105 cites W181545316 @default.
• W2107557105 cites W1914078299 @default.
• W2107557105 cites W1970348112 @default.
• W2107557105 cites W2005564477 @default.
• W2107557105 cites W2025271293 @default.
• W2107557105 cites W204016045 @default.
• W2107557105 cites W2051626205 @default.
• W2107557105 cites W2064522045 @default.
• W2107557105 cites W2108309071 @default.
• W2107557105 cites W2111386773 @default.
• W2107557105 cites W2136512627 @default.
• W2107557105 cites W2140061645 @default.
• W2107557105 cites W2147729309 @default.
• W2107557105 cites W2160522235 @default.
• W2107557105 cites W2162438644 @default.
• W2107557105 cites W2248098515 @default.
• W2107557105 cites W23932056 @default.
• W2107557105 cites W2572885380 @default.
• W2107557105 cites W259936663 @default.
• W2107557105 cites W62327733 @default.
• W2107557105 cites W94569731 @default.
• W2107557105 cites W2576877206 @default.
• W2107557105 doi "https://doi.org/10.2306/scienceasia1513-1874.2013.39.079" @default.
• W2107557105 hasPublicationYear "2013" @default.
• W2107557105 type Work @default.
• W2107557105 sameAs 2107557105 @default.
• W2107557105 citedByCount "4" @default.
• W2107557105 countsByYear W21075571052013 @default.
• W2107557105 countsByYear W21075571052014 @default.
• W2107557105 countsByYear W21075571052018 @default.
• W2107557105 crossrefType "journal-article" @default.
• W2107557105 hasAuthorship W2107557105A5009134882 @default.
• W2107557105 hasConcept C102993220 @default.
• W2107557105 hasConcept C111472728 @default.
• W2107557105 hasConcept C138885662 @default.
• W2107557105 hasConcept C154945302 @default.
• W2107557105 hasConcept C161301231 @default.
• W2107557105 hasConcept C199360897 @default.
• W2107557105 hasConcept C204321447 @default.
• W2107557105 hasConcept C206497026 @default.
• W2107557105 hasConcept C25810664 @default.
• W2107557105 hasConcept C41008148 @default.
• W2107557105 hasConcept C41895202 @default.
• W2107557105 hasConcept C547195049 @default.
• W2107557105 hasConcept C80444323 @default.
• W2107557105 hasConcept C9616225 @default.
• W2107557105 hasConceptScore W2107557105C102993220 @default.
• W2107557105 hasConceptScore W2107557105C111472728 @default.
• W2107557105 hasConceptScore W2107557105C138885662 @default.
• W2107557105 hasConceptScore W2107557105C154945302 @default.
• W2107557105 hasConceptScore W2107557105C161301231 @default.
• W2107557105 hasConceptScore W2107557105C199360897 @default.
• W2107557105 hasConceptScore W2107557105C204321447 @default.
• W2107557105 hasConceptScore W2107557105C206497026 @default.
• W2107557105 hasConceptScore W2107557105C25810664 @default.
• W2107557105 hasConceptScore W2107557105C41008148 @default.
• W2107557105 hasConceptScore W2107557105C41895202 @default.
• W2107557105 hasConceptScore W2107557105C547195049 @default.
• W2107557105 hasConceptScore W2107557105C80444323 @default.
• W2107557105 hasConceptScore W2107557105C9616225 @default.
• W2107557105 hasLocation W21075571051 @default.
• W2107557105 hasOpenAccess W2107557105 @default.
• W2107557105 hasPrimaryLocation W21075571051 @default.
• W2107557105 hasRelatedWork W1489267200 @default.
• W2107557105 hasRelatedWork W1537167203 @default.
• W2107557105 hasRelatedWork W1544139521 @default.
• W2107557105 hasRelatedWork W166000803 @default.
• W2107557105 hasRelatedWork W1667574996 @default.
• W2107557105 hasRelatedWork W1672442744 @default.
• W2107557105 hasRelatedWork W167288580 @default.
• W2107557105 hasRelatedWork W2007088197 @default.
• W2107557105 hasRelatedWork W20175516 @default.
• W2107557105 hasRelatedWork W2033744971 @default.
• W2107557105 hasRelatedWork W2061651265 @default.
• W2107557105 hasRelatedWork W2096042113 @default.
• W2107557105 hasRelatedWork W2106149277 @default.
• W2107557105 hasRelatedWork W2137603642 @default.
• W2107557105 hasRelatedWork W2147124588 @default.

• next