The Higgins Person ontology

Dr Ph. MARTIN, October 4th 2007

This file shows a translation in the FL notation (see the statements in courrier font below) of the OWL version of the Higgins Person ontology and Friend ontology. This file requires this FT translation of the Higgins' top level ontology. On the Higgins site, you can find explanations for the used data model.

This file, and hence the knowledge representations it includes, 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 to see/navigate the hierarchy of their supertypes), queried and complemented by any Web user via WebKB-2.

Comments on this ontology:



source: http://www.eclipse.org/higgins/ontologies/2006/higgins (higgins)
        http://www.eclipse.org/higgins/ontologies/2006/person-with-address (pwa)
        http://www.eclipse.org/higgins/ontologies/2006/person-with-friend (pwf)
        http://www.w3.org/2001/XMLSchema (xsd) ;


//------------ Concept definitions:
pwa#Person
  < higgins#DigitalSubject    //"<" is a shortcut for "supertype:"
    #person (pm) //the user "pm" added this link to the relevant Wordnet category for a person
    higgins#SubjectRelationship (pm), //supertype added by pm to allow the use of
                                      //  a pwa#Person object as destination of "friend"
  pwa#firstname: 1..* higgins#NormalizedStringSimpleAttribute ,
  pwa#surname: 1 higgins#NormalizedStringSimpleAttribute ,
  pwa#postalAddress: 1..* pwa#PostalAddress ;

pwa#PostalAddress
  < higgins#ComplexAttribute   #mailing_address (pm),
  pwa#country: 0..* higgins#String ,    pwa#state: 1 higgins#String ,
  pwa#city: 1 higgins#String ,  pwa#streetAddress: 1 higgins#String ,
  pwa#postalCode: 0..* higgins#String ;


//------------ Relation types with their signatures:
pwa#firstname (pwa#Person , higgins#NormalizedStringSimpleAttribute ) < higgins#attribute;
pwa#surname (pwa#Person , higgins#NormalizedStringSimpleAttribute ) < higgins#attribute;
pwa#postalAddress (pwa#Person , pwa#PostalAddress ) < higgins#attribute;
pwa#streetAddress (pwa#PostalAddress , higgins#String /*not xsd#string*/) < higgins#attribute;
pwa#city (pwa#PostalAddress , higgins#String ) < higgins#attribute;
pwa#state (pm#Higgins_ContextObject_or_DigitalSubject , higgins#String ) < higgins#attribute;
pwa#postalCode (pwa#PostalAddress , higgins#String ) < higgins#attribute;
pwa#country (pwa#PostalAddress , higgins#String ) < higgins#attribute;
pwf#friend (higgins#DigitalSubject , higgins#SubjectRelationship ) < higgins#attribute;


// ------------ Example of instance (temporarily in FCG, not FL):
[some pwa#Person,
   pwa#firstname: "Mary" ,  pwa#surname: "Ruddy" ,
   pwa#postalAddress: (some pwa#PostalAddress ,  pwa#country: "USA" ,
                         pwa#city: "Provo" ,  pwa#postalCode: "12345",
                         pwa#streetAddress: "123 Main St."),
   pwf#friend: (some pwa#Person ,
                  higgins#contextURI: "http://example.com/robertjones/public-business-card",
                  higgins#subjectCUID: "bob") ](pm);  //statement created by pm

/* Note: a direct translation of the OWL source in FCG would have been:
[a pwa#Person ,
  pwa#firstname: (a higgins#NormalizedStringSimpleAttribute,
                     higgins:normalizedStringSimpleValue: 
                           the xsd#normalizedString "Mary"),
  pwa#surname: (a higgins#NormalizedStringSimpleAttribute,
                      higgins:normalizedStringSimpleValue: 
                           the xsd#normalizedString "Ruddy"),
  pwa#postalAddress: (a pwa#PostalAddress,
                         pwa#country: the higgins#String "USA",
                         pwa#city: the higgins#String "Provo",
                         pwa#postalCode: the higgins#String "12345",
                         pwa#streetAddress: 
                                 the higgins#String "123 Main St."),
  pwf#friend:
    (a higgins#SubjectRelationship,
         higgins#contextURI: the xsd#anyURI
              "http://example.com/robertjones/public-business-card",
         higgins#subjectCUID: "bob") ](pm);
*/
/* A better representation would be:
[some pwa#Person,
   pwa#firstname: "Mary" ,  pwa#surname: "Ruddy" ,
   pwa#postalAddress: (some pwa#PostalAddress , 
                         pwa#city: pm#Provo , pwa#streetAddress: "123 Main St."),
   pwf#friend: (some pwa#Person "http://example.com/robertjones/public-business-card",
                  dl#name: "bob") ](pm);
*/
/* An even better representation would be:
[a #person,  #first_name: "Mary",  #surname: "Ruddy",
  #mailing_address: (a #mailing_address, #city: pm#Provo,
                        #street_address: "123 Main St."),
  #friend: (a #person "http://example.com/robertjones/public-business-card",
                #name: "bob") ](pm);
*/