Ana Ozaki
Ana Ozaki
University of Bergen
Keine bestätigte E-Mail-Adresse - Startseite
Titel
Zitiert von
Zitiert von
Jahr
On metric temporal description logics
V Gutierrez Basulto, JC Jung, A Ozaki
IOS Press 285, 837-845, 2016
362016
Metric temporal description logics with interval-rigid names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-46, 2020
352020
Exact learning of lightweight description logic ontologies
B Konev, C Lutz, A Ozaki, F Wolter
Journal of Machine Learning Research 18 (201), 1-63, 2018
322018
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
222018
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
172017
A model for learning description logic ontologies based on exact learning
B Konev, A Ozaki, F Wolter
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
142016
Schema. org as a description logic
A Hernich, C Lutz, A Ozaki, F Wolter
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON …, 2015
132015
Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?
A Ozaki
KI-Künstliche Intelligenz 34 (3), 317-327, 2020
122020
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
122012
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
82018
Theorem proving for metric temporal logic over the naturals
U Hustadt, A Ozaki, C Dixon
International Conference on Automated Deduction, 326-343, 2017
82017
Querying attributed DL-Lite ontologies using provenance semirings
C Bourgaux, A Ozaki
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2719-2726, 2019
72019
Enriching ontology-based data access with provenance
D Calvanese, D Lanti, AHOR Castillo, G Xiao
Proceedings of the 28th International Joint Conference on Artificial …, 2019
62019
Do You Need Infinite Time?.
A Artale, A Mazzullo, A Ozaki
IJCAI, 1516-1522, 2019
62019
Temporally attributed description logics
A Ozaki, M Krötzsch, S Rudolph
Description logic, theory combination, and all that, 441-474, 2019
62019
ExactLearner: A Tool for Exact Learning of epsilon L Ontologies
R Duarte, B Konev, A Ozaki
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
52018
Happy Ever After: Temporally Attributed Description Logics.
A Ozaki, M Krötzsch, S Rudolph
Description Logics, 2018
52018
Temporal Description Logics over Finite Traces.
A Artale, A Mazzullo, A Ozaki
Description Logics, 2018
42018
Provenance in Ontology-based Data Access.
A Ozaki, R Peñaloza
Description Logics, 2018
42018
Exact learning: On the boundary between Horn and CNF
M Hermo, A Ozaki
ACM Transactions on Computation Theory (TOCT) 12 (1), 1-25, 2020
32020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20