clistobj nplist is/has complement and that and that vplistloop ilistobj vpchainloop cchainobj...

CLISTOBJ

NPLIST

is/has

COMPLEMENT

and

and

that

and

that

that

VPLISTLOOP

ILISTOBJ

VPCHAINLOOP

CCHAINOBJ

VPCHAIN

ICHAINOBJ

FINISH

FS

FS

FS

FS

FS

START SUBJECT

ISUB

CSUB

the

PN

a/anevery NC

NC NC

COPULAR

VPLIST

AUX

VC

has

is

FV

VC

VC

a/anNC

NC

NPLISTLOOP

a/an

CCHAIN

CLIST

ILIST

ICHAIN

AUXCHAIN

NC

NC

NC

a/anNC

PN

the

FV

VC

VC

PN

the

NC

NC

NCNC

a/an

AUXLIST

FVis/has

VC

PN Proper NameNC Noun-phrase ContinuationFV Finite VerbVC Verb-phrase ContinuationFS Full Stop

Noun-phrase Continuation: proper name definite article preposition noun, adjective, etc.

Verb-phrase Continuation: preposition noun, adjective, etc.

OWL Simplified English

CLISTOBJ

andand

that

VPLISTLOOP

ILISTOBJ

FINISH

FS

FSVPLIST

VC

CLIST

ILIST

NC

NC

NC

a/anonly

NC

PN

the

AUXLIST

FVis/has

VC

PN Proper NameNC Noun-phrase ContinuationFV Finite VerbVC Verb-phrase ContinuationLT Literal (number/string)IN IntegerFS Full Stop

Noun-phrase Continuation: proper name literal definite article preposition noun, adjective, etc.

Verb-phrase Continuation: preposition noun, adjective, etc.

VP Sub-network including literals and all quantifiers

LLISTOBJLT FS

INEQUALITYLIST

EQUALITYLIST

ATLIST

IN

VC

exactly

at

mostleast

a/anonly

at

IN

FINISHSTART

METAVALUE

COMMENT

METADATA

%

ES

#

AT

ES

ES End of stringAT Any token (except % or #)

Opening subnetwork for comments and metadata

ES

AT

AT

NPLIST COMPLEMENT

and

FINISH

FS

START SUBJECT

ISUB

CSUB

the

PN

a/anevery NC

NC NC

COPULAR

a/anNC

NC

NPLISTLOOP

a/an

Disjoint and Equivalent Classes

DSUB DCOMPLEMENTDCOMPDSUBJECT

is

defined

a/an

no

NC

NC

is

NC

FS

DEFINED

DEFAS

as

a/an

DCOPULARNC

FINISH

START SUBJECT

ISUB

CSUB

the

PN

a/anevery NC

NC NC

Domain and Range including data properties

PROPSUBJPROPOBJ

RANGEVP

PROPTHAT

FVanything

that

something

VC NC

RANGE

DOMAIN

is/has

is

FS

DOMAINVP

VCsomething

is

CPROP

a

CPROPOBJ

NC

DOMAINAUX

FV

is/has

VC

RANGEAUXVC

DATADOMAIN

valuesome

FINISH

START SUBJECT

ISUB

CSUB

the

PN

a/anevery NC

NC NC

Statements about properties

PROPINTRO

CLOSEPROP

is

propertydata-property

NC

OPENPROP

>

<

AUXPROP

VPPROP

VC

FV

is/has

VC

PROPCOP

PROPATTR

PA

FS

PN Proper NameNC Noun-phrase ContinuationFV Finite VerbVC Verb-phrase ContinuationLT Literal (number/string)IN IntegerFS Full StopPA Property Attribute

Property Attributes (PA) functional inverse-functional symmetric asymmetric reflexive irreflexive transitive

FINISH

START SUBJECT

ISUB

CSUB

the

PN

a/anevery NC

NC NC

Domain and Range

PROPSUBJPROPOBJ

RANGEVP

PROPTHAT

FVanything

that

something

VC NC

RANGE

DOMAIN

is/has

is

FS

DOMAINVP

VCsomething

is

CPROP

a

CPROPOBJ

NC

DOMAINAUX

FV

is/has

VC

RANGEAUXVC

PN Proper NameNC Noun-phrase ContinuationFV Finite VerbVC Verb-phrase ContinuationFS Full Stop

Noun-phrase Continuation: proper name definite article preposition noun, adjective, etc.

Verb-phrase Continuation: preposition noun, adjective, etc.

OBJECT

INDEF COMPLEMENT

FINISH

FS

FSSTART SUBJECT

ISUB

CSUB

the

PN

a/anevery NC

NC NC

COPULAR

VPLIST

AUX

VChas

is

VC

a/an NCNC

COBJ

IOBJNC NC

a/an NC

PN

theVC

FV

FINISH

START SUBJECT

ISUB

CSUB

the

PN

a/anevery NC

NC NC

Statements about properties

PROPINTRO

CLOSEPROP

is

propertyproperties

NC

OPENPROP

>

<

AUXPROP

VPPROP

VC

FV

is/has

VC

PROPCOP

PROPATTR

PA

FS

PN Proper NameNC Noun-phrase ContinuationFV Finite VerbVC Verb-phrase ContinuationLT Literal (number/string)IN IntegerFS Full StopPA Property Attribute

Property Attributes (PA) functional inverse-functional symmetric asymmetric reflexive irreflexive transitive

OPENPROPREL

AUXPROPREL

VPPROPREL

VC

FV

is/has

VC

PROPINTROREL

and

< PROPCOPREL

are

PROPATTRREL

disjointequivalentinverses

FS

CLOSEPROPREL

>

CLOSEPROPSUB

PROPSUBA

PROPSUBB

PROPINTROSUB

of

sub-property

a

OPENPROPSUB

AUXPROPSUB

VPPROPSUB

VC

FV

is/has

VC

< >

FS

FINISH

START SUBJECT

ISUB

CSUB

the

PN

a/anevery NC

NC NC

Statements about data-properties

DATAPROPINTRO

CLOSEDATAPROP

is

data-propertydata-properties

NC

OPENDATAPROP

>

<

AUXDATAPROP

VPDATAPROP

VC

FV

is/has

VC

DATAPROPCOP

DATAPROPATTR

functional

FS

PN Proper NameNC Noun-phrase ContinuationFV Finite VerbVC Verb-phrase ContinuationLT Literal (number/string)IN IntegerFS Full StopPA Property Attribute

OPENDATAPROPREL

AUXDATAPROPREL

VPDATAPROPREL

VC

FV

is/has

VC

DATAPROPINTROREL

and

< DATAPROPCOPREL

are

DATAPROPATTRREL

disjointequivalent

FS

CLOSEDATAPROPREL

>

CLOSEDATAPROPSUB

DATAPROPSUBA

DATAPROPSUBB

DATAPROPINTROSUB

of

sub-property

a

OPENDATAPROPSUB

AUXDATAPROPSUB

VPDATAPROPSUB

VC

FV

is/has

VC

< >

FS