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

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
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

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLClassAssertionAxiom	ABoxConcept()
org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom	ABoxRole()
void	All()
void	And()
org.semanticweb.owlapi.model.OWLClass	AtomicConcept()
void	Bottom()
org.semanticweb.owlapi.model.OWLClassExpression	Concept()
org.semanticweb.owlapi.model.OWLDataProperty	DatatypeProperty()
org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom	DatatypePropertyDomainAxiom()
org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom	DatatypePropertyRangeAxiom()
void	disable_tracing() Disable tracing.
double	Double()
void	enable_tracing() Enable tracing.
void	Exists()
org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom	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()
org.semanticweb.owlapi.model.OWLIndividual	Individual()
int	Integer()
org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom	Inverse()
org.semanticweb.owlapi.model.OWLOntology	KB()
void	LE()
void	Not()
org.semanticweb.owlapi.model.OWLObjectProperty	ObjectProperty()
org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom	ObjectPropertyDomainAxiom()
org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom	ObjectPropertyRangeAxiom()
void	Or()
static org.semanticweb.owlapi.model.OWLClassExpression	parseConcept(String string)
static org.semanticweb.owlapi.model.OWLClassExpression	parseConcept(String string, String namespace)
static org.semanticweb.owlapi.model.OWLOntology	parseKBFile(File file)
static org.semanticweb.owlapi.model.OWLOntology	parseKBFile(String content)
static org.semanticweb.owlapi.model.OWLOntology	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()
org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom	Subrole()
org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom	Symmetric()
org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom	TBoxEquiv()
org.semanticweb.owlapi.model.OWLSubClassOfAxiom	TBoxSub()
void	Top()
org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom	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 org.semanticweb.owlapi.model.OWLClassExpression parseConcept(String string)
                                                                    throws ParseException

Throws:

ParseException

parseConcept

public static org.semanticweb.owlapi.model.OWLClassExpression parseConcept(String string,
                                                                           String namespace)
                                                                    throws ParseException

Throws:

ParseException

parseKBFile

public static org.semanticweb.owlapi.model.OWLOntology parseKBFile(String content)
                                                            throws ParseException,
                                                                   org.semanticweb.owlapi.model.OWLOntologyCreationException

Throws:

ParseException

org.semanticweb.owlapi.model.OWLOntologyCreationException

parseKBFile

public static org.semanticweb.owlapi.model.OWLOntology parseKBFile(URL url)
                                                            throws IOException,
                                                                   ParseException,
                                                                   org.semanticweb.owlapi.model.OWLOntologyCreationException

Throws:

IOException

ParseException

org.semanticweb.owlapi.model.OWLOntologyCreationException

parseKBFile

public static org.semanticweb.owlapi.model.OWLOntology parseKBFile(File file)
                                                            throws FileNotFoundException,
                                                                   ParseException,
                                                                   org.semanticweb.owlapi.model.OWLOntologyCreationException

Throws:

FileNotFoundException

ParseException

org.semanticweb.owlapi.model.OWLOntologyCreationException

KB

public final org.semanticweb.owlapi.model.OWLOntology KB()
                                                  throws ParseException,
                                                         org.semanticweb.owlapi.model.OWLOntologyCreationException

Throws:

ParseException

org.semanticweb.owlapi.model.OWLOntologyCreationException

ABoxConcept

public final org.semanticweb.owlapi.model.OWLClassAssertionAxiom ABoxConcept()
                                                                      throws ParseException

Throws:

ParseException

ABoxRole

public final org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom ABoxRole()
                                                                            throws ParseException

Throws:

ParseException

Transitive

public final org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom Transitive()
                                                                               throws ParseException

Throws:

ParseException

Functional

public final org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom Functional()
                                                                               throws ParseException

Throws:

ParseException

Symmetric

public final org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom Symmetric()
                                                                             throws ParseException

Throws:

ParseException

Inverse

public final org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom Inverse()
                                                                           throws ParseException

Throws:

ParseException

Subrole

public final org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom Subrole()
                                                                       throws ParseException

Throws:

ParseException

TBoxEquiv

public final org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom TBoxEquiv()
                                                                       throws ParseException

Throws:

ParseException

TBoxSub

public final org.semanticweb.owlapi.model.OWLSubClassOfAxiom TBoxSub()
                                                              throws ParseException

Throws:

ParseException

ObjectPropertyDomainAxiom

public final org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom ObjectPropertyDomainAxiom()
                                                                                          throws ParseException

Throws:

ParseException

DatatypePropertyDomainAxiom

public final org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom DatatypePropertyDomainAxiom()
                                                                                          throws ParseException

Throws:

ParseException

ObjectPropertyRangeAxiom

public final org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom ObjectPropertyRangeAxiom()
                                                                                        throws ParseException

Throws:

ParseException

DatatypePropertyRangeAxiom

public final org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom DatatypePropertyRangeAxiom()
                                                                                        throws ParseException

Throws:

ParseException

Concept

public final org.semanticweb.owlapi.model.OWLClassExpression 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 org.semanticweb.owlapi.model.OWLClass AtomicConcept()
                                                          throws ParseException

Throws:

ParseException

DatatypeProperty

public final org.semanticweb.owlapi.model.OWLDataProperty DatatypeProperty()
                                                                    throws ParseException

Throws:

ParseException

ObjectProperty

public final org.semanticweb.owlapi.model.OWLObjectProperty ObjectProperty()
                                                                    throws ParseException

Throws:

ParseException

Individual

public final org.semanticweb.owlapi.model.OWLIndividual 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.