Search Sciweavers | Sciweavers

499 search results - page 11 / 100

» Real-World Reasoning with OWL

176

click to vote

OWLED
2008

170views Natural Language Processing» more OWLED 2008»

The OWL in the CASL - Designing Ontologies Across Logics

15 years 7 months ago

Download www.webont.org

Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...

Oliver Kutz, Dominik Lücke, Till Mossakowski,...

claim paper

Read More »

117

click to vote

CADE
2004
Springer

91views Logical Reasoning» more CADE 2004»

Reasoning Support for OWL-E

16 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Jeff Z. Pan

claim paper

Read More »

128

click to vote

DLOG
2004

112views Automated Reasoning» more DLOG 2004»

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

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Jeff Z. Pan, Ian Horrocks

claim paper

Read More »

145

click to vote

RR
2010
Springer

244views Automated Reasoning» more RR 2010»

SPARQL1.1: New Features and Friends (OWL2, RIF)

15 years 4 months ago

Download axel.deri.ie

Axel Polleres

claim paper

Read More »

click to vote

DLOG
2009

102views Automated Reasoning» more DLOG 2009»

Filling the Gap between OWL 2 QL and QuOnto: ROWLKit

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers