Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions

Kevin Lee, Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth
2006 International Workshop on Description Logics  
dblp:conf/dlog/LeeMPB06 fatcat:45jdvnwkyfcvlnc66fayswfwze