Search Sciweavers | Sciweavers

245 search results - page 3 / 49

» Class Algebra as a Description Logic

click to vote

DLOG
2008

145views Automated Reasoning» more DLOG 2008»

Locality and Subsumption Testing in EL and Some of its Extensions

13 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...

Viorica Sofronie-Stokkermans

claim paper

Read More »

click to vote

ANTS
2006
Springer

118views Algorithms» more ANTS 2006»

Computation of Locally Free Class Groups

13 years 9 months ago

Download math.ucsc.edu

We show that the locally free class group of an order in a semisimple algebra over a number field is isomorphic to a certain ray class group. This description is then used to prese...

Werner Bley, Robert Boltje

claim paper

Read More »

click to vote

CADE
2006
Springer

106views Logical Reasoning» more CADE 2006»

On Keys and Functional Dependencies as First-Class Citizens in Description Logics

14 years 6 months ago

Download www.cs.uwaterloo.ca

We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...

David Toman, Grant E. Weddell

claim paper

Read More »

click to vote

IPPS
2000
IEEE

161views Distributed And Parallel Com...» more IPPS 2000»

Compiling Process Algebraic Descriptions into Reconfigurable Logic

13 years 10 months ago

Download ipdps.cc.gatech.edu

Oliver Diessel, George J. Milne

claim paper

Read More »