/** * Explains why class {@code cl} is unsatisfiable * * @param cl The class to check for unsatisfiability * @return The explanation {@link org.openrdf.model.Graph Graph} * @throws PelletClientException If there is an error or {@code cl} is not unsatisfiable */ public Graph unsat(Resource cl) throws PelletClientException { String query = selectQuery( cl.stringValue(), RDFS.SUBCLASSOF.stringValue(), "http://www.w3.org/2002/07/owl#Nothing"); return query(query); }
/** * Asynchronously explains why class {@code cl} is unsatisfiable * * @param cl The class to check for unsatisfiability * @param callback The {@link Callback} to execute after the explanation is done */ public void unsat(Resource cl, Callback<Graph> callback) { String query = selectQuery( cl.stringValue(), RDFS.SUBCLASSOF.stringValue(), "http://www.w3.org/2002/07/owl#Nothing"); query(query, callback); }
/** * Explains why {@code subclass} is rdfs:subclassOf {@code superclass} * * @param subclass The sub class * @param superclass The super class * @return The explanation {@link org.openrdf.model.Graph Graph} * @throws PelletClientException if there is an error while querying */ public Graph subclass(Resource subclass, Resource superclass) throws PelletClientException { String query = selectQuery( subclass.stringValue(), RDFS.SUBCLASSOF.stringValue(), superclass.stringValue()); return query(query); }
/** * Asynchronously explains why {@code subclass} is rdfs:subclassOf {@code superclass} * * @param subclass The sub class * @param superclass The super class * @param callback The {@link Callback} to execute after the explanation is done */ public void subclass(Resource subclass, Resource superclass, Callback<Graph> callback) { String query = selectQuery( subclass.stringValue(), RDFS.SUBCLASSOF.stringValue(), superclass.stringValue()); query(query, callback); }