Matches in SemOpenAlex for { <https://semopenalex.org/work/W179428513> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W179428513 endingPage "448" @default.
- W179428513 startingPage "434" @default.
- W179428513 abstract "We propose a method for forgetting concept symbols and non-transitive roles symbols of $mathcal{SHQ}$ -ontologies, or for computing uniform interpolants in $mathcal{SHQ}$ . Uniform interpolants restrict the symbols occuring in an ontology to a specified set, while preserving all logical entailments that can be expressed using this set in the description logic under consideration. Uniform interpolation has applications in ontology reuse, information hiding and ontology analysis, but so far no method for computing uniform interpolants for expressive description logics with number restrictions has been developed. Our results are not only interesting because they allow to compute uniform interpolants of ontologies using a more expressive language. Using number restrictions also allows to preserve more information in uniform interpolants of ontologies in less complex logics, such as $mathcal{ALC}$ or $mathcal{EL}$ . The presented method computes uniform interpolants on the basis of a new resolution calculus for $mathcal{SHQ}$ . The output of our method is expressed using $mathcal{SHQ}mu$ , which is $mathcal{SHQ}$ extended with fixpoint operators, to always enable a finite representation of the uniform interpolant. If the uniform interpolant uses fixpoint operators, it can be represented in $mathcal{SHQ}$ without fixpoints operators using additional concept symbols or by approximation." @default.
- W179428513 created "2016-06-24" @default.
- W179428513 creator A5020877951 @default.
- W179428513 creator A5037583341 @default.
- W179428513 date "2014-01-01" @default.
- W179428513 modified "2023-10-10" @default.
- W179428513 title "Count and Forget: Uniform Interpolation of $mathcal{SHQ}$ -Ontologies" @default.
- W179428513 cites W1493549410 @default.
- W179428513 cites W1500674647 @default.
- W179428513 cites W1506641678 @default.
- W179428513 cites W153664291 @default.
- W179428513 cites W179428513 @default.
- W179428513 cites W2109003533 @default.
- W179428513 cites W2147729309 @default.
- W179428513 cites W2155213226 @default.
- W179428513 cites W5650064 @default.
- W179428513 doi "https://doi.org/10.1007/978-3-319-08587-6_34" @default.
- W179428513 hasPublicationYear "2014" @default.
- W179428513 type Work @default.
- W179428513 sameAs 179428513 @default.
- W179428513 citedByCount "19" @default.
- W179428513 countsByYear W1794285132014 @default.
- W179428513 countsByYear W1794285132015 @default.
- W179428513 countsByYear W1794285132016 @default.
- W179428513 countsByYear W1794285132017 @default.
- W179428513 countsByYear W1794285132018 @default.
- W179428513 countsByYear W1794285132019 @default.
- W179428513 countsByYear W1794285132020 @default.
- W179428513 countsByYear W1794285132021 @default.
- W179428513 crossrefType "book-chapter" @default.
- W179428513 hasAuthorship W179428513A5020877951 @default.
- W179428513 hasAuthorship W179428513A5037583341 @default.
- W179428513 hasConcept C111472728 @default.
- W179428513 hasConcept C11413529 @default.
- W179428513 hasConcept C115961682 @default.
- W179428513 hasConcept C118615104 @default.
- W179428513 hasConcept C136119220 @default.
- W179428513 hasConcept C137800194 @default.
- W179428513 hasConcept C138885662 @default.
- W179428513 hasConcept C154945302 @default.
- W179428513 hasConcept C177264268 @default.
- W179428513 hasConcept C199360897 @default.
- W179428513 hasConcept C202444582 @default.
- W179428513 hasConcept C25810664 @default.
- W179428513 hasConcept C33923547 @default.
- W179428513 hasConcept C41008148 @default.
- W179428513 hasConcept C80444323 @default.
- W179428513 hasConceptScore W179428513C111472728 @default.
- W179428513 hasConceptScore W179428513C11413529 @default.
- W179428513 hasConceptScore W179428513C115961682 @default.
- W179428513 hasConceptScore W179428513C118615104 @default.
- W179428513 hasConceptScore W179428513C136119220 @default.
- W179428513 hasConceptScore W179428513C137800194 @default.
- W179428513 hasConceptScore W179428513C138885662 @default.
- W179428513 hasConceptScore W179428513C154945302 @default.
- W179428513 hasConceptScore W179428513C177264268 @default.
- W179428513 hasConceptScore W179428513C199360897 @default.
- W179428513 hasConceptScore W179428513C202444582 @default.
- W179428513 hasConceptScore W179428513C25810664 @default.
- W179428513 hasConceptScore W179428513C33923547 @default.
- W179428513 hasConceptScore W179428513C41008148 @default.
- W179428513 hasConceptScore W179428513C80444323 @default.
- W179428513 hasLocation W1794285131 @default.
- W179428513 hasOpenAccess W179428513 @default.
- W179428513 hasPrimaryLocation W1794285131 @default.
- W179428513 hasRelatedWork W118236634 @default.
- W179428513 hasRelatedWork W1983454176 @default.
- W179428513 hasRelatedWork W2003333417 @default.
- W179428513 hasRelatedWork W2044660641 @default.
- W179428513 hasRelatedWork W2121651557 @default.
- W179428513 hasRelatedWork W2149777447 @default.
- W179428513 hasRelatedWork W2347456287 @default.
- W179428513 hasRelatedWork W2355326633 @default.
- W179428513 hasRelatedWork W2378862226 @default.
- W179428513 hasRelatedWork W2804669904 @default.
- W179428513 isParatext "false" @default.
- W179428513 isRetracted "false" @default.
- W179428513 magId "179428513" @default.
- W179428513 workType "book-chapter" @default.