"Reducing OWL entailment to description logic satisfiability."

Ian Horrocks, Peter F. Patel-Schneider (2004)

Details and statistics

DOI: 10.1016/J.WEBSEM.2004.06.003

access: closed

type: Journal Article

metadata version: 2022-04-12

a service of  Schloss Dagstuhl - Leibniz Center for Informatics