Author:
Böhme Stephan,Kühn Thomas
Publisher
Springer International Publishing
Reference25 articles.
1. Ahmad, M.A., Nadeem, A.: Consistency checking of UML models using description logics: a critical review. In: Proceedings of the ICET 2010, pp. 310–315 (2010)
2. Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
3. Baader, F., et al.: Context-dependent views to axioms and consequences of semantic web ontologies. J. Web Semant. 12, 22–40 (2012)
4. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1–2), 70–118 (2005)
5. Lecture Notes in Computer Science;L Bertossi,2017