iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/foiks/HorrocksV06.xml
Ian Horrocks 0001 Andrei Voronkov Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. 201-218 2006 conf/foiks/2006 FoIKS https://doi.org/10.1007/11663881_12 https://www.wikidata.org/entity/Q56988814 db/conf/foiks/foiks2006.html#HorrocksV06