Modifier and Type | Field and Description |
---|---|
static Term |
ANY |
static Term |
EQUIVALENCE |
static Term |
IS_A |
static Term |
NONE |
static Term |
PART_OF |
static Term |
PARTIAL_ORDER |
static Term |
REFLEXIVE |
static Term |
RELATION |
static Term |
SYMMETRIC |
static Term |
TRANSITIVE |
Modifier and Type | Method and Description |
---|---|
static Ontology |
getCoreOntology()
Get the Ontology that defines our core "central dogma".
|
static OntologyFactory |
getDefaultFactory() |
static IntegerOntology |
getIntegerOntology()
Get the Ontology that defines integers.
|
public static final Term TRANSITIVE
public static final Term EQUIVALENCE
public static final Term PARTIAL_ORDER
public static Ontology getCoreOntology()
This contains definitions that we have to have, such as any
,
predicate
, is-a
and transient
. These
are our axioms, upon which the default interpreters build.
public static IntegerOntology getIntegerOntology()
This contains a term for each and every integer. I haven't decided yet if it contains terms for arithmatic.
public static OntologyFactory getDefaultFactory()
Copyright © 2014 BioJava. All rights reserved.