Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379985685> ?p ?o ?g. }
- W4379985685 endingPage "36" @default.
- W4379985685 startingPage "1" @default.
- W4379985685 abstract "Given two datasets, i.e., two sets of tuples of constants, representing positive and negative examples, logical separability is the reasoning task of finding a formula in a certain target query language that separates them. As already pointed out in previous works, this task turns out to be relevant in several application scenarios such as concept learning and generating referring expressions. Besides, if we think of the input datasets of positive and negative examples as composed of tuples of constants classified, respectively, positively and negatively by a black-box model, then the separating formula can be used to provide global post-hoc explanations of such a model. In this paper, we study the separability task in the context of Ontology-based Data Management (OBDM), in which a domain ontology provides a high-level, logic-based specification of a domain of interest, semantically linked through suitable mapping assertions to the data source layer of an information system. Since a formula that properly separates (proper separation) two input datasets does not always exist, our first contribution is to propose (best) approximations of the proper separation, called (minimally) complete and (maximally) sound separations. We do this by presenting a general framework for separability in OBDM. Then, in a scenario that uses by far the most popular languages for the OBDM paradigm, our second contribution is a comprehensive study of three natural computational problems associated with the framework, namely Verification (check whether a given formula is a proper, complete, or sound separation of two given datasets), Existence (check whether a proper, or best approximated separation of two given datasets exists at all), and Computation (compute any proper, or any best approximated separation of two given datasets)." @default.
- W4379985685 created "2023-06-10" @default.
- W4379985685 creator A5024682936 @default.
- W4379985685 creator A5055401331 @default.
- W4379985685 creator A5075438770 @default.
- W4379985685 date "2023-06-08" @default.
- W4379985685 modified "2023-09-30" @default.
- W4379985685 title "Separability and Its Approximations in Ontology-based Data Management" @default.
- W4379985685 cites W1824207140 @default.
- W4379985685 cites W1992673035 @default.
- W4379985685 cites W2024958874 @default.
- W4379985685 cites W2030087828 @default.
- W4379985685 cites W2038765730 @default.
- W4379985685 cites W2058277150 @default.
- W4379985685 cites W2065251436 @default.
- W4379985685 cites W2088044688 @default.
- W4379985685 cites W2089546742 @default.
- W4379985685 cites W2093454413 @default.
- W4379985685 cites W2102729564 @default.
- W4379985685 cites W2137862151 @default.
- W4379985685 cites W2151813316 @default.
- W4379985685 cites W2155899822 @default.
- W4379985685 cites W2163790508 @default.
- W4379985685 cites W2163866595 @default.
- W4379985685 cites W2278564037 @default.
- W4379985685 cites W228104253 @default.
- W4379985685 cites W2338508724 @default.
- W4379985685 cites W2347545322 @default.
- W4379985685 cites W2438156780 @default.
- W4379985685 cites W2612269136 @default.
- W4379985685 cites W2753739231 @default.
- W4379985685 cites W2798632440 @default.
- W4379985685 cites W2798866333 @default.
- W4379985685 cites W2807895649 @default.
- W4379985685 cites W2811446355 @default.
- W4379985685 cites W2896487083 @default.
- W4379985685 cites W2921354344 @default.
- W4379985685 cites W2953268849 @default.
- W4379985685 cites W2963120669 @default.
- W4379985685 cites W2965350305 @default.
- W4379985685 cites W2965856957 @default.
- W4379985685 cites W3034671415 @default.
- W4379985685 cites W3080937756 @default.
- W4379985685 cites W3081052466 @default.
- W4379985685 cites W3101483322 @default.
- W4379985685 cites W3132091045 @default.
- W4379985685 cites W3180494331 @default.
- W4379985685 cites W3207383046 @default.
- W4379985685 cites W3209411321 @default.
- W4379985685 cites W4213322480 @default.
- W4379985685 cites W4232896595 @default.
- W4379985685 cites W4252861488 @default.
- W4379985685 cites W4283119085 @default.
- W4379985685 cites W4285603051 @default.
- W4379985685 cites W4297860799 @default.
- W4379985685 cites W753170256 @default.
- W4379985685 cites W937842695 @default.
- W4379985685 doi "https://doi.org/10.3233/sw-233391" @default.
- W4379985685 hasPublicationYear "2023" @default.
- W4379985685 type Work @default.
- W4379985685 citedByCount "0" @default.
- W4379985685 crossrefType "journal-article" @default.
- W4379985685 hasAuthorship W4379985685A5024682936 @default.
- W4379985685 hasAuthorship W4379985685A5055401331 @default.
- W4379985685 hasAuthorship W4379985685A5075438770 @default.
- W4379985685 hasBestOaLocation W43799856851 @default.
- W4379985685 hasConcept C111472728 @default.
- W4379985685 hasConcept C11413529 @default.
- W4379985685 hasConcept C118615104 @default.
- W4379985685 hasConcept C118930307 @default.
- W4379985685 hasConcept C124101348 @default.
- W4379985685 hasConcept C134306372 @default.
- W4379985685 hasConcept C138885662 @default.
- W4379985685 hasConcept C151730666 @default.
- W4379985685 hasConcept C154945302 @default.
- W4379985685 hasConcept C162324750 @default.
- W4379985685 hasConcept C187736073 @default.
- W4379985685 hasConcept C199360897 @default.
- W4379985685 hasConcept C204321447 @default.
- W4379985685 hasConcept C25810664 @default.
- W4379985685 hasConcept C2777027219 @default.
- W4379985685 hasConcept C2779343474 @default.
- W4379985685 hasConcept C2780451532 @default.
- W4379985685 hasConcept C33923547 @default.
- W4379985685 hasConcept C36503486 @default.
- W4379985685 hasConcept C41008148 @default.
- W4379985685 hasConcept C80444323 @default.
- W4379985685 hasConcept C86803240 @default.
- W4379985685 hasConcept C94966114 @default.
- W4379985685 hasConceptScore W4379985685C111472728 @default.
- W4379985685 hasConceptScore W4379985685C11413529 @default.
- W4379985685 hasConceptScore W4379985685C118615104 @default.
- W4379985685 hasConceptScore W4379985685C118930307 @default.
- W4379985685 hasConceptScore W4379985685C124101348 @default.
- W4379985685 hasConceptScore W4379985685C134306372 @default.
- W4379985685 hasConceptScore W4379985685C138885662 @default.
- W4379985685 hasConceptScore W4379985685C151730666 @default.
- W4379985685 hasConceptScore W4379985685C154945302 @default.