Search filters

List of works by Ana Ozaki

Attributed Description Logics: Ontologies for Knowledge Graphs

First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications

scientific article published on 05 March 2024

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

scientific article published on 03 June 2023

Metric Temporal Description Logics with Interval-Rigid Names

scientific article published on 11 August 2020

Temporally Attributed Description Logics

Paulina is supported by:

About Paulina

Help