This file shows a translation in the FL notation of the OWL version of the Higgins top-level model. On the Higgins site, you can find explanations on this ontology and explanations on its data model. To avoid the violation of relation signatures I had to add some relation: see the string "(pm)" after the destination of certain relations below.
This file is required by the FT translation of the Higgins' Person ontology.
This file, and hence the knowledge representations it includes (see the statements in courrier font), have been loaded into the knowledge base (KB) of WebKB-2. Thus, these representations can be navigated (e.g., click on the hyperlinked categories below), queried and complemented by any Web user via WebKB-2.
source: http://www.eclipse.org/higgins/ontologies/2006/higgins (higgins) http://dublincore.org/elements/1.1/ (dc) http://www.w3.org/2002/07/owl (owl) http://www.w3.org/1999/02/22-rdf-syntax-ns (rdf) http://www.w3.org/2000/01/rdf-schema (rdfs) http://www.w3.org/2001/XMLSchema (xsd) spamOnly@phmartin.info (pm); //below, "pm" has added some categories and relations that // were not in the OWL source of Higgins
pm#Higgins_object supertype: dolce#particular , subtype: pm#Higgins_Relationship pm#Higgins_ContextObject_or_DigitalSubject higgins#ContextId pm#Higgins_DigitalSubject_or_Value pm#Higgins_Attribute_or_Value ; pm#Higgins_Relationship subtype: higgins#ContextRelationship higgins#SubjectRelationship; pm#Higgins_ContextObject_or_DigitalSubject subtype: higgins#ContextObject higgins#DigitalSubject higgins#ComplexAttribute (pm); //not in the OWL source but needed for the // Person ontology (may be it is a subtype of one of the prevous two) higgins#ContextObject (^There should only be one instance of this class within a given Context. This instance represents the containing Context itself.^); higgins#DigitalSubject higgins#uniqueIdentifier: 1 higgins#String , subtype: //the following subtype added by pm to satisfy relation signatures below xsd#boolean (pm) xsd#date (pm) xsd#dateTime (pm) xsd#normalizedString (pm) xsd#string (pm) xsd#base64Binary (pm) xsd#integer (pm) xsd#decimal (pm) xsd#nonNegativeInteger (pm) xsd#positiveInteger (pm) xsd#nonPositiveInteger (pm) xsd#negativeInteger (pm) xsd#float (pm) xsd#double (pm) xsd#long (pm) xsd#int (pm) xsd#short (pm) xsd#byte (pm) xsd#unsignedLong (pm) xsd#unsignedInt (pm) xsd#unsignedShort (pm) xsd#unsignedByte (pm) xsd#hexBinary (pm) xsd#time (pm) xsd#date (pm) xsd#gYear (pm) xsd#gYearMonth (pm) xsd#gMonthDay (pm) xsd#gDay (pm) xsd#gMonth (pm) xsd#anyURI (pm) xsd#token (pm) xsd#NMTOKEN (pm) xsd#language (pm) xsd#Name (pm) xsd#NCName (pm); higgins#ContextId (^URI that uniquely identifies a Context (earlier refered to as a ContextRef or ContextURI^); pm#Higgins_DigitalSubject_or_Value subtype: higgins#DigitalSubject higgins#Value ; pm#Higgins_Attribute_or_Value subtype: higgins#Value higgins#Attribute ; higgins#Attribute (^Instances of this class are used as the domain of higgins:metadata properties that, taken together, are considered to be the metadata about a higgins:attribute sub-property.^) subtype: higgins#ComplexAttribute (pm) //these subtypes were not in the OWL source higgins#NormalizedStringAttribute (pm); higgins#NormalizedStringAttribute subtype: higgins#NormalizedStringSimpleAttribute (pm); higgins#Value higgins#syncConflict: 0..1 xsd#boolean , higgins#lastModified: 0..1 xsd#dateTime , subtype: higgins#SimpleValue higgins#ComplexValue higgins#TimeSpan (pm); higgins#SimpleValue higgins#simpleValue: 1..* higgins#DigitalSubject , subtype: higgins#String higgins#Base64Binary higgins#NormalizedString higgins#DateTime higgins#Boolean higgins#Decimal higgins#Integer higgins#NegativeInteger higgins#NonNegativeInteger higgins#PositiveInteger higgins#NonPositiveInteger higgins#Float higgins#Double higgins#Long higgins#Int higgins#Short higgins#Byte higgins#UnsignedLong higgins#UnsignedInt higgins#UnsignedShort higgins#UnsignedByte higgins#HexBinary higgins#Time higgins#Date higgins#GYear higgins#GYearMonth higgins#GMonthDay higgins#GDay higgins#GMonth higgins#AnyURI higgins#Token higgins#Language higgins#NMTOKEN higgins#Name higgins#NCName ; higgins#ComplexValue subtype: higgins#SubjectRelationship ; higgins#SubjectRelationship higgins#contextId: 1 pm#HigginsRelationship , higgins#subjectId: 1 xsd#normalizedString ; higgins#TimeSpan higgins#validFrom: 0..1 xsd#date , higgins#validTo: 0..1 xsd#date ;
pm#Higgins_property (?, ?) supertype: pm#relation_coming_from_an_ontology , subtype: pm#Higgins_annotation_property pm#Higgins_datatype_property pm#Higgins_object_property ; //Note from http://www.eclipse.org/higgins/ontologies/2006/higgins: // The following have been copy verbatim from // http://protege.stanford.edu/plugins/owl/owl-library/2005/08/07/xsp.owl // These allow us to express the semantics of XML Schema within a // Higgins-based ontology RDF file. pm#Higgins_annotation_property (?, ?) subtype: higgins#base higgins#fractionDigits higgins#length higgins#maxExclusive higgins#maxInclusive higgins#maxLength higgins#minExclusive higgins#minInclusive higgins#minLength higgins#pattern higgins#totalDigits ; pm#Higgins_datatype_property (?, ?) subtype: higgins#simpleMetadata ; higgins#simpleMetadata (higgins#Value , higgins#DigitalSubject ) (^Used as the super-Property of some DatatypeProperties whose domain is higgins#ValeAndMetadata or higgins#DigitalSubject to indicate that these properties are considered to be metadata about the ValueAndMetadata (or DigitalSubject)^) subtype: higgins#subjectId higgins#validFrom higgins#validTo higgins#lastModified higgins#syncConflict higgins#lastVerifiedFromSource higgins#lastVerifyAttempt higgins#creationTime higgins#simpleValue ; higgins#subjectId (higgins#SubjectRelationship , xsd#normalizedString ) subtype: higgins#subjectCUID (pm); //needed for the "friend" example higgins#validFrom (higgins#TimeSpan , xsd#date ); higgins#validTo (higgins#TimeSpan , xsd#date ); higgins#lastModified (higgins#Value , xsd#dateTime ) ; higgins#syncConflict (higgins#Value , xsd#boolean ); higgins#lastVerifiedFromSource (higgins#Value , xsd#date ); higgins#lastVerifyAttempt (higgins#Value , xsd#date ) ; higgins#creationTime (higgins#Value , xsd#date) ; higgins#simpleValue (higgins#SimpleValue , higgins#DigitalSubject ) subtype: higgins#string higgins#normalizedString higgins#base64Binary higgins#integer higgins#dateTime higgins#boolean higgins#decimal higgins#nonNegativeInteger higgins#positiveInteger higgins#nonPositiveInteger higgins#negativeInteger higgins#float higgins#double higgins#long higgins#int higgins#short higgins#byte higgins#unsignedInt higgins#unsignedLong higgins#unsignedShort higgins#unsignedByte higgins#hexBinary higgins#time higgins#date higgins#gYear higgins#gYearMonth higgins#gMonthDay higgins#gDay higgins#gMonth higgins#anyURI higgins#token higgins#nMTOKEN higgins#language higgins#name higgins#nCName ; higgins#string (higgins#String , xsd#string ); //pm: not xsd#String higgins#normalizedString (higgins#NormalizedString , xsd#normalizedString) ; higgins#base64Binary (higgins#Base64Binary, xsd#base64Binary ); higgins#integer (higgins#Integer , xsd#integer ); higgins#dateTime (higgins#DateTime , xsd#dateTime ); higgins#boolean (higgins#Boolean , xsd#boolean ); higgins#decimal (higgins#Decimal , xsd#decimal ); higgins#nonNegativeInteger (higgins#NonNegativeInteger , xsd#nonNegativeInteger ); higgins#positiveInteger (higgins#PositiveInteger , xsd#positiveInteger ); higgins#nonPositiveInteger (higgins#NonPositiveInteger , xsd#nonPositiveInteger ); higgins#negativeInteger (higgins#NegativeInteger , xsd#negativeInteger ); higgins#float (higgins#Float , xsd#float ); higgins#double (higgins#Double , xsd#double ); higgins#long (higgins#Long , xsd#long ); higgins#int (higgins#Int , xsd#int ); higgins#short (higgins#Short , xsd#short ); higgins#byte (higgins#Byte , xsd#byte ); higgins#unsignedLong (higgins#UnsignedLong , xsd#unsignedLong ); higgins#unsignedInt (higgins#UnsignedInt , xsd#unsignedInt ); higgins#unsignedShort (higgins#UnsignedShort , xsd#unsignedShort ); higgins#unsignedByte (higgins#UnsignedByte , xsd#unsignedByte ); higgins#hexBinary (higgins#HexBinary , xsd#hexBinary ); higgins#time (higgins#Time , xsd#time ); higgins#date (higgins#Date , xsd#date ); higgins#gYear (higgins#GYear , xsd#gYear ); higgins#gYearMonth (higgins#GYearMonth , xsd#gYearMonth ); higgins#gMonthDay (higgins#GMonthDay , xsd#gMonthDay ); higgins#gDay (higgins#GDay , xsd#gDay ); higgins#gMonth (higgins#GMonth , xsd#gMonth ); higgins#anyURI (higgins#AnyURI , xsd#anyURI ); higgins#token (higgins#Token , xsd#token ); higgins#nMTOKEN (higgins#NMTOKEN , xsd#NMTOKEN ); higgins#language (higgins#Language , xsd#language ); higgins#name (higgins#Name , xsd#Name ); higgins#nCName (higgins#NCName , xsd#NCName ); pm#Higgins_object_property (?, ?) subtype: higgins#contextRelationship higgins#contextId higgins#attribute higgins#complexMetadata ; higgins#contextRelationship (higgins#ContextObject , higgins#ContextRelationship ); higgins#contextId (pm#Higgins_Relationship , higgins#ContextId ) subtype: higgins#contextURI (pm); //needed for the "friend" example higgins#attribute (pm#Higgins_ContextObject_or_DigitalSubject , pm#Higgins_Attribute_or_Value ) (^Instances of this property are used to point to one or more values (i.e. cases where (i.e. cases where the range is higgins:Value). One instance (at most) may also be used to point to a holder of metadata (an instance of higgins:Attribute) about the entire set of values.^) subtype: higgins#uniqueIdentifier higgins#relation ; higgins#uniqueIdentifier (higgins#DigitalSubject -> higgins#String ); higgins#relation (pm#Higgins_ContextObject_or_DigitalSubject , higgins#SubjectRelationship ) (^A directed relation between two Digital Subjects^) subtype: higgins#correlation ; higgins#correlation (pm#Higgins_ContextObject_or_DigitalSubject , higgins#SubjectRelationship ) (^A directed relation between two Digital Subjects believed to represent the same underlying Entity^); higgins#complexMetadata (pm#Higgins_DigitalSubject_or_Value , ?) (^Used as the super-Property of some ObjectProperties of higgins:ValueAndMetadata or higgins:DigitalSubject to indicate that these properties are considered to be metadata about the ValueAndMetadata (or DigitalSubject)^) subtype: higgins#source higgins#creator higgins#timeSpan ; higgins#source (higgins#Value , higgins#SubjectRelationship ); higgins#creator (higgins#Value , higgins#SubjectRelationship ); higgins#timeSpan (pm#Higgins_DigitalSubject_or_Value , higgins#TimeSpan );