Finding Maximally Satisfiable Terminologies for the Description Logic ALC

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/MeyerLBP06, title={Finding Maximally Satisfiable Terminologies for the Description Logic ALC}, year={2006}, crossref={DBLP:conf/aaai/2006}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2006.html#MeyerLBP06}, author={Thomas Meyer and Kevin Lee and Richard Booth and Jeff Z. Pan} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Finding_Maximally_Satisfiable_Terminologies_for_the_Description_Logic_ALC"
Personal tools