Difference between revisions of "Description Logics Extensions"

From AIRWiki
Jump to: navigation, search
(Project short description)
(Project short description)
Line 6: Line 6:
 
=== Project short description ===
 
=== Project short description ===
  
This is a research about a 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.
+
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 ===
 
=== Dates ===

Revision as of 12:14, 7 May 2008

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