Search Sciweavers | Sciweavers

2694 search results - page 72 / 539

» A Description Logic of Change

click to vote

IEEESCC
2007
IEEE

85views Applied Computing» more IEEESCC 2007»

Checking e-service consistency using Description Logics

14 years 3 months ago

Download www.dis.uniroma1.it

Luigi Dragone, Riccardo Rosati

claim paper

Read More »

click to vote

AIME
2007
Springer

132views Artificial Intelligence» more AIME 2007»

Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators

14 years 3 months ago

Download lat.inf.tu-dresden.de

Reiﬁcation of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...

Boontawee Suntisrivaraporn, Franz Baader, Stefan S...

claim paper

Read More »

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

14 years 3 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

click to vote

ESWS
2007
Springer

106views Internet Technology» more ESWS 2007»

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

14 years 3 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

GECCO
2007
Springer

154views Optimization» more GECCO 2007»

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers