Browse by People

Konev, Boris, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Light weight Description Logic Ontologies. JOURNAL OF MACHINE LEARNING RESEARCH, 18.

Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, 18 (201). pp. 1-63.

Konev, Boris, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, 18. 201:1 - 201:1.

Duarte, Ricardo, Konev, Boris ORCID: 0000-0002-6507-0494 and Ozaki, Ana (2018) ExactLearner: A Tool for Exact Learning of εL Ontologies. In: 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018-10-30 - 2018-11-2, Tempe, Arizona, USA.

Artale, Alessandro, Jung, Jean Christoph, Mazzullo, Andrea, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X (2023) Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Transactions on Computational Logic, 24 (4). pp. 1-51.

Konev, Boris ORCID: 0000-0002-6507-0494, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X (2016) A Model for Learning Description Logic Ontologies Based on Exact Learning. .

Artale, Alessandro, Mazzullo, Andrea, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X (2021) On Free Description Logics with Definite Descriptions. In: 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}, 2020-11-12 - 2021-11-18.

Hernich, Andre, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2015) Schema.org as a Description Logic. In: Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015-7-25 - 2015-7-31, Buenos Aires, Argentina.

Hustadt, Ullrich ORCID: 0000-0002-0455-0267, Ozaki, Ana and Dixon, Clare ORCID: 0000-0002-4610-9533 (2020) Theorem Proving for Pointwise Metric Temporal Logic Overthe Naturals via Translations. Journal of Automated Reasoning, 64 (8). pp. 1553-1610.