matthewhorridge / owlexplanation

An API and reference implementation for generating justifications for entailments in OWL ontologies
GNU Lesser General Public License v3.0
19 stars 9 forks source link

Add imports to main page example #2

Closed ignazio1977 closed 10 years ago

ignazio1977 commented 10 years ago

I've seen questions on answers.semanticweb.com where the OP could not compile the example due to classes with the same names in the OWL API. Adding this to the main page example should alleviate such troubles.

import org.semanticweb.owl.explanation.api.*;
import org.semanticweb.owlapi.model.*;
import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;

I'd do it myself but it's not a wiki page :-)