Ana Ozaki
Ana Ozaki
University of Bergen
No verified email - Homepage
Cited by
Cited by
On metric temporal description logics
V Gutierrez Basulto, JC Jung, A Ozaki
IOS Press 285, 837-845, 2016
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
Exact learning of lightweight description logic ontologies
B Konev, C Lutz, A Ozaki, F Wolter
The Journal of Machine Learning Research 18 (1), 7312-7374, 2017
A model for learning description logic ontologies based on exact learning
B Konev, A Ozaki, F Wolter
Thirtieth AAAI Conference on Artificial Intelligence, 2016
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
Schema. org as a description logic
A Hernich, C Lutz, A Ozaki, F Wolter
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
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
Preserving constraints with the stable chase
D Carral, M Krötzsch, M Marx, A Ozaki, S Rudolf
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018
Querying attributed DL-Lite ontologies using provenance semirings
C Bourgaux, A Ozaki
Proceedings of the AAAI Conference on Artificial Intelligence 33, 2719-2726, 2019
Enriching ontology-based data access with provenance
D Calvanese, D Lanti, A Ozaki, R Penaloza, G Xiao
AAAI Press, 2019
Exactlearner: a tool for exact learning of EL ontologies
R Duarte, B Konev, A Ozaki
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
Do You Need Infinite Time?.
A Artale, A Mazzullo, A Ozaki
IJCAI, 1516-1522, 2019
Provenance in ontology-based data access
A Ozaki, R Penaloza
31st International Workshop on Description Logics, DL 2018 2211, 2018
Happy Ever After: Temporally Attributed Description Logics.
A Ozaki, M Krötzsch, S Rudolph
Description Logics, 2018
Theorem proving for metric temporal logic over the naturals
U Hustadt, A Ozaki, C Dixon
International Conference on Automated Deduction, 326-343, 2017
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals
A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter
arXiv preprint arXiv:2007.02736, 2020
Enriching ontology-based data access with provenance (Extended version)
D Calvanese, D Lanti, A Ozaki, R Penaloza, G Xiao
arXiv preprint arXiv:1906.00179, 2019
Temporally attributed description logics
A Ozaki, M Krötzsch, S Rudolph
Description logic, theory combination, and all that, 441-474, 2019
Consequence-based axiom pinpointing
A Ozaki, R Peñaloza
International Conference on Scalable Uncertainty Management, 181-195, 2018
The system can't perform the operation now. Try again later.
Articles 1–20