Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033356064> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3033356064 endingPage "409" @default.
- W3033356064 startingPage "405" @default.
- W3033356064 abstract "Unification in description logics (DLs) has been introduced as a novel inference service that can be used to detect redundancies in ontologies, by finding different concepts that may potentially stand for the same intuitive notion. Together with the special case of matching, they were first investigated in detail for the DL $${mathcal{FL}}_0$$, where these problems can be reduced to solving certain language equations. In this thesis, we extend this service in two directions. In order to increase the recall of this method for finding redundancies, we introduce and investigate the notion of approximate unification, which basically finds pairs of concepts that “almost” unify, in order to account for potential small modelling errors. The meaning of “almost” is formalized using distance measures between concepts. We show that approximate unification in $${mathcal{FL}}_0$$ can be reduced to approximately solving language equations, and devise algorithms for solving the latter problem for particular distance measures. Furthermore, we make a first step towards integrating background knowledge, formulated in so-called TBoxes, by investigating the special case of matching in the presence of TBoxes of different forms. We acquire a tight complexity bound for the general case, while we prove that the problem becomes easier in a restricted setting. To achieve these bounds, we take advantage of an equivalence characterization of $${mathcal{FL}}_0$$ concepts that is based on formal languages. Even though our results on the approximate setting cannot deal with TBoxes yet, we prepare the framework that future research can build on." @default.
- W3033356064 created "2020-06-12" @default.
- W3033356064 creator A5050653272 @default.
- W3033356064 date "2020-06-06" @default.
- W3033356064 modified "2023-10-13" @default.
- W3033356064 title "Quantitative Variants of Language Equations and their Applications to Description Logics" @default.
- W3033356064 cites W2049209348 @default.
- W3033356064 cites W2055611812 @default.
- W3033356064 cites W2057513565 @default.
- W3033356064 cites W2059493921 @default.
- W3033356064 cites W2102201222 @default.
- W3033356064 cites W2168686048 @default.
- W3033356064 cites W2273684054 @default.
- W3033356064 cites W2546288571 @default.
- W3033356064 cites W2588368184 @default.
- W3033356064 cites W2986211019 @default.
- W3033356064 cites W94862620 @default.
- W3033356064 doi "https://doi.org/10.1007/s13218-020-00664-9" @default.
- W3033356064 hasPublicationYear "2020" @default.
- W3033356064 type Work @default.
- W3033356064 sameAs 3033356064 @default.
- W3033356064 citedByCount "0" @default.
- W3033356064 crossrefType "journal-article" @default.
- W3033356064 hasAuthorship W3033356064A5050653272 @default.
- W3033356064 hasBestOaLocation W30333560642 @default.
- W3033356064 hasConcept C102993220 @default.
- W3033356064 hasConcept C105795698 @default.
- W3033356064 hasConcept C11413529 @default.
- W3033356064 hasConcept C118615104 @default.
- W3033356064 hasConcept C134752490 @default.
- W3033356064 hasConcept C138268822 @default.
- W3033356064 hasConcept C154945302 @default.
- W3033356064 hasConcept C165064840 @default.
- W3033356064 hasConcept C199360897 @default.
- W3033356064 hasConcept C2780069185 @default.
- W3033356064 hasConcept C33923547 @default.
- W3033356064 hasConcept C41008148 @default.
- W3033356064 hasConcept C80444323 @default.
- W3033356064 hasConcept C96146094 @default.
- W3033356064 hasConceptScore W3033356064C102993220 @default.
- W3033356064 hasConceptScore W3033356064C105795698 @default.
- W3033356064 hasConceptScore W3033356064C11413529 @default.
- W3033356064 hasConceptScore W3033356064C118615104 @default.
- W3033356064 hasConceptScore W3033356064C134752490 @default.
- W3033356064 hasConceptScore W3033356064C138268822 @default.
- W3033356064 hasConceptScore W3033356064C154945302 @default.
- W3033356064 hasConceptScore W3033356064C165064840 @default.
- W3033356064 hasConceptScore W3033356064C199360897 @default.
- W3033356064 hasConceptScore W3033356064C2780069185 @default.
- W3033356064 hasConceptScore W3033356064C33923547 @default.
- W3033356064 hasConceptScore W3033356064C41008148 @default.
- W3033356064 hasConceptScore W3033356064C80444323 @default.
- W3033356064 hasConceptScore W3033356064C96146094 @default.
- W3033356064 hasIssue "3" @default.
- W3033356064 hasLocation W30333560641 @default.
- W3033356064 hasLocation W30333560642 @default.
- W3033356064 hasOpenAccess W3033356064 @default.
- W3033356064 hasPrimaryLocation W30333560641 @default.
- W3033356064 hasRelatedWork W12216004 @default.
- W3033356064 hasRelatedWork W12636371 @default.
- W3033356064 hasRelatedWork W352166 @default.
- W3033356064 hasRelatedWork W4025399 @default.
- W3033356064 hasRelatedWork W4828744 @default.
- W3033356064 hasRelatedWork W5650064 @default.
- W3033356064 hasRelatedWork W6183661 @default.
- W3033356064 hasRelatedWork W6512268 @default.
- W3033356064 hasRelatedWork W7581064 @default.
- W3033356064 hasRelatedWork W9489112 @default.
- W3033356064 hasVolume "34" @default.
- W3033356064 isParatext "false" @default.
- W3033356064 isRetracted "false" @default.
- W3033356064 magId "3033356064" @default.
- W3033356064 workType "article" @default.