Matches in SemOpenAlex for { <https://semopenalex.org/work/W2405812406> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2405812406 endingPage "389" @default.
- W2405812406 startingPage "377" @default.
- W2405812406 abstract "We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logicALC when such uniform interpolants exist. We also present an experimental evaluation of our approach and its applications to concept forgetting, ontology obfuscation and logical difference on real-life ALC ontologies. Our results indicate that in many practical cases a uniform interpolant exists and can be computed with the presented algorithm." @default.
- W2405812406 created "2016-06-24" @default.
- W2405812406 creator A5032067568 @default.
- W2405812406 creator A5044188329 @default.
- W2405812406 date "2013-01-01" @default.
- W2405812406 modified "2023-09-24" @default.
- W2405812406 title "Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes." @default.
- W2405812406 cites W1484202639 @default.
- W2405812406 cites W1490659351 @default.
- W2405812406 cites W1513576223 @default.
- W2405812406 cites W1560547419 @default.
- W2405812406 cites W1560984185 @default.
- W2405812406 cites W1567108904 @default.
- W2405812406 cites W1602801054 @default.
- W2405812406 cites W1920591640 @default.
- W2405812406 cites W2017094488 @default.
- W2405812406 cites W2079384024 @default.
- W2405812406 cites W2094689321 @default.
- W2405812406 cites W2108071404 @default.
- W2405812406 cites W2126851641 @default.
- W2405812406 cites W2127024857 @default.
- W2405812406 cites W2147729309 @default.
- W2405812406 cites W2912255306 @default.
- W2405812406 cites W2132642653 @default.
- W2405812406 cites W2583688014 @default.
- W2405812406 hasPublicationYear "2013" @default.
- W2405812406 type Work @default.
- W2405812406 sameAs 2405812406 @default.
- W2405812406 citedByCount "3" @default.
- W2405812406 countsByYear W24058124062013 @default.
- W2405812406 countsByYear W24058124062014 @default.
- W2405812406 crossrefType "journal-article" @default.
- W2405812406 hasAuthorship W2405812406A5032067568 @default.
- W2405812406 hasAuthorship W2405812406A5044188329 @default.
- W2405812406 hasConcept C102993220 @default.
- W2405812406 hasConcept C111472728 @default.
- W2405812406 hasConcept C11413529 @default.
- W2405812406 hasConcept C115961682 @default.
- W2405812406 hasConcept C137800194 @default.
- W2405812406 hasConcept C138268822 @default.
- W2405812406 hasConcept C138885662 @default.
- W2405812406 hasConcept C154945302 @default.
- W2405812406 hasConcept C199360897 @default.
- W2405812406 hasConcept C25810664 @default.
- W2405812406 hasConcept C38652104 @default.
- W2405812406 hasConcept C40305131 @default.
- W2405812406 hasConcept C41008148 @default.
- W2405812406 hasConcept C41895202 @default.
- W2405812406 hasConcept C7149132 @default.
- W2405812406 hasConcept C80444323 @default.
- W2405812406 hasConceptScore W2405812406C102993220 @default.
- W2405812406 hasConceptScore W2405812406C111472728 @default.
- W2405812406 hasConceptScore W2405812406C11413529 @default.
- W2405812406 hasConceptScore W2405812406C115961682 @default.
- W2405812406 hasConceptScore W2405812406C137800194 @default.
- W2405812406 hasConceptScore W2405812406C138268822 @default.
- W2405812406 hasConceptScore W2405812406C138885662 @default.
- W2405812406 hasConceptScore W2405812406C154945302 @default.
- W2405812406 hasConceptScore W2405812406C199360897 @default.
- W2405812406 hasConceptScore W2405812406C25810664 @default.
- W2405812406 hasConceptScore W2405812406C38652104 @default.
- W2405812406 hasConceptScore W2405812406C40305131 @default.
- W2405812406 hasConceptScore W2405812406C41008148 @default.
- W2405812406 hasConceptScore W2405812406C41895202 @default.
- W2405812406 hasConceptScore W2405812406C7149132 @default.
- W2405812406 hasConceptScore W2405812406C80444323 @default.
- W2405812406 hasLocation W24058124061 @default.
- W2405812406 hasOpenAccess W2405812406 @default.
- W2405812406 hasPrimaryLocation W24058124061 @default.
- W2405812406 hasRelatedWork W114870309 @default.
- W2405812406 hasRelatedWork W1522802449 @default.
- W2405812406 hasRelatedWork W153664291 @default.
- W2405812406 hasRelatedWork W1543188503 @default.
- W2405812406 hasRelatedWork W1560984185 @default.
- W2405812406 hasRelatedWork W1586045930 @default.
- W2405812406 hasRelatedWork W1605651526 @default.
- W2405812406 hasRelatedWork W1616876906 @default.
- W2405812406 hasRelatedWork W1920591640 @default.
- W2405812406 hasRelatedWork W2024151802 @default.
- W2405812406 hasRelatedWork W2057503265 @default.
- W2405812406 hasRelatedWork W2069748505 @default.
- W2405812406 hasRelatedWork W2094689321 @default.
- W2405812406 hasRelatedWork W2342179682 @default.
- W2405812406 hasRelatedWork W2395270431 @default.
- W2405812406 hasRelatedWork W2466923300 @default.
- W2405812406 hasRelatedWork W2768054079 @default.
- W2405812406 hasRelatedWork W283472482 @default.
- W2405812406 hasRelatedWork W3039989778 @default.
- W2405812406 hasRelatedWork W1487144664 @default.
- W2405812406 isParatext "false" @default.
- W2405812406 isRetracted "false" @default.
- W2405812406 magId "2405812406" @default.
- W2405812406 workType "article" @default.