Modifier and Type | Method and Description |
---|---|
static OWLTime.Interval |
create(OWLTime.DateTime dateTime) |
static OWLTime.Interval |
create(OWLTime.DateTime begin,
OWLTime.DateTime end) |
static OWLTime.Interval |
create(OWLTime.Interval begin,
OWLTime.Interval end) |
boolean |
equals(Object object) |
OWLTime.DateTime |
getBegin() |
OWLTime.DateTime |
getEnd() |
int |
hashCode() |
boolean |
isDateTimeInterval() |
static OWLTime.Interval |
parseTimex(String value) |
org.eclipse.rdf4j.model.IRI |
toIRI(String namespace) |
org.eclipse.rdf4j.model.IRI |
toRDF(org.eclipse.rdf4j.rio.RDFHandler handler,
String namespace,
org.eclipse.rdf4j.model.Resource ctx) |
String |
toString() |
public static OWLTime.Interval create(@Nullable OWLTime.DateTime dateTime)
public static OWLTime.Interval create(@Nullable OWLTime.DateTime begin, @Nullable OWLTime.DateTime end)
public static OWLTime.Interval create(@Nullable OWLTime.Interval begin, @Nullable OWLTime.Interval end)
public static OWLTime.Interval parseTimex(String value)
public boolean isDateTimeInterval()
@Nullable public OWLTime.DateTime getBegin()
@Nullable public OWLTime.DateTime getEnd()
public org.eclipse.rdf4j.model.IRI toRDF(org.eclipse.rdf4j.rio.RDFHandler handler, String namespace, org.eclipse.rdf4j.model.Resource ctx) throws org.eclipse.rdf4j.rio.RDFHandlerException
org.eclipse.rdf4j.rio.RDFHandlerException
public org.eclipse.rdf4j.model.IRI toIRI(String namespace)
Copyright © 2016–2020 FBK. All rights reserved.