Publisher
Springer Nature Switzerland
Reference32 articles.
1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2005
3. Benítez-Caballero, M.J., Medina, J., Ramírez-Poussa, E.: Characterizing one-sided formal concept analysis by multi-adjoint concept lattices. Mathematics 10(7), 1020 (2022)
4. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1–2), 70–118 (2005)
5. van der Berg, I., Domenico, A.D., Greco, G., Manoorkar, K.B., Palmigiano, A., Panettiere, M.: Non-distributive description logic (2024)