19 citations · 52 across the 21 of their papers we have counts for
6 papers · 1 filter
Finding Common Ground for Incoherent Horn Expressions
Ana Ozaki, Anum Rehman, Philip Turk +1
Autonomous systems that operate in a shared environment with people need to be able to follow the rules of the society they occupy. While laws are unique for one society, different…
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?
Ana Ozaki
The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology lea…
On the Complexity of Learning Description Logic Ontologies
Ana Ozaki
Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology h…
Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat, German Braun, Alessandro Artale +2
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check sat…
Learning Query Inseparable ELH Ontologies
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
We investigate the complexity of learning query inseparable ELH ontologies in a variant of Angluin's exact learning model. Given a fixed data instance A* and a query language Q, we…
Learning Ontologies with Epistemic Reasoning: The EL Case
Ana Ozaki, Nicolas Troquard
We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning. We introduce a new learning model consisting of epistem…