Ana Ozaki
TitleCited byYear
On metric temporal description logics
V Gutiérrez-Basulto, JC Jung, A Ozaki
Proceedings of the Twenty-second European Conference on Artificial …, 2016
242016
Metric temporal description logics with interval-rigid names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
International Symposium on Frontiers of Combining Systems, 60-76, 2017
222017
Exact Learning of Lightweight Description Logic Ontologies.
B Konev, C Lutz, A Ozaki, F Wolter
Journal of Machine Learning Research 18 (201), 1-201, 2017
202017
A model for learning description logic ontologies based on exact learning
B Konev, A Ozaki, F Wolter
Thirtieth AAAI Conference on Artificial Intelligence, 2016
102016
Schema. org as a description logic
A Hernich, C Lutz, A Ozaki, F Wolter
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
102015
What is going on with ubicomp games
FN Buzeto, A Castillo, CD Castanho, RP Jacobi
XI Brazilian Symposium on Computer Games and Digital Entertainment-SBGAMES, 1-7, 2012
102012
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
82017
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
72018
Preserving constraints with the stable chase
D Carral, M Krötzsch, M Marx, A Ozaki, S Rudolph
21st International Conference on Database Theory (ICDT 2018), 2018
42018
Provenance in Ontology-based Data Access.
A Ozaki, R Penaloza
Description Logics, 2018
32018
Querying attributed DL-Lite ontologies using provenance semirings
C Bourgaux, A Ozaki
22019
Do you need infinite time
A Artale, A Mazzullo, A Ozaki
Proceedings of the 28th International Joint Conference on Artificial …, 2019
22019
Temporal Description Logics over Finite Traces.
A Artale, A Mazzullo, A Ozaki
Description Logics, 2018
22018
Happy Ever After: Temporally Attributed Description Logics.
A Ozaki, M Krötzsch, S Rudolph
Description Logics, 2018
22018
Theorem Proving for Metric Temporal Logic over the Naturals
U Hustadt, A Ozaki, C Dixon
International Conference on Automated Deduction, 326-343, 2017
22017
Hydra: An ubiquitous application for service rerouting
LA Almeida, FN Buzeto, AHOR Castillo, CD Castanho, RP Jacobi
2012 9th International Conference on Ubiquitous Intelligence and Computing …, 2012
22012
Segmentacăo, deteccăo e acompanhamento automático de gestos em vídeo usando visăo por computador
AH Ozaki, F Mendonça, DL Borges
XVIII Congresso Brasileiro de Automática—CBA 2010, 2010
22010
Consequence-Based Axiom Pinpointing
A Ozaki, R Peńaloza
International Conference on Scalable Uncertainty Management, 181-195, 2018
12018
Exactlearner: a tool for exact learning of EL ontologies
R Duarte, B Konev, A Ozaki
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
12018
Exact Learning of EL Ontologies.
MRC Duarte, B Konev, A Ozaki
Description Logics, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20