org.dllearner.parser
Class KBParser

java.lang.Object
  org.dllearner.parser.KBParser

All Implemented Interfaces:

KBParserConstants

public class KBParser
extends Object
implements KBParserConstants

Field Summary

static String	internalNamespace
Token	jj_nt Next token.
Token	token Current token.
KBParserTokenManager	token_source Generated Token Manager.

Fields inherited from interface org.dllearner.parser.KBParserConstants

ALL, AND, BOTTOM, COMMAND_END, DEFAULT, DOUBLE, EOF, EXISTS, FORMAL_COMMENT, GE, ID, LE, MULTI_LINE_COMMENT, NOT, NUMBER, OR, SINGLE_LINE_COMMENT, STRING, tokenImage, TOP

Constructor Summary

KBParser(InputStream stream)
Constructor with InputStream.

KBParser(InputStream stream, String encoding)
Constructor with InputStream and supplied encoding

KBParser(KBParserTokenManager tm)
Constructor with generated Token Manager.

KBParser(Reader stream)
Constructor.

Method Summary

ClassAssertionAxiom	ABoxConcept()
ObjectPropertyAssertion	ABoxRole()
void	All()
void	And()
NamedClass	AtomicConcept()
void	Bottom()
Description	Concept()
DatatypeProperty	DatatypeProperty()
DatatypePropertyDomainAxiom	DatatypePropertyDomainAxiom()
DatatypePropertyRangeAxiom	DatatypePropertyRangeAxiom()
void	disable_tracing() Disable tracing.
double	Double()
void	enable_tracing() Enable tracing.
void	Exists()
FunctionalObjectPropertyAxiom	Functional()
void	GE()
ParseException	generateParseException() Generate ParseException.
static String	getInternalURI(String name)
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
String	Id()
Individual	Individual()
int	Integer()
InverseObjectPropertyAxiom	Inverse()
KB	KB()
void	LE()
void	Not()
ObjectProperty	ObjectProperty()
ObjectPropertyDomainAxiom	ObjectPropertyDomainAxiom()
ObjectPropertyRangeAxiom	ObjectPropertyRangeAxiom()
void	Or()
static Description	parseConcept(String string)
static Description	parseConcept(String string, String namespace)
static KB	parseKBFile(File file)
static KB	parseKBFile(String content)
static KB	parseKBFile(URL url)
void	ReInit(InputStream stream) Reinitialise.
void	ReInit(InputStream stream, String encoding) Reinitialise.
void	ReInit(KBParserTokenManager tm) Reinitialise.
void	ReInit(Reader stream) Reinitialise.
String	String()
SubObjectPropertyAxiom	Subrole()
SymmetricObjectPropertyAxiom	Symmetric()
EquivalentClassesAxiom	TBoxEquiv()
SubClassAxiom	TBoxSub()
void	Top()
TransitiveObjectPropertyAxiom	Transitive()

Methods inherited from class java.lang.Object

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

Field Detail

internalNamespace

public static String internalNamespace

token_source

public KBParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

KBParser

public KBParser(InputStream stream)

Constructor with InputStream.

KBParser

public KBParser(InputStream stream,
                String encoding)

Constructor with InputStream and supplied encoding

KBParser

public KBParser(Reader stream)

Constructor.

KBParser

public KBParser(KBParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

getInternalURI

public static String getInternalURI(String name)

parseConcept

public static Description parseConcept(String string)
                                throws ParseException

Throws:

ParseException

parseConcept

public static Description parseConcept(String string,
                                       String namespace)
                                throws ParseException

Throws:

ParseException

parseKBFile

public static KB parseKBFile(String content)
                      throws ParseException

Throws:

ParseException

parseKBFile

public static KB parseKBFile(URL url)
                      throws IOException,
                             ParseException

Throws:

IOException

ParseException

parseKBFile

public static KB parseKBFile(File file)
                      throws FileNotFoundException,
                             ParseException

Throws:

FileNotFoundException

ParseException

KB

public final KB KB()
            throws ParseException

Throws:

ParseException

ABoxConcept

public final ClassAssertionAxiom ABoxConcept()
                                      throws ParseException

Throws:

ParseException

ABoxRole

public final ObjectPropertyAssertion ABoxRole()
                                       throws ParseException

Throws:

ParseException

Transitive

public final TransitiveObjectPropertyAxiom Transitive()
                                               throws ParseException

Throws:

ParseException

Functional

public final FunctionalObjectPropertyAxiom Functional()
                                               throws ParseException

Throws:

ParseException

Symmetric

public final SymmetricObjectPropertyAxiom Symmetric()
                                             throws ParseException

Throws:

ParseException

Inverse

public final InverseObjectPropertyAxiom Inverse()
                                         throws ParseException

Throws:

ParseException

Subrole

public final SubObjectPropertyAxiom Subrole()
                                     throws ParseException

Throws:

ParseException

TBoxEquiv

public final EquivalentClassesAxiom TBoxEquiv()
                                       throws ParseException

Throws:

ParseException

TBoxSub

public final SubClassAxiom TBoxSub()
                            throws ParseException

Throws:

ParseException

ObjectPropertyDomainAxiom

public final ObjectPropertyDomainAxiom ObjectPropertyDomainAxiom()
                                                          throws ParseException

Throws:

ParseException

DatatypePropertyDomainAxiom

public final DatatypePropertyDomainAxiom DatatypePropertyDomainAxiom()
                                                              throws ParseException

Throws:

ParseException

ObjectPropertyRangeAxiom

public final ObjectPropertyRangeAxiom ObjectPropertyRangeAxiom()
                                                        throws ParseException

Throws:

ParseException

DatatypePropertyRangeAxiom

public final DatatypePropertyRangeAxiom DatatypePropertyRangeAxiom()
                                                            throws ParseException

Throws:

ParseException

Concept

public final Description Concept()
                          throws ParseException

Throws:

ParseException

Or

public final void Or()
              throws ParseException

Throws:

ParseException

And

public final void And()
               throws ParseException

Throws:

ParseException

Top

public final void Top()
               throws ParseException

Throws:

ParseException

Bottom

public final void Bottom()
                  throws ParseException

Throws:

ParseException

Exists

public final void Exists()
                  throws ParseException

Throws:

ParseException

All

public final void All()
               throws ParseException

Throws:

ParseException

Not

public final void Not()
               throws ParseException

Throws:

ParseException

GE

public final void GE()
              throws ParseException

Throws:

ParseException

LE

public final void LE()
              throws ParseException

Throws:

ParseException

AtomicConcept

public final NamedClass AtomicConcept()
                               throws ParseException

Throws:

ParseException

DatatypeProperty

public final DatatypeProperty DatatypeProperty()
                                        throws ParseException

Throws:

ParseException

ObjectProperty

public final ObjectProperty ObjectProperty()
                                    throws ParseException

Throws:

ParseException

Individual

public final Individual Individual()
                            throws ParseException

Throws:

ParseException

Id

public final String Id()
                throws ParseException

Throws:

ParseException

Double

public final double Double()
                    throws ParseException

Throws:

ParseException

Integer

public final int Integer()
                  throws ParseException

Throws:

ParseException

String

public final String String()
                    throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
                   String encoding)

Reinitialise.

ReInit

public void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(KBParserTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.