Up a level |
Konev, B ORCID: 0000-0002-6507-0494, Ozaki, A and Wolter, F
(2015)
Exact learning description logic ontologies from data retrieval examples.
In: 28th International Workshop on Description Logics, 2015-6-7 - 2015-6-10, Athens.
Duarte, R, Konev, B ORCID: 0000-0002-6507-0494 and Ozaki, A
(2018)
Exact learning of EL ontologies.
.
Artale, A, Mazzullo, A, Ozaki, A and Wolter, F
(2021)
On Free Description Logics with Definite Descriptions.
In: International Conference on Principles of Knowledge Representation and Reasoning.
Hustadt, U ORCID: 0000-0002-0455-0267, Ozaki, A and Dixon, C ORCID: 0000-0002-4610-9533
(2017)
Theorem Proving for Metric Temporal Logic over the Naturals.
In: 26th International Conference on Automated Deduction.