Search Sciweavers | Sciweavers

18

ECAI
2010
Springer

252views Artificial Intelligence» more ECAI 2010»

Parallel TBox Classification in Description Logics - First Experimental Results

13 years 6 months ago

Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...

Mina Aslani, Volker Haarslev

claim paper

Read More »

20

click to vote

IADIS
2004

185views Internet Technology» more IADIS 2004»

OWL DL: description logic's syntactic variant for the semantic web

13 years 6 months ago

Download www.iadis.net

OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...

Wei Ming Zhang, Jun-feng Song

claim paper

Read More »

16

click to vote

WWW
2005
ACM

169views Internet Technology» more WWW 2005»

OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web

14 years 5 months ago

Download www2005.org

The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...

Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...

claim paper

Read More »

12

click to vote

DLOG
2009

160views Automated Reasoning» more DLOG 2009»

Reintroducing CEL as an OWL 2 EL Reasoner

13 years 2 months ago

Download lat.inf.tu-dresden.de

The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...

Julian Mendez, Boontawee Suntisrivaraporn

claim paper

Read More »

9

click to vote

DLOG
2004

112views Automated Reasoning» more DLOG 2004»

Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?")

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Jeff Z. Pan, Ian Horrocks

claim paper