Sciweavers

2302 search results - page 119 / 461
» Basic Description Logics
Sort
View
FUZZIEEE
2007
IEEE
15 years 8 months ago
Asymptotic Idempotency
This paper deals with aggregation operators. A new class of aggregation operators, called asymptotically idempotent, is introduced. A generalization of the basic notion of aggregat...
Roberto Ghiselli Ricci
RSCTC
2000
Springer
113views Fuzzy Logic» more  RSCTC 2000»
15 years 7 months ago
Approximation of Information Granule Sets
The aim of the paper is to present basic notions related to granular computing, namely the information granule syntax and semantics as well as the inclusion and closeness (similari...
Andrzej Skowron, Jaroslaw Stepaniuk, James F. Pete...
IGPL
2008
67views more  IGPL 2008»
15 years 4 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki
ESWS
2006
Springer
15 years 7 months ago
The Web Service Modeling Language WSML: An Overview
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
Jos de Bruijn, Holger Lausen, Axel Polleres, Diete...
IGPL
2011
14 years 7 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski