BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260411T101249Z
UID:Seminar-ARK-623@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Louwe Kuijer:MAILTO:Louwe.Kuijer@liverpool.ac.uk
DTSTART:20200601T150000
DTEND:20200601T160000
SUMMARY:Argumentation and Representation of Knowledge Series
DESCRIPTION:Hadrien Pulcini: Logical Separability of Incomplete Data under Ontologies\n\nFinding 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, and generating referring expressions. In this paper, we investigate the existence of a separating formula for incomplete data in the presence of an ontology. Both for the ontology language and the separation language, we concentrate on first-order logic and three important fragments thereof: the description logic ALCI, the guarded fragment, and the two-variable fragment. We consider several forms of separability that differ in whether or not they admit the use of additional helper symbols to achieve separation and in the treatment of negative examples. We aim to characterise separability in a model-theoretic way, to compare the separating power of the different languages, and to determine the computational complexity of separability as a decision problem.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=623
LOCATION:
END:VEVENT
END:VCALENDAR