Search Sciweavers | Sciweavers

1435 search results - page 113 / 287

» E-connections of Description Logics

102

click to vote

AIME
2007
Springer

132views Artificial Intelligence» more AIME 2007»

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

15 years 7 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

15 years 7 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

15 years 7 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

Voted

GECCO
2007
Springer

154views Optimization» more GECCO 2007»

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

15 years 7 months ago

Download www.cs.bham.ac.uk

Mauro Dragoni, Andrea Tettamanzi

claim paper

Read More »

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers