Search Sciweavers | Sciweavers

1544 search results - page 8 / 309

» Automated Evaluation of Description Logic Reasoning Systems

119

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

15 years 10 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

136

click to vote

DLOG
2008

139views Automated Reasoning» more DLOG 2008»

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Peihong Ke, Ulrike Sattler

claim paper

Read More »

136

click to vote

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 »

Voted

DLOG
2008

92views Automated Reasoning» more DLOG 2008»

LTL over Description Logic Axioms

15 years 8 months ago

Download www.informatik.uni-bremen.de

Franz Baader, Silvio Ghilardi, Carsten Lutz

claim paper

Read More »

154

click to vote

DLOG
2008

102views Automated Reasoning» more DLOG 2008»

A UML-Based Method for Deciding Finite Satisfiability in Description Logics

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers