racerclient.java

Semantic Web Ontology Editor

 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public RoleAssertion[] allRoleAssertions() throws IOException, RacerException {
	String res=send("(all-role-assertions)",true);
	return parseRoleAssertionList(res);
}
/** This method refers to the all-role-assertions RACER macro.
 * @return RoleAssertion[] An array of role assertions.
 * @param abox java.lang.String The abox name.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */
public RoleAssertion[] allRoleAssertions(String abox) throws IOException, RacerException {
	String res=send("(all-role-assertions "+abox+")",true);
	return parseRoleAssertionList(res);
}
/** This method refers to the all-role-assertions-for-individual-in-domain RACER macro
	for the current ABox.
 * @return RoleAssertion[] An array of role assertions.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public RoleAssertion[] allRoleAssertionsForIndividualInDomain(String in) throws IOException, RacerException {
	String res=send("(all-role-assertions-for-individual-in-domain "+in+")",true);
	return parseRoleAssertionList(res);
}
/** This method refers to the all-role-assertions-for-individual-in-domain RACER macro.
 * @return RoleAssertion[] An array of role assertions.
 * @param in java.lang.String The individual name.
 * @param abox java.lang.String The abox name.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public RoleAssertion[] allRoleAssertionsForIndividualInDomain(String in, String abox) throws IOException, RacerException {
	String res=send("(all-role-assertions-for-individual-in-domain "+in+" "+abox+")",true);
	return parseRoleAssertionList(res);
}
/** This method refers to the all-role-assertions-for-individual-in-range RACER macro.
 * @return RoleAssertion[] An array of role assertions.
 * @param in java.lang.String The individual name.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public RoleAssertion[] allRoleAssertionsForIndividualInRange(String in) throws IOException, RacerException {
	String res=send("(all-role-assertions-for-individual-in-range "+in+")",true);
	return parseRoleAssertionList(res);
}
/** This method refers to the all-role-assertions-for-individual-in-range RACER macro.
 * @return RoleAssertion[] An array of role assertions.
 * @param in java.lang.String The individual name.
 * @param abox java.lang.String The abox name.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */
public RoleAssertion[] allRoleAssertionsForIndividualInRange(String in, String abox) throws IOException, RacerException {
	String res=send("(all-role-assertions-for-individual-in-range "+in+" "+abox+")",true);
	return parseRoleAssertionList(res);
}
/** This method refers to the RACER all-roles function for the current tbox.
 * @return java.lang.String[] An array of strings with the roles in the tbox.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] allRoles() throws java.io.IOException, RacerException {
	String res=send("(all-roles)",true);
	return parseList(res);
}
/** This method refers to the RACER all-roles function.
 * @return java.lang.String[] An array of strings with the roles in the tbox.
 * @param tbox java.lang.String The name of the tbox.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] allRoles(String tbox) throws java.io.IOException, RacerException {
	String res=send("(all-roles "+tbox+")",true);
	return parseList(res);
}
/** This method refers to the RACER all-tboxes function.
 * @return java.lang.String[] An array of strings with the names of the tboxes.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] allTBoxes() throws java.io.IOException, RacerException {
	String res=send("(all-tboxes)",true);
	return parseList(res);
}
/** This method refers to the RACER all-transitive-roles function for the current tbox.
 * @return java.lang.String[] An array of strings with the transitive roles in the tbox.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] allTransitiveRoles() throws java.io.IOException, RacerException {
	String res=send("(all-transitive-roles)",true);
	return parseList(res);
}
/** This method refers to the RACER all-transitive-roles function.
 * @return java.lang.String[] An array of strings with the transitive roles in the tbox.
 * @param tbox java.lang.String The name of the tbox.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] allTransitiveRoles(String tbox) throws java.io.IOException, RacerException {
	String res=send("(all-transitive-roles "+tbox+")",true);
	return parseList(res);
}
/** This method refers to the RACER check-tbox-coherence function for the current tbox.
 * @return String[] An array with all the unsatisfiable atomic concepts in the tbox.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] checkTBoxCoherence() throws java.io.IOException, RacerException {
	String res=send("(check-tbox-coherence)",true);
        return parseList(res); // RC 20020330  as ConceptSetList strips the first and last character
//	return parseConceptSetList(res);
}
/** This method refers to the RACER classify-tbox function.
 * @return String[] An array with all the unsatisfiable atomic concepts in the tbox.
 * @param tbox java.lang.String The tbox name.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] checkTBoxCoherence(String tbox) throws java.io.IOException, RacerException {
	String res=send("(check-tbox-coherence "+tbox+")",true);
	return parseConceptSetList(res);
}
/** This method refers to the RACER classify-tbox function for the current tbox.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public void classifyTBox() throws java.io.IOException, RacerException {
	send("(classify-tbox)",false);
}
/** This method refers to the RACER classify-tbox function.
 * @param tbox java.lang.String The tbox name.
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public void classifyTBox(String tbox) throws java.io.IOException, RacerException {
	send("(classify-tbox "+tbox+")",false);
}

public String[] associatedAboxes(String tbox) throws java.io.IOException, RacerException { // Method added, RC20020611
        String res = send("(associated-aboxes "+ tbox +")", true);
        return parseList(res);
}
/** This method refers to the RACER concept-ancestors macro using the current TBox.
 * @return String[] an array of strings containing all the atomic concept ancestors of a concept
	in the tbox. For every equivalence concept set returned by RACER, only the first concept (taken
	as the representative of the class) is returned. This is done in order to return a String[] and
	not an array of array of strings. In order to know the equivalent set of concepts for a given
	concept, the conceptSynonyms method can be used.
 * @param cn java.lang.String the concept name
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] conceptAncestors(String cn) throws RacerException, IOException {
	if (termParser!=null) termParser.parseConcept(cn);
	String res=send("(concept-ancestors "+cn+")",true);
	return parseConceptSetList(res);
}
/** This method refers to the RACER concept-ancestors macro using the current TBox.
 * @return String[] an array of strings containing all the atomic concept ancestors of a concept
	in the tbox. For every equivalence concept set returned by RACER, only the first concept (taken
	as the representative of the class) is returned. This is done in order to return a String[] and
	not an array of array of strings. In order to know the equivalent set of concepts for a given
	concept, the conceptSynonyms method can be used.
 * @param cn java.lang.String the concept name
 * @param tbox java.lang.String The tbox
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] conceptAncestors(String c, String tbox) throws RacerException, IOException {
	if (termParser!=null) termParser.parseConcept(c);
	String res=send("(concept-ancestors "+c+" "+tbox+")",true);
	return parseConceptSetList(res);
}
/** This method refers to the RACER concept-children macro using the current TBox.
 * @return String[] an array of strings containing all the atomic concept children of a concept
	in the tbox. For every equivalence concept set returned by RACER, only the first concept (taken
	as the representative of the class) is returned. This is done in order to return a String[] and
	not an array of array of strings. In order to know the equivalent set of concepts for a given
	concept, the conceptSynonyms method can be used.
 * @param cn java.lang.String the concept name
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] conceptChildren(String cn) throws RacerException, IOException {
	if (termParser!=null) termParser.parseConcept(cn);
	String res=send("(concept-children "+cn+")",true);
	return parseConceptSetList(res);
}
/** This method refers to the RACER concept-children macro using the current TBox.
 * @return String[] an array of strings containing all the atomic concept children of a concept
	in the tbox. For every equivalence concept set returned by RACER, only the first concept (taken
	as the representative of the class) is returned. This is done in order to return a String[] and
	not an array of array of strings. In order to know the equivalent set of concepts for a given
	concept, the conceptSynonyms method can be used.
 * @param cn java.lang.String the concept name
 * @param tbox java.lang.String The tbox
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] conceptChildren(String c, String tbox) throws RacerException, IOException {
	if (termParser!=null) termParser.parseConcept(c);
	String res=send("(concept-children "+c+" "+tbox+")",true);
	return parseConceptSetList(res);
}
/** This method refers to the RACER concept-descendants macro using the current TBox.
 * @return String[] an array of strings containing all the atomic concept descendants of a concept
	in the tbox. For every equivalence concept set returned by RACER, only the first concept (taken
	as the representative of the class) is returned. This is done in order to return a String[] and
	not an array of array of strings. In order to know the equivalent set of concepts for a given
	concept, the conceptSynonyms method can be used.
 * @param cn java.lang.String the concept name
 * @exception java.io.IOException Thrown when there is a communication problem with the RACER server.
 * @exception dl.racer.RacerException Thrown when the RACER server produces an ":error" message.
 */

public String[] conceptDescendants(String cn) throws RacerException, IOException {
	if (termParser!=null) termParser.parseConcept(cn);
	String res=send("(concept-descendants "+cn+")",true);
	return parseConceptSetList(res);
}
/** This method refers to the RACER concept-descendants macro using the current TBox.
 * @return String[] an array of strings containing all the atomic concept descendants of a concept
	in the tbox. For every equivalence concept set returned by RACER, only the first concept (taken
	as the representative of the class) is returned. This is done in order to return a String[] and