Description Logic Reasoning for Dynamic ABoxes

Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
2006 International Workshop on Description Logics  
dblp:conf/dlog/Halaschek-WienerPSK06 fatcat:rkeexgdljbgzzp5wshoycxbone