Search Sciweavers | Sciweavers

1435 search results - page 113 / 287

» E-connections of Description Logics

153

click to vote

AIME
2007
Springer

132views Artificial Intelligence» more AIME 2007»

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

16 years 16 days 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 »

146

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

16 years 15 days ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

130

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

16 years 15 days ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

124

click to vote

GECCO
2007
Springer

154views Optimization» more GECCO 2007»

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

16 years 15 days ago

Download www.cs.bham.ac.uk

Mauro Dragoni, Andrea Tettamanzi

claim paper

Read More »

142

click to vote

ICLP
2007
Springer

131views Automated Reasoning» more ICLP 2007»

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers