org.semanticweb.HermiT.model

Class DLOntology

java.lang.Object

org.semanticweb.HermiT.model.DLOntology

All Implemented Interfaces:

Serializable

public class DLOntology
extends Object
implements Serializable

Represents a DL ontology as a set of rules.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DLOntology.AtomicConceptComparator
static class	DLOntology.AtomicRoleComparator
static class	DLOntology.IndividualComparator

Constructor Summary

Constructors

Constructor and Description

DLOntology(String ontologyIRI, Set<DLClause> dlClauses, Set<Atom> positiveFacts, Set<Atom> negativeFacts, Set<AtomicConcept> atomicConcepts, Set<AtomicRole> atomicObjectRoles, Set<Role> allComplexObjectRoles, Set<AtomicRole> atomicDataRoles, Set<DatatypeRestriction> allUnknownDatatypeRestrictions, Set<String> definedDatatypeIRIs, Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)

Method Summary

Modifier and Type	Method and Description
boolean	containsAtomicConcept(AtomicConcept concept)
boolean	containsDataRole(AtomicRole role)
boolean	containsIndividual(Individual individual)
boolean	containsObjectRole(AtomicRole role)
Set<AtomicConcept>	getAllAtomicConcepts()
Set<AtomicRole>	getAllAtomicDataRoles()
Set<AtomicRole>	getAllAtomicObjectRoles()
Set<Role>	getAllComplexObjectRoles()
Set<DescriptionGraph>	getAllDescriptionGraphs()
Set<Individual>	getAllIndividuals()
Set<DatatypeRestriction>	getAllUnknownDatatypeRestrictions()
Map<AtomicRole,Map<Individual,Set<Constant>>>	getDataPropertyAssertions()
Set<String>	getDefinedDatatypeIRIs()
Set<DLClause>	getDLClauses()
Set<Atom>	getNegativeFacts()
int	getNumberOfExternalConcepts()
String	getOntologyIRI()
Set<Atom>	getPositiveFacts()
String	getStatistics()
boolean	hasAtMostRestrictions()
boolean	hasDatatypes()
boolean	hasInverseRoles()
boolean	hasNominals()
boolean	hasUnknownDatatypeRestrictions()
boolean	isComplexObjectRole(Role role)
boolean	isHorn()
static DLOntology	load(InputStream inputStream)
void	save(OutputStream outputStream)
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DLOntology

public DLOntology(String ontologyIRI,
                  Set<DLClause> dlClauses,
                  Set<Atom> positiveFacts,
                  Set<Atom> negativeFacts,
                  Set<AtomicConcept> atomicConcepts,
                  Set<AtomicRole> atomicObjectRoles,
                  Set<Role> allComplexObjectRoles,
                  Set<AtomicRole> atomicDataRoles,
                  Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
                  Set<String> definedDatatypeIRIs,
                  Set<Individual> individuals,
                  boolean hasInverseRoles,
                  boolean hasAtMostRestrictions,
                  boolean hasNominals,
                  boolean hasDatatypes)

Parameters:

ontologyIRI - ontologyIRI

dlClauses - dlClauses

positiveFacts - positiveFacts

negativeFacts - negativeFacts

atomicConcepts - atomicConcepts

atomicObjectRoles - atomicObjectRoles

allComplexObjectRoles - allComplexObjectRoles

atomicDataRoles - atomicDataRoles

allUnknownDatatypeRestrictions - allUnknownDatatypeRestrictions

definedDatatypeIRIs - definedDatatypeIRIs

individuals - individuals

hasInverseRoles - hasInverseRoles

hasAtMostRestrictions - hasAtMostRestrictions

hasNominals - hasNominals

hasDatatypes - hasDatatypes

Method Detail

getOntologyIRI

public String getOntologyIRI()

Returns:

ontology iri

getAllAtomicConcepts

public Set<AtomicConcept> getAllAtomicConcepts()

Returns:

all atomic concepts

containsAtomicConcept

public boolean containsAtomicConcept(AtomicConcept concept)

Parameters:

concept - concept

Returns:

true if contains atomic concept

getNumberOfExternalConcepts

public int getNumberOfExternalConcepts()

Returns:

umber of external concepts

getAllAtomicObjectRoles

public Set<AtomicRole> getAllAtomicObjectRoles()

Returns:

all atomic object roles

containsObjectRole

public boolean containsObjectRole(AtomicRole role)

Parameters:

role - role

Returns:

true if object role contained

getAllComplexObjectRoles

public Set<Role> getAllComplexObjectRoles()

Returns:

all complex object roles

isComplexObjectRole

public boolean isComplexObjectRole(Role role)

getAllAtomicDataRoles

public Set<AtomicRole> getAllAtomicDataRoles()

Returns:

all atomic data roles

containsDataRole

public boolean containsDataRole(AtomicRole role)

Parameters:

role - role

Returns:

true if contains data role

getAllUnknownDatatypeRestrictions

public Set<DatatypeRestriction> getAllUnknownDatatypeRestrictions()

Returns:

all unknown data restrictions

getAllIndividuals

public Set<Individual> getAllIndividuals()

Returns:

all individuals

containsIndividual

public boolean containsIndividual(Individual individual)

Parameters:

individual - individual

Returns:

true if contains individual

getAllDescriptionGraphs

public Set<DescriptionGraph> getAllDescriptionGraphs()

Returns:

description graphs

getDLClauses

public Set<DLClause> getDLClauses()

Returns:

dl clauses

getPositiveFacts

public Set<Atom> getPositiveFacts()

Returns:

positive facts

getDataPropertyAssertions

public Map<AtomicRole,Map<Individual,Set<Constant>>> getDataPropertyAssertions()

Returns:

data assertions

getNegativeFacts

public Set<Atom> getNegativeFacts()

Returns:

negative facts

hasInverseRoles

public boolean hasInverseRoles()

Returns:

true if inverse roles

hasAtMostRestrictions

public boolean hasAtMostRestrictions()

Returns:

true if at most restrictions

hasNominals

public boolean hasNominals()

Returns:

true if has nominals

hasDatatypes

public boolean hasDatatypes()

Returns:

true if has datatypes

hasUnknownDatatypeRestrictions

public boolean hasUnknownDatatypeRestrictions()

Returns:

true if has unknown datatypes restrictions

isHorn

public boolean isHorn()

Returns:

true if Horn ontology

getDefinedDatatypeIRIs

public Set<String> getDefinedDatatypeIRIs()

Returns:

datatypes

toString

public String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString

getStatistics

public String getStatistics()

Returns:

statistics

toString

public String toString()

Overrides:

toString in class Object

save

public void save(OutputStream outputStream)
          throws IOException

Parameters:

outputStream - outputStream

Throws:

IOException - if reading fails

load

public static DLOntology load(InputStream inputStream)
                       throws IOException

Parameters:

inputStream - inputStream

Returns:

ontology

Throws:

IOException - if class not found