Search Sciweavers | Sciweavers

720 search results - page 5 / 144

» Visualization of Description Logic Models

click to vote

SEMWEB
2007
Springer

91views Internet Technology» more SEMWEB 2007»

Rough Description Logics for Modeling Uncertainty in Instance Unification

16 years 13 days ago

Download c4i.gmu.edu

Michel C. A. Klein, Peter Mika, Stefan Schlobach

claim paper

Read More »

149

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 8 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

139

Voted

DLOG
2008

123views Automated Reasoning» more DLOG 2008»

Description Logics-Based Modelling for Precise Information Retrieval

15 years 8 months ago

Download ftp.informatik.rwth-aachen.de

Saïd Radhouani, Gilles Falquet

claim paper

Read More »

151

Voted

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

130

click to vote

DAGSTUHL
1998

106views Software Engineering» more DAGSTUHL 1998»

Description Logics for Conceptual Data Modeling

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers