@article{riazanov2002,
        title = {The design and implementation of VAMPIRE.},
        author = {Alexandre Riazanov and Andrei Voronkov},
        journal = {AI Commun.},
        number = {2-3},
        pages = {91-110},
        volume = 15,
        year = 2002,
        url = {http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#RiazanovV02},
        ee = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=15&issue=2&spage=91},
	date = {2003-11-27},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/thau},
	keywords = {first-order reasoning}
}

@inproceedings{conf/aaai/CohenBH92,
        title = {Computing Least Common Subsumers in Description Logics.},
        author = {William W. Cohen and Alexander Borgida and Haym Hirsh},
        booktitle = {AAAI},
        pages = {754-760},
        year = 1992,
        url = {http://dblp.uni-trier.de/db/conf/aaai/aaai92.html#CohenBH92},
        date = {2002-01-03},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/26aa7d6596633e6391a1bc5169cfadc97/thau},
	keywords = {disjunctive reasoning}
}

@inproceedings{borgida1989,
        title = {Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.},
        author = {Alexander Borgida and David W. Etherington},
        booktitle = {KR},
        pages = {33-43},
        year = 1989,
        url = {http://dblp.uni-trier.de/db/conf/kr/kr89.html#BorgidaE89},
        date = {2002-01-03},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/21acf29126947946b2cce566c5c32d1b5/thau},
	keywords = {disjunctive reasoning}
}

@inproceedings{conf/ijcai/HuangHT05,
        title = {Reasoning with Inconsistent Ontologies.},
        author = {Zhisheng Huang and Frank van Harmelen and Annette ten Teije},
        booktitle = {IJCAI},
        crossref = {conf/ijcai/2005},
        editor = {Leslie Pack Kaelbling and Alessandro Saffiotti},
        pages = {454-459},
        publisher = {Professional Book Center},
        year = 2005,
        url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2005.html#HuangHT05},
        ee = {http://www.ijcai.org/papers/0337.pdf},
	isbn = {0938075934},
	date = {2005-12-09},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/27cc43885a24f8a237a16cd87acf967ea/thau},
	keywords = {inconsistency ontology reasoning}
}

@article{horrocks00practical,
        title = {Practical Reasoning for Very Expressive Description Logics},
        author = {I. Horrocks and U. Sattler and S. Tobies},
        journal = {Logic Journal of the IGPL},
        number = 3,
        pages = {239--264},
        volume = 8,
        year = 2000,
        url = {http://citeseer.ist.psu.edu/horrocks00practical.html},
        description = {Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (ResearchIndex)},
	biburl = {http://www.bibsonomy.org/bibtex/2b22975479218a08555f9288c27bd1cae/thau},
	keywords = {logic reasoning}
}

@article{journals/tods/BergamaschiS92,
        title = {On Taxonomic Reasoning in Conceptual Design.},
        author = {Sonia Bergamaschi and Claudio Sartori},
        journal = {ACM Trans. Database Syst.},
        number = 3,
        pages = {385-422},
        volume = 17,
        year = 1992,
        url = {http://dblp.uni-trier.de/db/journals/tods/tods17.html#BergamaschiS92},
        cite = {conf/ijcai/Vilain85},
	ee = {db/journals/tods/BergamaschiS92.html},
	cdrom = {TODS17/P385.PDF},
	date = {2006-04-03},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/26f32efcca30296fd1f8431c6e8267f98/thau},
	keywords = {reasoning taxonomy}
}