Skip to main content

Consequence−Based Reasoning for SRIQ Ontologies

Andrew Bate

School
University of Oxford
Year
2016