Search Sciweavers | Sciweavers

596 search results - page 2 / 120

» Integrated Distributed Description Logics

161

click to vote

DLOG
2011

260views Automated Reasoning» more DLOG 2011»

Nominal Schemas for Integrating Rules and Description Logics

14 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...

Markus Krötzsch, Frederick Maier, Adila Alfa ...

claim paper

Read More »

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 7 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

131

Voted

FOIKS
2008
Springer

120views Information Technology» more FOIKS 2008»

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

15 years 4 months ago

Download ki.informatik.uni-mannheim.de

Andrea Calì, Thomas Lukasiewicz, Livia Pred...

claim paper

Read More »

click to vote

JIIS
1998

90views more JIIS 1998»

AL-log: Integrating Datalog and Description Logics

15 years 2 months ago

Download www.diegm.uniud.it

Francesco M. Donini, Maurizio Lenzerini, Daniele N...

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers