Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285666359> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4285666359 abstract "Finding a logical formula that separates positive and negative examples given in the form of labeled data items is fundamental in applications such as concept learning, reverse engineering of database queries, generating referring expressions, and entity comparison in knowledge graphs. In this paper, we investigate the existence of a separating formula for data in the presence of an ontology. Both for the ontology language and the separation language, we concentrate on first-order logic and the following important fragments thereof: the description logic $mathcal{ALCI}$, the guarded fragment, the two-variable fragment, and the guarded negation fragment. For separation, we also consider (unions of) conjunctive queries. We consider several forms of separability that differ in the treatment of negative examples and in whether or not they admit the use of additional helper symbols to achieve separation. Our main results are model-theoretic characterizations of (all variants of) separability, the comparison of the separating power of different languages, and the investigation of the computational complexity of deciding separability." @default.
- W4285666359 created "2022-07-17" @default.
- W4285666359 creator A5004455641 @default.
- W4285666359 creator A5010967150 @default.
- W4285666359 creator A5034616829 @default.
- W4285666359 creator A5078985256 @default.
- W4285666359 date "2020-07-03" @default.
- W4285666359 modified "2023-09-24" @default.
- W4285666359 title "Logical Separability of Labeled Data Examples under Ontologies" @default.
- W4285666359 doi "https://doi.org/10.48550/arxiv.2007.01610" @default.
- W4285666359 hasPublicationYear "2020" @default.
- W4285666359 type Work @default.
- W4285666359 citedByCount "0" @default.
- W4285666359 crossrefType "posted-content" @default.
- W4285666359 hasAuthorship W4285666359A5004455641 @default.
- W4285666359 hasAuthorship W4285666359A5010967150 @default.
- W4285666359 hasAuthorship W4285666359A5034616829 @default.
- W4285666359 hasAuthorship W4285666359A5078985256 @default.
- W4285666359 hasBestOaLocation W42856663591 @default.
- W4285666359 hasConcept C111472728 @default.
- W4285666359 hasConcept C134752490 @default.
- W4285666359 hasConcept C138885662 @default.
- W4285666359 hasConcept C154945302 @default.
- W4285666359 hasConcept C173856430 @default.
- W4285666359 hasConcept C195818886 @default.
- W4285666359 hasConcept C199360897 @default.
- W4285666359 hasConcept C203702819 @default.
- W4285666359 hasConcept C204321447 @default.
- W4285666359 hasConcept C2129575 @default.
- W4285666359 hasConcept C2185349 @default.
- W4285666359 hasConcept C25810664 @default.
- W4285666359 hasConcept C2776235265 @default.
- W4285666359 hasConcept C33923547 @default.
- W4285666359 hasConcept C41008148 @default.
- W4285666359 hasConcept C5655090 @default.
- W4285666359 hasConcept C61673122 @default.
- W4285666359 hasConcept C65647387 @default.
- W4285666359 hasConcept C67186912 @default.
- W4285666359 hasConcept C77088390 @default.
- W4285666359 hasConcept C80444323 @default.
- W4285666359 hasConceptScore W4285666359C111472728 @default.
- W4285666359 hasConceptScore W4285666359C134752490 @default.
- W4285666359 hasConceptScore W4285666359C138885662 @default.
- W4285666359 hasConceptScore W4285666359C154945302 @default.
- W4285666359 hasConceptScore W4285666359C173856430 @default.
- W4285666359 hasConceptScore W4285666359C195818886 @default.
- W4285666359 hasConceptScore W4285666359C199360897 @default.
- W4285666359 hasConceptScore W4285666359C203702819 @default.
- W4285666359 hasConceptScore W4285666359C204321447 @default.
- W4285666359 hasConceptScore W4285666359C2129575 @default.
- W4285666359 hasConceptScore W4285666359C2185349 @default.
- W4285666359 hasConceptScore W4285666359C25810664 @default.
- W4285666359 hasConceptScore W4285666359C2776235265 @default.
- W4285666359 hasConceptScore W4285666359C33923547 @default.
- W4285666359 hasConceptScore W4285666359C41008148 @default.
- W4285666359 hasConceptScore W4285666359C5655090 @default.
- W4285666359 hasConceptScore W4285666359C61673122 @default.
- W4285666359 hasConceptScore W4285666359C65647387 @default.
- W4285666359 hasConceptScore W4285666359C67186912 @default.
- W4285666359 hasConceptScore W4285666359C77088390 @default.
- W4285666359 hasConceptScore W4285666359C80444323 @default.
- W4285666359 hasLocation W42856663591 @default.
- W4285666359 hasOpenAccess W4285666359 @default.
- W4285666359 hasPrimaryLocation W42856663591 @default.
- W4285666359 hasRelatedWork W1100481827 @default.
- W4285666359 hasRelatedWork W2097765725 @default.
- W4285666359 hasRelatedWork W2135109168 @default.
- W4285666359 hasRelatedWork W2887003345 @default.
- W4285666359 hasRelatedWork W2943891349 @default.
- W4285666359 hasRelatedWork W2953274432 @default.
- W4285666359 hasRelatedWork W3038935076 @default.
- W4285666359 hasRelatedWork W3081052466 @default.
- W4285666359 hasRelatedWork W3134625280 @default.
- W4285666359 hasRelatedWork W942239141 @default.
- W4285666359 isParatext "false" @default.
- W4285666359 isRetracted "false" @default.
- W4285666359 workType "article" @default.