Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567108904> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1567108904 endingPage "274" @default.
- W1567108904 startingPage "259" @default.
- W1567108904 abstract "We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic $mathcal{ EL}$ , we present a tractable algorithm which, given two terminologies and a signature, outputs a set of concepts, which can be regarded as the logical difference between the two terminologies. As a consequence, the algorithm can also decide whether they imply the same concept implications in the signature. A prototype implementation CEX of this algorithm is presented and experimental results based on distinct versions of $textsc{Snomed ct}$ , the Systematized Nomenclature of Medicine, Clinical Terms, are discussed. Finally, results regarding the relation to uniform interpolants and possible extensions to more expressive description logics are presented." @default.
- W1567108904 created "2016-06-24" @default.
- W1567108904 creator A5010967150 @default.
- W1567108904 creator A5032067568 @default.
- W1567108904 creator A5033965949 @default.
- W1567108904 date "2008-08-29" @default.
- W1567108904 modified "2023-10-14" @default.
- W1567108904 title "The Logical Difference Problem for Description Logic Terminologies" @default.
- W1567108904 cites W1515170701 @default.
- W1567108904 cites W1525208404 @default.
- W1567108904 cites W1717828047 @default.
- W1567108904 cites W1854293932 @default.
- W1567108904 cites W2071786581 @default.
- W1567108904 cites W2127394739 @default.
- W1567108904 cites W2160522235 @default.
- W1567108904 cites W4292763817 @default.
- W1567108904 doi "https://doi.org/10.1007/978-3-540-71070-7_21" @default.
- W1567108904 hasPublicationYear "2008" @default.
- W1567108904 type Work @default.
- W1567108904 sameAs 1567108904 @default.
- W1567108904 citedByCount "77" @default.
- W1567108904 countsByYear W15671089042012 @default.
- W1567108904 countsByYear W15671089042013 @default.
- W1567108904 countsByYear W15671089042014 @default.
- W1567108904 countsByYear W15671089042015 @default.
- W1567108904 countsByYear W15671089042016 @default.
- W1567108904 countsByYear W15671089042017 @default.
- W1567108904 countsByYear W15671089042018 @default.
- W1567108904 countsByYear W15671089042019 @default.
- W1567108904 countsByYear W15671089042020 @default.
- W1567108904 countsByYear W15671089042021 @default.
- W1567108904 crossrefType "book-chapter" @default.
- W1567108904 hasAuthorship W1567108904A5010967150 @default.
- W1567108904 hasAuthorship W1567108904A5032067568 @default.
- W1567108904 hasAuthorship W1567108904A5033965949 @default.
- W1567108904 hasBestOaLocation W15671089042 @default.
- W1567108904 hasConcept C102993220 @default.
- W1567108904 hasConcept C11413529 @default.
- W1567108904 hasConcept C124101348 @default.
- W1567108904 hasConcept C134752490 @default.
- W1567108904 hasConcept C136119220 @default.
- W1567108904 hasConcept C138885662 @default.
- W1567108904 hasConcept C154945302 @default.
- W1567108904 hasConcept C177264268 @default.
- W1567108904 hasConcept C199360897 @default.
- W1567108904 hasConcept C202444582 @default.
- W1567108904 hasConcept C206497026 @default.
- W1567108904 hasConcept C2524010 @default.
- W1567108904 hasConcept C25343380 @default.
- W1567108904 hasConcept C2779696439 @default.
- W1567108904 hasConcept C33923547 @default.
- W1567108904 hasConcept C41008148 @default.
- W1567108904 hasConcept C41895202 @default.
- W1567108904 hasConcept C547195049 @default.
- W1567108904 hasConcept C80444323 @default.
- W1567108904 hasConceptScore W1567108904C102993220 @default.
- W1567108904 hasConceptScore W1567108904C11413529 @default.
- W1567108904 hasConceptScore W1567108904C124101348 @default.
- W1567108904 hasConceptScore W1567108904C134752490 @default.
- W1567108904 hasConceptScore W1567108904C136119220 @default.
- W1567108904 hasConceptScore W1567108904C138885662 @default.
- W1567108904 hasConceptScore W1567108904C154945302 @default.
- W1567108904 hasConceptScore W1567108904C177264268 @default.
- W1567108904 hasConceptScore W1567108904C199360897 @default.
- W1567108904 hasConceptScore W1567108904C202444582 @default.
- W1567108904 hasConceptScore W1567108904C206497026 @default.
- W1567108904 hasConceptScore W1567108904C2524010 @default.
- W1567108904 hasConceptScore W1567108904C25343380 @default.
- W1567108904 hasConceptScore W1567108904C2779696439 @default.
- W1567108904 hasConceptScore W1567108904C33923547 @default.
- W1567108904 hasConceptScore W1567108904C41008148 @default.
- W1567108904 hasConceptScore W1567108904C41895202 @default.
- W1567108904 hasConceptScore W1567108904C547195049 @default.
- W1567108904 hasConceptScore W1567108904C80444323 @default.
- W1567108904 hasLocation W15671089041 @default.
- W1567108904 hasLocation W15671089042 @default.
- W1567108904 hasOpenAccess W1567108904 @default.
- W1567108904 hasPrimaryLocation W15671089041 @default.
- W1567108904 hasRelatedWork W1567108904 @default.
- W1567108904 hasRelatedWork W1622055787 @default.
- W1567108904 hasRelatedWork W2197816736 @default.
- W1567108904 hasRelatedWork W2570506554 @default.
- W1567108904 hasRelatedWork W2902704465 @default.
- W1567108904 hasRelatedWork W3081444138 @default.
- W1567108904 hasRelatedWork W3142240870 @default.
- W1567108904 hasRelatedWork W3192075330 @default.
- W1567108904 hasRelatedWork W1603034342 @default.
- W1567108904 hasRelatedWork W2612866400 @default.
- W1567108904 isParatext "false" @default.
- W1567108904 isRetracted "false" @default.
- W1567108904 magId "1567108904" @default.
- W1567108904 workType "book-chapter" @default.