com.bigdata.rdf.axioms
Interface Axioms

All Known Implementing Classes:

BaseAxioms, NoAxioms, OwlAxioms, RdfsAxioms, SampleAxioms

public interface Axioms

Abstraction for a set of RDFS Axioms.

Version:

$Id: Axioms.java 4642 2011-06-08 17:38:38Z thompsonbry $

Author:

personickm, Bryan Thompson

Method Summary

Iterator<SPO>	axioms() The axioms in {s:p:o} order by their term identifiers.
String	getNamespace() The namespace of the owning LexiconRelation.
boolean	isAxiom(IV s, IV p, IV o) Test for an axiom.
boolean	isNone() true iff there are NO axioms.
boolean	isOwlSameAs() true iff this set of axioms includes those for owl:sameAs, owl:equivalentClass, and owl:equivalentProperty.
boolean	isRdfSchema() true iff this set of axioms includes those for RDF Schema.
int	size() The #of defined axioms.

Method Detail

getNamespace

String getNamespace()

The namespace of the owning LexiconRelation.

Returns:

isAxiom

boolean isAxiom(IV s,
                IV p,
                IV o)

Test for an axiom.

Parameters:

s - The internal value (IV) in the subject position.

p - The internal value (IV) in the predicate position.

o - The internal value (IV) in the object position.

Throws:

IllegalStateException - if the axioms have not been defined.

size

int size()

The #of defined axioms.

Throws:

IllegalStateException - if the axioms have not been defined.

axioms

Iterator<SPO> axioms()

The axioms in {s:p:o} order by their term identifiers.

Throws:

IllegalStateException - if the axioms have not been defined.

isNone

boolean isNone()

true iff there are NO axioms.

isRdfSchema

boolean isRdfSchema()

true iff this set of axioms includes those for RDF Schema.

isOwlSameAs

boolean isOwlSameAs()

true iff this set of axioms includes those for owl:sameAs, owl:equivalentClass, and owl:equivalentProperty.