org.mindswap.pellet
Class Clash
java.lang.Object
org.mindswap.pellet.Clash
public class Clash
- extends java.lang.Object
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
- Author:
- Evren Sirin
Method Summary |
static Clash |
atomic(Node node,
DependencySet depends)
|
static Clash |
atomic(Node node,
DependencySet depends,
aterm.ATermAppl c)
|
java.lang.String |
atomicExplanation()
|
java.lang.String |
bottomExplanation()
|
static Clash |
bottomProperty(Node node,
DependencySet depends,
aterm.ATermAppl p)
|
Clash |
copyTo(ABox abox)
|
java.lang.String |
describeNode(Node node)
|
java.lang.String |
detailedString()
|
static Clash |
disjointProps(Node node,
DependencySet depends)
|
static Clash |
disjointProps(Node node,
DependencySet depends,
aterm.ATermAppl p1,
aterm.ATermAppl p2)
|
static Clash |
emptyDatatype(Node node,
DependencySet depends)
|
static Clash |
emptyDatatype(Node node,
DependencySet depends,
aterm.ATermAppl[] datatypes)
|
java.lang.String |
emptyDatatypeExplanation()
|
static Clash |
functionalCardinality(Node node,
DependencySet depends)
|
static Clash |
functionalCardinality(Node node,
DependencySet depends,
aterm.ATermAppl r)
|
java.lang.String |
functionalCardinalityExplanation()
|
Clash.ClashType |
getClashType()
|
DependencySet |
getDepends()
|
Node |
getNode()
|
Clash.ClashType |
getType()
|
static Clash |
invalidLiteral(Node node,
DependencySet depends)
|
static Clash |
invalidLiteral(Node node,
DependencySet depends,
aterm.ATermAppl value)
|
java.lang.String |
invalidLiteralExplanation()
|
static Clash |
maxCardinality(Node node,
DependencySet depends)
|
static Clash |
maxCardinality(Node node,
DependencySet depends,
aterm.ATermAppl r,
int n)
|
java.lang.String |
maxCardinalityExplanation()
|
static Clash |
minMax(Node node,
DependencySet depends)
|
static Clash |
missingDatatype(Node node,
DependencySet depends)
|
static Clash |
missingDatatype(Node node,
DependencySet depends,
aterm.ATermAppl value,
aterm.ATermAppl datatype)
|
java.lang.String |
missingDatatypeExplanation()
|
static Clash |
nominal(Node node,
DependencySet depends)
|
static Clash |
nominal(Node node,
DependencySet depends,
aterm.ATermAppl other)
|
java.lang.String |
nominalExplanation()
|
void |
setDepends(DependencySet depends)
|
void |
setNode(Node node)
|
void |
setType(Clash.ClashType type)
|
java.lang.String |
toString()
|
static Clash |
unexplained(Node node,
DependencySet depends)
|
static Clash |
unexplained(Node node,
DependencySet depends,
java.lang.String msg)
|
static Clash |
valueDatatype(Node node,
DependencySet depends)
|
static Clash |
valueDatatype(Node node,
DependencySet depends,
aterm.ATermAppl value,
aterm.ATermAppl datatype)
|
java.lang.String |
valueDatatypeExplanation()
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
copyTo
public Clash copyTo(ABox abox)
getClashType
public Clash.ClashType getClashType()
unexplained
public static Clash unexplained(Node node,
DependencySet depends)
unexplained
public static Clash unexplained(Node node,
DependencySet depends,
java.lang.String msg)
atomic
public static Clash atomic(Node node,
DependencySet depends)
atomic
public static Clash atomic(Node node,
DependencySet depends,
aterm.ATermAppl c)
bottomProperty
public static Clash bottomProperty(Node node,
DependencySet depends,
aterm.ATermAppl p)
maxCardinality
public static Clash maxCardinality(Node node,
DependencySet depends)
maxCardinality
public static Clash maxCardinality(Node node,
DependencySet depends,
aterm.ATermAppl r,
int n)
minMax
public static Clash minMax(Node node,
DependencySet depends)
functionalCardinality
public static Clash functionalCardinality(Node node,
DependencySet depends)
functionalCardinality
public static Clash functionalCardinality(Node node,
DependencySet depends,
aterm.ATermAppl r)
missingDatatype
public static Clash missingDatatype(Node node,
DependencySet depends)
missingDatatype
public static Clash missingDatatype(Node node,
DependencySet depends,
aterm.ATermAppl value,
aterm.ATermAppl datatype)
nominal
public static Clash nominal(Node node,
DependencySet depends)
nominal
public static Clash nominal(Node node,
DependencySet depends,
aterm.ATermAppl other)
valueDatatype
public static Clash valueDatatype(Node node,
DependencySet depends)
valueDatatype
public static Clash valueDatatype(Node node,
DependencySet depends,
aterm.ATermAppl value,
aterm.ATermAppl datatype)
emptyDatatype
public static Clash emptyDatatype(Node node,
DependencySet depends)
emptyDatatype
public static Clash emptyDatatype(Node node,
DependencySet depends,
aterm.ATermAppl[] datatypes)
invalidLiteral
public static Clash invalidLiteral(Node node,
DependencySet depends)
invalidLiteral
public static Clash invalidLiteral(Node node,
DependencySet depends,
aterm.ATermAppl value)
disjointProps
public static Clash disjointProps(Node node,
DependencySet depends)
disjointProps
public static Clash disjointProps(Node node,
DependencySet depends,
aterm.ATermAppl p1,
aterm.ATermAppl p2)
detailedString
public java.lang.String detailedString()
describeNode
public java.lang.String describeNode(Node node)
atomicExplanation
public java.lang.String atomicExplanation()
bottomExplanation
public java.lang.String bottomExplanation()
maxCardinalityExplanation
public java.lang.String maxCardinalityExplanation()
functionalCardinalityExplanation
public java.lang.String functionalCardinalityExplanation()
missingDatatypeExplanation
public java.lang.String missingDatatypeExplanation()
nominalExplanation
public java.lang.String nominalExplanation()
valueDatatypeExplanation
public java.lang.String valueDatatypeExplanation()
emptyDatatypeExplanation
public java.lang.String emptyDatatypeExplanation()
invalidLiteralExplanation
public java.lang.String invalidLiteralExplanation()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
setDepends
public void setDepends(DependencySet depends)
- Parameters:
depends
- the depends to set
getDepends
public DependencySet getDepends()
- Returns:
- the depends
setNode
public void setNode(Node node)
- Parameters:
node
- the node to set
getNode
public Node getNode()
- Returns:
- the node
setType
public void setType(Clash.ClashType type)
- Parameters:
type
- the type to set
getType
public Clash.ClashType getType()
- Returns:
- the type
Copyright © 2004 Evren Sirin. All Rights Reserved.