Search Sciweavers | Sciweavers

2381 search results - page 2 / 477

» On Ordering Descriptions in a Description Logic

200

click to vote

DLOG
2009

161views Automated Reasoning» more DLOG 2009»

On Correspondences between Probabilistic First-Order and Description Logics

15 years 3 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...

Pavel Klinov, Bijan Parsia, Ulrike Sattler

claim paper

Read More »

125

click to vote

SOFSEM
2010
Springer

137views Theoretical Computer Science» more SOFSEM 2010»

Comparison of Scoring and Order Approach in Description Logic EL(D)

16 years 2 months ago

Download www.sofsem.cz

Veronika Vaneková, Peter Vojtás

claim paper

Read More »

119

click to vote

IJCAI
2007

155views Artificial Intelligence» more IJCAI 2007»

EQL-Lite: Effective First-Order Query Processing in Description Logics

15 years 7 months ago

Download www.ijcai.org

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

143

click to vote

CI
2005

46views more CI 2005»

XML Declarative Description with First-Order Logical Constraints

15 years 5 months ago

Download assam.cims.hokudai.ac.jp

Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama

claim paper

Read More »

114

click to vote

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

Second-Order Description Logics: Semantics, Motivation, and a Calculus

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers