Search Sciweavers | Sciweavers

1087 search results - page 40 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

207

click to vote

EDBT
2002
ACM

138views Database» more EDBT 2002»

DAML+OIL: A Reason-able Web Ontology Language

16 years 6 months ago

Download www.comlab.ox.ac.uk

Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...

Ian Horrocks

claim paper

Read More »

141

click to vote

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

15 years 4 months ago

Download acsi-project.haifa.il.ibm.com

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...

claim paper

Read More »

121

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

118

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 7 months ago

Download www.aaai.org

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

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