|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectinfo.sswap.impl.empire.model.ExpressivityChecker
public class ExpressivityChecker
Checks whether an OWLOntology has a specified expressivity
Nested Class Summary | |
---|---|
private static class |
ExpressivityChecker.ProfileViolationDescriptionGenerator
|
Field Summary | |
---|---|
private static com.google.common.base.Predicate<org.semanticweb.owlapi.profiles.OWLProfileViolation> |
IGNORE_UNDECLARED_ANNOTATION_PROPERTY
|
private static com.google.common.base.Predicate<org.semanticweb.owlapi.profiles.OWLProfileViolation> |
IGNORE_UNDECLARED_ENTITY
|
private static com.google.common.base.Function<org.semanticweb.owlapi.profiles.OWLProfileViolation,java.lang.String> |
PROFILE_DESCRIPTION_GENERATOR
|
private java.util.Map<Expressivity,org.semanticweb.owlapi.profiles.OWLProfile> |
profileMap
A mapping between SSWAP expressivities to OWLAPI OWLProfiles |
Constructor Summary | |
---|---|
ExpressivityChecker()
Creates a new expressivity checker |
Method Summary | |
---|---|
boolean |
checkProfile(Expressivity expressivity,
org.semanticweb.owlapi.model.OWLOntology ontology)
Checks whether the given OWLOntology belongs to the specified profile/expressivity |
java.util.Collection<java.lang.String> |
getViolationExplanations(Expressivity expressivity,
org.semanticweb.owlapi.model.OWLOntology ontology)
|
private boolean |
isSupported(Expressivity expressivity)
|
private java.util.Collection<org.semanticweb.owlapi.profiles.OWLProfileViolation> |
validateProfile(Expressivity expressivity,
org.semanticweb.owlapi.model.OWLOntology ontology,
com.google.common.base.Predicate<org.semanticweb.owlapi.profiles.OWLProfileViolation> ignoredViolations)
Validates the ontology for the given profile expressivity and returns any violations that does not satisfy the given predicate. |
void |
validateProfileIgnoringUndefinedEntities(Expressivity expressivity,
org.semanticweb.owlapi.model.OWLOntology ontology)
Checks whether the given OWLOntology belongs to the specified profile/expressivity, while ignoring any violations about undefined entities. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private static final com.google.common.base.Predicate<org.semanticweb.owlapi.profiles.OWLProfileViolation> IGNORE_UNDECLARED_ANNOTATION_PROPERTY
private static final com.google.common.base.Predicate<org.semanticweb.owlapi.profiles.OWLProfileViolation> IGNORE_UNDECLARED_ENTITY
private static final com.google.common.base.Function<org.semanticweb.owlapi.profiles.OWLProfileViolation,java.lang.String> PROFILE_DESCRIPTION_GENERATOR
private java.util.Map<Expressivity,org.semanticweb.owlapi.profiles.OWLProfile> profileMap
Constructor Detail |
---|
public ExpressivityChecker()
Method Detail |
---|
private boolean isSupported(Expressivity expressivity)
public boolean checkProfile(Expressivity expressivity, org.semanticweb.owlapi.model.OWLOntology ontology)
expressivity
- the expressivity to be checkedontology
- the ontology to be checked
public java.util.Collection<java.lang.String> getViolationExplanations(Expressivity expressivity, org.semanticweb.owlapi.model.OWLOntology ontology)
public void validateProfileIgnoringUndefinedEntities(Expressivity expressivity, org.semanticweb.owlapi.model.OWLOntology ontology) throws ValidationException
expressivity
- the expressivity to be checkedontology
- the ontology to be checked
ValidationException
- if the ontology does not pass the checkprivate java.util.Collection<org.semanticweb.owlapi.profiles.OWLProfileViolation> validateProfile(Expressivity expressivity, org.semanticweb.owlapi.model.OWLOntology ontology, com.google.common.base.Predicate<org.semanticweb.owlapi.profiles.OWLProfileViolation> ignoredViolations)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |