100 likes | 217 Views
NPLISTLOOP. OWL Simplified English. and. a/an. NC. NPLIST. COMPLEMENT. PN Proper Name NC Noun-phrase Continuation FV Finite Verb VC Verb-phrase Continuation FS Full Stop. NC. a/an. that. COPULAR. VPLISTLOOP. FV. FS. VC. is/has. and. ISUB. is. AUXLIST. NC. and. VC. ILIST.
E N D
NPLISTLOOP OWL Simplified English and a/an NC NPLIST COMPLEMENT PN Proper Name NC Noun-phrase Continuation FV Finite Verb VC Verb-phrase Continuation FS Full Stop NC a/an that COPULAR VPLISTLOOP FV FS VC is/has and ISUB is AUXLIST NC and VC ILIST ILISTOBJ the NC NC the NC FS PN FV PN VPLIST START SUBJECT FINISH NC NC a/an every VC FS has a/an CLIST CLISTOBJ NC that CSUB VC FS VPCHAINLOOP AUX FV is/has that Noun-phrase Continuation: proper name definite article preposition noun, adjective, etc. Verb-phrase Continuation: preposition noun, adjective, etc. AUXCHAIN NC FS VC ICHAIN ICHAINOBJ the NC VPCHAIN PN a/an VC NC NC CCHAIN CCHAINOBJ
VP Sub-network including literals and all quantifiers Noun-phrase Continuation: proper name literal definite article preposition noun, adjective, etc. Verb-phrase Continuation: preposition noun, adjective, etc. VPLISTLOOP FV and is/has and AUXLIST NC ILISTOBJ VC ILIST the NC PN FS VPLIST LT FS a/an only FINISH VC LLISTOBJ VC at FS CLIST NC a/an only NC IN CLISTOBJ ATLIST exactly at EQUALITYLIST that most least IN INEQUALITYLIST PN Proper Name NC Noun-phrase Continuation FV Finite Verb VC Verb-phrase Continuation LT Literal (number/string) IN Integer FS Full Stop
Opening subnetwork for comments and metadata ES End of string AT Any token (except % or #) AT COMMENT % ES START FINISH ES # ES METADATA AT METAVALUE AT
Disjoint and Equivalent Classes NPLISTLOOP and a/an NC NPLIST COMPLEMENT NC a/an a/an COPULAR DEFAS FS defined ISUB is as DEFINED the NC NC PN START SUBJECT FINISH a/an every NC FS CSUB no NC NC DSUB DSUBJECT DCOPULAR DCOMP DCOMPLEMENT NC is a/an NC
Domain and Range including data properties ISUB the NC NC PN START SUBJECT a/an every NC NC RANGEAUX CPROPOBJ FINISH VC CSUB FS is/has NC VC anything FV RANGE RANGEVP CPROP something is a PROPSUBJ PROPTHAT that PROPOBJ FV is is/has VC something DOMAINAUX DOMAIN DOMAINVP VC some value DATADOMAIN
Statements about properties PN Proper Name NC Noun-phrase Continuation FV Finite Verb VC Verb-phrase Continuation LT Literal (number/string) IN Integer FS Full Stop PA Property Attribute AUXPROP is/has < VC PROPINTRO OPENPROP property data-property > FV FINISH VPPROP CLOSEPROP NC ISUB VC is FS the NC NC PROPCOP PN START SUBJECT PA a/an every NC PROPATTR Property Attributes (PA) functional inverse-functional symmetric asymmetric reflexive irreflexive transitive CSUB
Domain and Range ISUB the NC NC PN START SUBJECT a/an every NC NC RANGEAUX CPROPOBJ FINISH VC CSUB FS is/has NC VC anything FV RANGE RANGEVP CPROP something is a PROPSUBJ PROPTHAT that PROPOBJ FV is is/has VC something DOMAINAUX DOMAIN DOMAINVP VC
PN Proper Name NC Noun-phrase Continuation FV Finite Verb VC Verb-phrase Continuation FS Full Stop NC a/an NC COPULAR INDEF COMPLEMENT ISUB is VC FS the IOBJ NC NC the NC NC PN FV PN FS START SUBJECT VPLIST OBJECT FINISH a/an every VC has a/an NC NC VC COBJ CSUB AUX Noun-phrase Continuation: proper name definite article preposition noun, adjective, etc. Verb-phrase Continuation: preposition noun, adjective, etc.
Statements about properties CLOSEPROPREL are AUXPROPREL is/has Property Attributes (PA) functional inverse-functional symmetric asymmetric reflexive irreflexive transitive < > PROPCOPREL VC PROPINTROREL OPENPROPREL disjoint equivalent inverses FV VPPROPREL VC PROPATTRREL AUXPROP is/has and FS < VC PROPINTRO OPENPROP property properties > FV FINISH VPPROP CLOSEPROP NC ISUB VC is FS the NC NC PROPCOP a PN FS START SUBJECT PA a/an every NC PROPATTR PROPSUBA CSUB sub-property AUXPROPSUB is/has PN Proper Name NC Noun-phrase Continuation FV Finite Verb VC Verb-phrase Continuation LT Literal (number/string) IN Integer FS Full Stop PA Property Attribute PROPSUBB VC of OPENPROPSUB CLOSEPROPSUB > FV < VPPROPSUB PROPINTROSUB VC
Statements about data-properties CLOSEDATAPROPREL are AUXDATAPROPREL is/has < > DATAPROPCOPREL DATAPROPINTROREL OPENDATAPROPREL VC disjoint equivalent FV VPDATAPROPREL VC DATAPROPATTRREL AUXDATAPROP is/has and FS < VC data-property data-properties DATAPROPINTRO OPENDATAPROP > FV FINISH VPDATAPROP CLOSEDATAPROP NC ISUB VC is FS the NC NC DATAPROPCOP a PN FS START SUBJECT functional a/an every NC DATAPROPATTR DATAPROPSUBA CSUB sub-property AUXDATAPROPSUB is/has PN Proper Name NC Noun-phrase Continuation FV Finite Verb VC Verb-phrase Continuation LT Literal (number/string) IN Integer FS Full Stop PA Property Attribute DATAPROPSUBB VC of OPENDATAPROPSUB CLOSEDATAPROPSUB > FV < VPDATAPROPSUB DATAPROPINTROSUB VC