PropertyOf Relation

A PropertyOf Relation is a directed antisymmetric irreflexive intransitive semantic relation between an entity property and an entity.

• AKA: Property Relation, Attribute Relation, Characteristic, Property Of, property, PropertyOf, AttributeOf.
• Context:
  • It is a Directed Relation with Inverse Relation of HasProperty Relation.
    • If Has Property(x, y) then PropertyOf(y, x).
  • It is an Antisymmetric Relation; because if PropertyOf(A,B) then Not PropertyOf(B,A). (e.g. A car is a not a property of mass).
  • It is an Irreflexive Relation; because a thing is not a property of itself. (e.g. A car is not a property of a car).
  • It is an Intransitive Relation; because if PropertyOf(A,B) then B cannot have property C, and therefore A cannot Has Property C.
  • It can (typically) be a One-to-Many Relation.
  • It can be represented by:
    • a Property Relation Mention.
    • a Property Relation Record.
• Example(s):
  • PropertyOf(black, cat_Sneezie) ⇒ True.
  • PropertyOf(6-kg, cat_Sneezie) ⇒ True.
  • PropertyOf(5-years, cat_Sneezie) ⇒ True.
  • PropertyOf(6-kg, 5-years) ⇒ False.
  • PropertyOf(cat, black) ⇒ False.
  • PropertyOf(Mass, Physical Object).
  • PropertyOf(Name, Named Entity).
  • PropertyOf(Color, Consumer Product), e.g. “The car is a two-tone.".
  • ...
• Counter-Example(s):
  • [math]\displaystyle{ f }[/math](cat, cat) ⇒ True.
  • [math]\displaystyle{ f }[/math](cat, whisker) ⇒ True, likely an example of a PartOf Relation.
  • [math]\displaystyle{ f }[/math](cat, feline) ⇒ True.
  • [math]\displaystyle{ f }[/math](cat, mammal) ⇒ True.
  • [f(Gabor Melli, person) ⇒ True; an InstanceOf Relation.
• See: PropertiesOf Relation, PartOf Relation, IsA Relation, Composite Entity.

---

---

References

2017

• (Wikipedia, 2017) ⇒ https://en.wikipedia.org/wiki/Property_(programming) Retrieved:2017-7-16.
  • A property, in some object-oriented programming languages, is a special sort of class member, intermediate in functionality between a field (or data member) and a method. The syntax for reading and writing of properties is like for fields, but property reads and writes are (usually) translated to 'getter' and 'setter' method calls. The field-like syntax is easier to read and write than lots of method calls, yet the interposition of method calls "under the hood" allows for data validation, active updating (e.g., of GUI elements), or implementation of what may be called “read-only fields".

    See an instructive example for C# language below.

2009

• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Property_(philosophy)
  • In modern philosophy, mathematics, and logic, a property is an attribute of an object; thus a red object is said to have the property of redness. The property may be considered a form of object in its own right, able to possess other properties. ...
• wordnet.princeton.edu/perl/webwn
  • something owned; any tangible or intangible possession that is owned by someone; "that hat is my property"; "he is a man of property";
  • a basic or essential attribute shared by all members of a class; "a study of the physical properties of atomic particles"
  • place: any area set aside for a particular purpose; "who owns this place?"; "the president was concerned about the property across from the White House"
  • a construct whereby objects or individuals can be distinguished; "self-confidence is not an endearing property"
  • any movable articles or objects used on the set of a play or movie; "before every scene he ran down his checklist of props"
• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Property_(T)
  • In mathematics, a locally compact topological group G has property (T) if the trivial representation is an isolated point in its unitary dual equipped with the Fell topology. ...
• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Property_(programming)
  • In some object-oriented programming languages, a property is a special sort of class member, intermediate between a field (or data member) and a method. You read and write a property just as you read and write a field, but this is (usually) translated to get and set method calls. ...
• http://en.wiktionary.org/wiki/property
  • Something that is owned; A parcel of land with a single owner; The exclusive right of possessing, enjoying, and disposing of a thing; : Country ...
• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Property
  • Property means Right of Action for things that can be exchanged. Important types of property include real property (land), personal property (other physical possessions), and intellectual property (rights over artistic creations, inventions, etc.). ...

1983

• (Shaw et al., 1983) ⇒ Shaw, M., Borison, E., Horowitz, M., Lane, T., Nichols, D., & Pausch, R. (1983). "Descartes: A programming-language approach to interactive display interfaces". ACM Sigplan Notices, 18(6), 100-111. DOI:10.1145/872728.806856
  • ABSTRACT: This paper shows how the principles of programming methodology and language design can help solve the problem of specifying and creating interactive display interfaces for software systems. Abstraction techniques, such as abstract data types, can support both the specification of display interfaces and the implementation of those interfaces in a variety of styles. These abstraction techniques also guide the organization of software systems that will use display interfaces. We are developing a system that includes specifications, interface description tools, prototype organizations, and runtime support. The emphasis is on flexibility and on the separation of policy from particular instances. Preliminary results from implementations in a prototype domain indicate the feasibility of the approach.

---