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

15 years 9 months ago

Download c4i.gmu.edu

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

claim paper

Read More »

105

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 5 months ago

Download dl.kr.org

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

claim paper

Read More »

105

click to vote

DLOG
2008

123views Automated Reasoning» more DLOG 2008»

Description Logics-Based Modelling for Precise Information Retrieval

15 years 5 months ago

Download ftp.informatik.rwth-aachen.de

Saïd Radhouani, Gilles Falquet

claim paper

Read More »

111

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

click to vote

DAGSTUHL
1998

106views Software Engineering» more DAGSTUHL 1998»

Description Logics for Conceptual Data Modeling

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers