University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Reducing OWL entailment to description logic satisfiability

Ian Horrocks and Peter Patel−Schneider

Details

ISSN

1570−8268

Journal

J. of Web Semantics

Number

4

Pages

345–357

Publisher

Elsevier

Volume

1

Year

2004

Links

BibTeX

Link (pdf)

Related pages