%0 Conference Paper %1 conf/flairs/BaumeisterKS07 %A Baumeister, Joachim %A Kleemann, Thomas %A Seipel, Dietmar %B FLAIRS Conference %D 2007 %E Wilson, David %E Sutcliffe, Geoff %I AAAI Press %K %P 524-529 %T Towards the Verification of Ontologies with Rules. %U http://dblp.uni-trier.de/db/conf/flairs/flairs2007.html#BaumeisterKS07 %@ 978-1-57735-319-5

@inproceedings{conf/flairs/BaumeisterKS07, added-at = {2023-12-12T17:41:47.000+0100}, author = {Baumeister, Joachim and Kleemann, Thomas and Seipel, Dietmar}, biburl = {https://www.bibsonomy.org/bibtex/255d47c36b93e6e65fecb6b8b95270381/admin}, booktitle = {FLAIRS Conference}, crossref = {conf/flairs/2007}, editor = {Wilson, David and Sutcliffe, Geoff}, ee = {http://www.aaai.org/Library/FLAIRS/2007/flairs07-103.php}, interhash = {07656b736efea5f4af0f8b25db57ba98}, intrahash = {55d47c36b93e6e65fecb6b8b95270381}, isbn = {978-1-57735-319-5}, keywords = {}, pages = {524-529}, publisher = {AAAI Press}, timestamp = {2023-12-12T17:41:47.000+0100}, title = {Towards the Verification of Ontologies with Rules.}, url = {http://dblp.uni-trier.de/db/conf/flairs/flairs2007.html#BaumeisterKS07}, year = 2007 }