![Science / Logic / Information / Transitive closure / Abox / Description logic Science / Logic / Information / Transitive closure / Abox / Description logic](https://www.pdfsearch.io/img/1d78f4308cad86ceff0edede578a47f3.jpg)
| Document Date: 2007-07-26 07:53:30 Open Document File Size: 325,19 KBShare Result on Facebook
Country United Kingdom / United States / Netherlands / / Facility Computer Science University of Manchester / / IndustryTerm web ontology language / tableau algorithms / maintenance tools / computational services / Rule applications / tableau algorithm / ontology tools / / Organization University of Manchester / Peter F. Patel-Schneider School / / Person Ai / Dmitry Tsarkov / Ian Horrocks / / Position Racer / / Technology tableau-based algorithms / tableau algorithm / SHOIQ algorithm / concept C. The algorithm / CvD / Tableau algorithms / SHOIQ tableau algorithm / /
SocialTag |