no code implementations • 3 Nov 2014 • Arjun Bhardwaj, Sangeetha
We extend the DL SROIQ with constraint networks and grounded circumscription.