Difference between revisions of "Description Logics Extensions"

From AIRWiki
Jump to: navigation, search
 
m
 
(10 intermediate revisions by 2 users not shown)
Line 1: Line 1:
[[Media:MarcoFurlan.pdf]]
+
{{Project
 +
| title=A fuzzy description logics temporal extension
 +
| short_descr=This is a research about a new temporal extension for description logics - valid for fuzzy logics but for crisp ones as well, as a restriction (so it always should be). We give new definitions for some temporal operators already present in literature and introduce some new temporal operators, called "tendency operators", whose semantics describes the temporal tendency - increasing, decreasing or constant - for the membership degree concerning a given concept. In addition, we define the new "temporal quantifiers", corresponding to some natural language's temporal adverbs, as ''usually'', ''often'', ''3 times out of 5'', etc.
 +
| tutor=MarcoColombetti;DavideEynard
 +
| students=MarcoFurlan
 +
| resarea=Social Software and Semantic Web
 +
| restopic=Description Logics
 +
| start=2007/04/01
 +
| end=2008/04/24
 +
| level=Ms
 +
| type=Thesis
 +
| status=Closed
 +
}}
 +
 
 +
 
 +
== '''Part 1: project profile''' ==
 +
 
 +
=== Project name ===
 +
A fuzzy description logics temporal extension
 +
 
 +
=== Project short description ===
 +
 
 +
This is a research about a new temporal extension for description logics - valid for fuzzy logics but for crisp ones as well, as a restriction (so it always should be). We give new definitions for some temporal operators already present in literature and introduce some new temporal operators, called "tendency operators", whose semantics describes the temporal tendency - increasing, decreasing or constant - for the membership degree concerning a given concept. In addition, we define the new "temporal quantifiers", corresponding to some natural language's temporal adverbs, as ''usually'', ''often'', ''3 times out of 5'', etc.
 +
 
 +
=== Dates ===
 +
 
 +
* Start date: 2007/04/01
 +
* End date: 2008/04/24
 +
 
 +
=== People involved ===
 +
 
 +
==== Project head(s) ====
 +
 
 +
* Prof. [[User:MarcoColombetti|Marco Colombetti]]
 +
 
 +
==== Other Politecnico di Milano people ====
 +
 
 +
* Ing. [[User:DavideEynard|Davide Eynard]]
 +
 
 +
==== Students ====
 +
 
 +
* [[User:MarcoFurlan|Marco Furlan]] – marcofurl (at) gmail (dot) com
 +
 
 +
 
 +
=== Laboratory work and risk analysis ===
 +
I used an AIRLab computer only to write the source code and the documentation by various editors, so the risk analysis wasn’t required.
 +
 
 +
 
 +
== '''Part 2: project description''' ==
 +
 
 +
* [[Media:MarcoFurlan.pdf|Project documentation]]
 +
* [[Media:SHOIQT.pdf|Presentation slides]]
 +
* [[Media:fuzzyTemporalQuantifiedDLs.zip|Source files]]

Latest revision as of 13:20, 11 June 2009

A fuzzy description logics temporal extension
Short Description: This is a research about a new temporal extension for description logics - valid for fuzzy logics but for crisp ones as well, as a restriction (so it always should be). We give new definitions for some temporal operators already present in literature and introduce some new temporal operators, called "tendency operators", whose semantics describes the temporal tendency - increasing, decreasing or constant - for the membership degree concerning a given concept. In addition, we define the new "temporal quantifiers", corresponding to some natural language's temporal adverbs, as usually, often, 3 times out of 5, etc.
Coordinator:
Tutor: MarcoColombetti (colombet@elet.polimi.it), DavideEynard (eynard@elet.polimi.it)
Collaborator:
Students: MarcoFurlan ()
Research Area: Social Software and Semantic Web
Research Topic: Description Logics
Start: 2007/04/01
End: 2008/04/24
Status: Closed
Level: Ms
Type: Thesis


Part 1: project profile

Project name

A fuzzy description logics temporal extension

Project short description

This is a research about a new temporal extension for description logics - valid for fuzzy logics but for crisp ones as well, as a restriction (so it always should be). We give new definitions for some temporal operators already present in literature and introduce some new temporal operators, called "tendency operators", whose semantics describes the temporal tendency - increasing, decreasing or constant - for the membership degree concerning a given concept. In addition, we define the new "temporal quantifiers", corresponding to some natural language's temporal adverbs, as usually, often, 3 times out of 5, etc.

Dates

  • Start date: 2007/04/01
  • End date: 2008/04/24

People involved

Project head(s)

Other Politecnico di Milano people

Students


Laboratory work and risk analysis

I used an AIRLab computer only to write the source code and the documentation by various editors, so the risk analysis wasn’t required.


Part 2: project description