EzWeb

EzContext specification

A vocabulary to formalize preferences, contexts and profiles in EzWeb

Working Draft - 23 December 2008

This version:
http://ontologies.ezweb.morfeo-project.org/ezcontext/spec-20081223
Latest version:
http://ontologies.ezweb.morfeo-project.org/ezcontext/spec
Last Update:
Date: 23 December 2008
Editors:
Luis Polo (Fundación CTIC)
Ivan Mínguez (Fundación CTIC)
Emilio Rubiera (Fundación CTIC)
Contributors:
Diego Berrueta (Fundación CTIC)
Sergio Fernández (Fundación CTIC)
Acknowledgements:
See acknowledgements

Abstract

This specification describes a formal vocabulary to represent preferences, contexts and profiles in the EzWeb project. The aim of this ontology is to provide the main design patterns to formalize demands in OWL language.

Status of this Document

This is a work in progress! This document is changing on a daily if not hourly basis. Comments are very welcome, please send them to the authors. Thank you.

Table of Contents

  1. Introduction
  2. EzContext at a glance
  3. EzContext overview
    1. Example
  4. Cross-reference for EzContext classes and properties

Appendices

  1. References

1. Introduction

The user context explotation seems to be essential in order to generate customised suggestions based on the user profile. This ontology includes the conceptual model of the user context in the EzWeb platform. Under a normative namespace:

http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#

using content negotiation and following the best practice recipes [RECIPES], it can access to a human-readable specification (this document) and to a small RDF Vocabulary with formal definition of the terms used.

2. EzContext ontology at a glance

An alphabetical index of EzContext terms, by class (concepts) and by property (relationships, attributes), are given below. All the terms are hyperlinked to their detailed description for quick reference.

Classes: CompositePreference, Context, Demand, Filter, ModalDescription, Operator, Pattern, Preference, UserProfile,

Properties: andComposition, asksFor, desireTowards, excludedPreference, filter, inContext, internallyRepresents, negativePreference, notDesireTowards, operator, positivePreference, refinedBy, requiredPreference, sets, unionComposition, utilityValue,

3. EzContext ontology overview

The EzContext definitions presented here are the formalization of the context inside EzWeb platform. As context we refer to profiles and preferences that a user can use in a concrete moment and situation (his context).

3.1. Example

Here is a very basic document describing a user profile:

  <ezc:UserProfile rdf:ID="http://example.org/ExampleProfile">
    <ezc:desireTowards rdf:resource="http://ontologies.ezweb.morfeo-project.org/ezc/var/Var1" />
    <ezc:desireTowards rdf:resource="http://ontologies.ezweb.morfeo-project.org/ezc/var/Var2" />
    <ezc:askFor rdf:resource="http://example.org/ExampleDemand"/>
  </ezc:UserProfile>

  <ezc:Demand rdf:ID="http://example.org/ExampleDemand">
     <ezc:requiredPreference rdf:resource="http://ontologies.ezweb.morfeo-project.org/ezc/var/Var1"/>
     <ezc:positivePreference rdf:resource="http://ontologies.ezweb.morfeo-project.org/ezc/var/Var2"/>
  </ezc:Demand>

  <ezc:Preference rdf:about="http://ontologies.ezweb.morfeo-project.org/ezc/var/Var1">
     <rdf:type rdf:resource="http://idi.fundacionctic.org/cruzar/turismo#Edificio-religioso"/>
  </ezc:Preference>

  <ezc:Preference rdf:about="http://ontologies.ezweb.morfeo-project.org/ezc/var/Var2">
     <dol:has-quality rdf:resource="http://idi.fundacionctic.org/cruzar/turismo#Estilo-renacentista"/>
  </ezc:Preference>

4. Cross-reference for EzContext classes and properties

Class: ezc:CompositePreference

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#CompositePreference

Composite preference - A complex representation of a preference to express the union or the intersection of two or more preferences using AND and OR operators. A composite preference uses one and only one operator. Both operators are incompatible

sub-class-of:
ezc:Preference
in-domain-of:
ezc:andComposition
ezc:unionComposition

[back to top]

Class: ezc:Context

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#Context

Context - The context of the user

in-domain-of:
ezc:sets
in-range-of:
ezc:inContext

[back to top]

Class: ezc:Demand

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#Demand

Demand - The willingness to achieve a commodity or a service with certain properties. Basically a demand is a set of preferences: mandatory, positive, negative or excluding.

sub-class-of:
ezc:ModalDescription
in-domain-of:
ezc:requiredPreference
ezc:positivePreference
ezc:excludedPreference
ezc:negativePreference
in-range-of:
ezc:asksFor
ezc:sets

[back to top]

Class: ezc:Filter

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#Filter

Filter - A preferred condition on a datatype property

in-domain-of:
ezc:operator
in-range-of:
ezc:filter

[back to top]

Class: ezc:ModalDescription

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#ModalDescription

Modal Description - A modal description consists in the specification of a modal target: desire, right, power, duty, etc. From the formal semantic viewpoint, a modal description is the reification of a relation involving a modal logic operator.

in-domain-of:
ezc:refinedBy
in-range-of:
ezc:refinedBy
ezc:internallyRepresents

[back to top]

Class: ezc:Operator

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#Operator

Operator - Elements that define data operations: string comparisons, numerical ragnges, etc., in a filter

in-range-of:
ezc:operator

[back to top]

Class: ezc:Pattern

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#Pattern

Pattern - An individual that satisfies some preferred conditions. These individuals can be interpreted as variables in matchmaking applications

in-domain-of:
ezc:filter

[back to top]

Class: ezc:Preference

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#Preference

Preference - A desired property of a commodity or a service.

sub-class-of:
ezc:ModalDescription
in-domain-of:
ezc:utilityValue
ezc:filter
in-range-of:
ezc:requiredPreference
ezc:positivePreference
ezc:excludedPreference
ezc:negativePreference
ezc:desireTowards
ezc:notDesireTowards
ezc:andComposition
ezc:unionComposition
ezc:sets

[back to top]

Class: ezc:UserProfile

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#UserProfile

User profile - A user profile is defined as a set of demands or preferences

in-domain-of:
ezc:internallyRepresents
ezc:asksFor
ezc:desireTowards
ezc:notDesireTowards

[back to top]

Property: ezc:andComposition

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#andComposition

AND Composition - A property which matches each composite-preference with the set of preferences composing it. Being an and-Composition, all the preferences have to be realised

OWL Type:
ObjectProperty
Domain:
ezc:CompositePreference
Range:
ezc:Preference

[back to top]

Property: ezc:asksFor

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#asksFor

Asks For - The relationship between a user and his demands, which can be mandatory, positive, negative or exclusive.

OWL Type:
ObjectProperty
sub-property-of:
ezc:internallyRepresents
Domain:
ezc:UserProfile
Range:
ezc:Demand

[back to top]

Property: ezc:desireTowards

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#desireTowards

Desire Towards - A modal relation expressing that a user has a strong preference towards something

OWL Type:
ObjectProperty
sub-property-of:
ezc:internallyRepresents
Domain:
ezc:UserProfile
Range:
ezc:Preference

[back to top]

Property: ezc:excludedPreference

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#excludedPreference

Excluded Preference - This property relates a demand with a particular condition P. Individuals that fulfill this condition P are excluded from the set of candidates of the demand

OWL Type:
ObjectProperty
sub-property-of:
ezc:refinedBy
Domain:
ezc:Demand
Range:
ezc:Preference

[back to top]

Property: ezc:filter

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#filter

Filter - A property which develops the pattern restraining the value of a datatype property

OWL Type:
ObjectProperty
Domain:
ezc:Preference
ezc:Pattern
Range:
ezc:Filter

[back to top]

Property: ezc:inContext

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#inContext

In Context - A user is supposed to be in different situations. User profiles can vary according to their contexts

OWL Type:
ObjectProperty
Domain:
http://ontologies.ezweb.morfeo-project.org/platform/ns#EzUser
Range:
ezc:Context

[back to top]

Property: ezc:internallyRepresents

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#internallyRepresents

Internally Represents - A user internally represents (in her mind) a modal description: a desire, a plan, a duty, etc.

OWL Type:
ObjectProperty
Domain:
ezc:UserProfile
Range:
ezc:ModalDescription

[back to top]

Property: ezc:negativePreference

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#negativePreference

Negative Optional Preference - This property relates a demand with a particular condition P. Individuals that fulfill this condition P decline their utility value

OWL Type:
ObjectProperty
sub-property-of:
ezc:refinedBy
Domain:
ezc:Demand
Range:
ezc:Preference

[back to top]

Property: ezc:notDesireTowards

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#notDesireTowards

Not Desire Towards - A modal relation expressing the absence of a preference towards something

OWL Type:
ObjectProperty
sub-property-of:
ezc:internallyRepresents
Domain:
ezc:UserProfile
Range:
ezc:Preference

[back to top]

Property: ezc:operator

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#operator

Operator - A property which matches a pattern to the operator restraining the value of a datatype property

OWL Type:
ObjectProperty
Domain:
ezc:Filter
Range:
ezc:Operator

[back to top]

Property: ezc:positivePreference

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#positivePreference

Positive Optional Preference - This property relates a demand to a preference P in an optional way. Individuals that fulfill the condition P increase their utility value

OWL Type:
ObjectProperty
sub-property-of:
ezc:refinedBy
Domain:
ezc:Demand
Range:
ezc:Preference

[back to top]

Property: ezc:refinedBy

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#refinedBy

Refined By - A modal description can be refined by adding new components.

OWL Type:
ObjectProperty
Domain:
ezc:ModalDescription
Range:
ezc:ModalDescription

[back to top]

Property: ezc:requiredPreference

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#requiredPreference

Required Preference - This property relates a demand with a preference P in a mandatory way. Individuals that fulfill the condition P are part from the set of candidates of the demand

OWL Type:
ObjectProperty
sub-property-of:
ezc:refinedBy
Domain:
ezc:Demand
Range:
ezc:Preference

[back to top]

Property: ezc:sets

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#sets

Sets - A context specify which preferences or demands apply for a particular situation

OWL Type:
ObjectProperty
Domain:
ezc:Context
Range:
ezc:Demand
ezc:Preference

[back to top]

Property: ezc:unionComposition

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#unionComposition

UNION Composition - A property which matches each composite-preference with the set of preferences composing it. Being a union-Composition, at least one of the preferences has to be realised

OWL Type:
ObjectProperty
Domain:
ezc:CompositePreference
Range:
ezc:Preference

[back to top]

Property: ezc:utilityValue

URI: http://ontologies.ezweb.morfeo-project.org/ezcontext/ns#utilityValue

Utility Value - This property represents the utility value of a commodity or a service according to the preferences of the user

OWL Type:
DatatypeProperty
Domain:
ezc:Preference
Range:
xsd:float

[back to top]

A. References

IETF RFC 2119
RFC 2119: Key words for use in RFCs to Indicate Requirement Levels. Internet Engineering Task Force, 1997 (see http://www.ietf.org/rfc/rfc2119.txt).

B. Changes in this version (Non-Normative)

C. Acknowledgements (Non-Normative)

This document was produced with the participation of the EzWeb project consortium (by alphabetic order):

This specification has been generated using SpecGen.