AbstractsPhilosophy & Theology
Tractable reasoning with quality guarantee for expressive description logics
| Institution: | University of Aberdeen |
|---|---|
| Department: | Dept. of Computing Science. |
| Year: | 2014 |
| Keywords: | Description logics.; Knowledge representation (Information theory); Reasoning.; Ontology.; Semantic Web. |
| Record ID: | 1391575 |
| Full text PDF: | http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?application=DIGITOOL-3&owner=resourcediscovery&custom_att_2=simple_viewer&pid=217884 http://digitool2.abdn.ac.uk:1801/webclient/DeliveryManager?pid=217884&custom_att_2=simple_viewer |
Abstract
