Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics
Author(s)
Simona Colucci
Date Issued
2012
Type
conferenceObject
Volume
857
Issue
857
Start Page
32
End Page
46
Journal
Proceedings of the 9th Italian Convention on Computational Logic
Conference(s)
Proceedings of the 9th Italian Convention on Computational Logic
