Weiter zum Inhalt Weiter zur Fußzeile

Horned-OWL: Flying Further and Faster with Ontologies

Lord, P., Gehrke, B., Larralde, M., Hastings, J., De Bortoli, F., Overton, J. & Balhoff, J. & 1 weitere, Warrender, J., 18 Dez. 2024, in: Transactions on Graph Data and Knowledge (TGDK). 2, 2, 14 S., 9.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability

Baader, F. & De Bortoli, F., 1 Okt. 2024, in: ACM SIGAPP Applied Computing Review. 24, 3, S. 5–17

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Eingeladen › Begutachtung

The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

De Bortoli, F., Borgwardt, S. & Koopmann, P., Juni 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024). Giordano, L., Jung, J. C. & Ozaki, A. (Hrsg.). CEUR-WS.org, Band 3739.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

Baader, F. & De Bortoli, F., 8 Apr. 2024, Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing. Association for Computing Machinery (ACM), New York, S. 754-761 8 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

On the Abstract Expressive Power of Description Logics with Concrete Domains

De Bortoli, F. & Baader, F., 2023, Proceedings of the 36th International Workshop on Description Logics. Ozaki, A., Lutz, C. & Kutz, O. (Hrsg.). CEUR-WS.org, Band 3515. (CEUR Workshop Proceedings).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (11)