Search Sciweavers | Sciweavers

1087 search results - page 40 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

118

click to vote

EDBT
2002
ACM

138views Database» more EDBT 2002»

DAML+OIL: A Reason-able Web Ontology Language

15 years 9 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 »

click to vote

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

14 years 8 months ago

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

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...

claim paper

Read More »

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 1 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

14 years 11 months ago

Download www.aaai.org

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

claim paper

Read More »

click to vote

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

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

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers