Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference49 articles.
1. Baader, F.: Computing the least common subsumer in the description logic E 𝓛 $\mathcal {E}\mathcal {L}$ w.r.t. terminological cycles with descriptive semantics. In: Ganter, B., De Moor, A., Lex, W. (eds.) Conceptual Structures for Knowledge Creation and Communication, Lecture Notes in Computer Science, vol. 2746, pp 117–130. Springer, Berlin Heidelberg (2003)
2. Baader, F.: A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic E 𝓛 $\mathcal {E}\mathcal {L}$ . In: Hromkovic, J., Nagl, M., Westfechtel, B. (eds.) Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science, vol. 3353, pp 177–188. Springer, Berlin (2005)
3. Baader, F., Küsters, R: Non-standard inferences in description logics: the story so far. In: Gabbay, D.M., Goncharov, S.S., Zakharyaschev, M. (eds.) Mathematical Problems from Applied Logic I, International Mathematical Series, vol. 4, pp 1–75. Springer, New York (2006)
4. Baader, F., Morawska, B.: Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, 2009 Proceedings. Springer Berlin Heidelberg, Berlin, Heidelberg, chap Unification in the Description Logic EL, pp. 350–364 (2009)
5. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp 364–369. Morgan Kaufmann Publishers Inc., CA, USA (2005)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献