Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/lpar/TessarisH02, title={Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics}, pages={435-449}, year={2002}, crossref={DBLP:conf/lpar/2002}, booktitle={LPAR}, ee={http://link.springer.de/link/service/series/0558/bibs/2514/25140435.htm}, url={http://www.informatik.uni-trier.de/~ley/db/conf/lpar/lpar2002.html#TessarisH02}, author={Sergio Tessaris and Ian Horrocks} }\end{bibtex}

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