Ana Ozaki

Available identifiers

Publication	Date of Publication	Type
Learning Horn envelopes via queries from language models	2024-07-24	Paper
Non-normal Modal description logics	2024-05-29	Paper
First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications	2024-04-25	Paper
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions	2023-11-03	Paper
Mining ℰℒ⊥ Bases with Adaptable Role Depth	2023-08-28	Paper
Consequence-based axiom pinpointing	2023-07-28	Paper
On the Complexity of Learning Description Logic Ontologies	2023-03-24	Paper
Exact learning: on the boundary between Horn and CNF	2022-12-05	Paper
Theorem proving for pointwise metric temporal logic over the naturals via translations	2021-02-17	Paper
Metric temporal description logics with interval-rigid names	2020-09-11	Paper
Preserving constraints with the stable chase	2020-08-06	Paper
Temporally attributed description logics	2020-06-04	Paper
Learning ontologies with epistemic reasoning: the \(\mathcal{EL}\) case	2020-02-18	Paper
Exact learning of lightweight description logic ontologies	2018-11-22	Paper
On metric temporal description logics	2018-07-12	Paper
Exact learning of multivalued dependency formulas	2018-03-12	Paper
Metric temporal description logics with interval-rigid names	2018-01-04	Paper
Theorem proving for metric temporal logic over the naturals	2017-09-22	Paper
Exact Learning of Multivalued Dependencies	2016-11-30	Paper

This page was built for person: Ana Ozaki