Computing generalizations of temporal <i>εL</i> concepts with next and global-Reference-Cited by-同舟云学术

Computing generalizations of temporal εL concepts with next and global

Published:2022-04-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Tirtarasa Satyadharma¹,Turhan Anni-Yasmin¹

Affiliation:

1. Technische Universität Dresden, Dresden, Germany

Funder

DFG

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3477314.3507136

Reference10 articles.

1. A. Artale , R. Kontchakov , A. Kovtunova , V. Ryzhikov , F. Wolter , and M. Zakharyaschev . 2017 . Ontology-Mediated Query Answering over Temporal Data: A Survey. In 24th Int. Sympos. on Temp. Representation and Reasoning, TIME. A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, and M. Zakharyaschev. 2017. Ontology-Mediated Query Answering over Temporal Data: A Survey. In 24th Int. Sympos. on Temp. Representation and Reasoning, TIME.

2. F. Baader , S. Borgwardt , P. Koopmann , V. Thost , and A.-Y. Turhan . 2020. Semantic Technologies for Situation Awareness. KI - Künstliche Intelligenz ( 2020 ). F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan. 2020. Semantic Technologies for Situation Awareness. KI - Künstliche Intelligenz (2020).

3. F. Baader , S. Brandt , and C. Lutz . 2005. Pushing the εL Envelope . In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence IJCAI-05 . F. Baader, S. Brandt, and C. Lutz. 2005. Pushing the εL Envelope. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence IJCAI-05.

4. F. Baader , R. Küsters , and R. Molitor . 1999. Computing Least Common Subsumers in Description Logics with Existential Restrictions . In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI'99) . F. Baader, R. Küsters, and R. Molitor. 1999. Computing Least Common Subsumers in Description Logics with Existential Restrictions. In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI'99).

5. S. Brandt , A.-Y. Turhan , and R. Küsters . 2003. Extensions of Non-standard Inferences to Description Logics with transitive Roles . In Proc. of the 10th Int. Conf. on Logic for Programming, AI, and Reasoning (LPAR'03) (LNCS). Springer. S. Brandt, A.-Y. Turhan, and R. Küsters. 2003. Extensions of Non-standard Inferences to Description Logics with transitive Roles. In Proc. of the 10th Int. Conf. on Logic for Programming, AI, and Reasoning (LPAR'03) (LNCS). Springer.