Tractable approximate deduction for OWL
| dc.contributor.author | Pan, Jeff Z. | |
| dc.contributor.author | Ren, Yuan | |
| dc.contributor.author | Zhao, Yuting | |
| dc.contributor.institution | University of Aberdeen.Computing Science | en |
| dc.date.accessioned | 2017-06-01T23:02:30Z | |
| dc.date.available | 2017-06-01T23:02:30Z | |
| dc.date.embargoedUntil | 2017-01-18 | |
| dc.date.issued | 2016-06 | |
| dc.description | Acknowledgements This work has been partially supported by the European project Marrying Ontologies and Software Technologies (EU ICT2008-216691), the European project Knowledge Driven Data Exploitation (EU FP7/IAPP2011-286348), the UK EPSRC project WhatIf (EP/J014354/1). The authors thank Prof. Ian Horrocks and Dr. Giorgos Stoilos for their helpful discussion on role subsumptions. The authors thank Rafael S. Gonçalves et al. for providing their hotspots ontologies. The authors also thank BoC-group for providing their ADOxx Metamodelling ontologies. | en |
| dc.description.status | Peer reviewed | en |
| dc.format.extent | 61 | |
| dc.format.extent | 669675 | |
| dc.identifier | 67702406 | |
| dc.identifier | 30697258-90fc-412e-acda-2d40e2552c56 | |
| dc.identifier | 84960462772 | |
| dc.identifier.citation | Pan, J Z, Ren, Y & Zhao, Y 2016, 'Tractable approximate deduction for OWL', Artificial Intelligence, vol. 235, pp. 95-155. https://doi.org/10.1016/j.artint.2015.10.004 | en |
| dc.identifier.doi | 10.1016/j.artint.2015.10.004 | |
| dc.identifier.issn | 0004-3702 | |
| dc.identifier.uri | http://hdl.handle.net/2164/8741 | |
| dc.identifier.vol | 235 | en |
| dc.language.iso | eng | |
| dc.relation.ispartof | Artificial Intelligence | en |
| dc.subject | Ontology | en |
| dc.subject | Approximation | en |
| dc.subject | OWL 2 | en |
| dc.subject | Reasoning | en |
| dc.subject | QA75 Electronic computers. Computer science | en |
| dc.subject | Artificial Intelligence | en |
| dc.subject | Engineering and Physical Sciences Research Council (EPSRC) | en |
| dc.subject | EP/J014354/1 | en |
| dc.subject.lcc | QA75 | en |
| dc.title | Tractable approximate deduction for OWL | en |
| dc.type | Journal article | en |
