Description logic programs

36

DLOG
2009

129views Automated Reasoning» more DLOG 2009»

A Matter of Principles: Towards the Largest DLP Possible

13 years 9 months ago

Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...

Markus Krötzsch, Sebastian Rudolph

claim paper

Read More »

31

click to vote

LPAR
2004
Springer

122views Automated Reasoning» more LPAR 2004»

Nonmonotonic Description Logic Programs: Implementation and Experiments

14 years 4 months ago

Download www.kr.tuwien.ac.at

Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...

Thomas Eiter, Giovambattista Ianni, Roman Schindla...

claim paper

Read More »

43

click to vote

FUZZIEEE
2007
IEEE

205views Fuzzy Logic» more FUZZIEEE 2007»

f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic

14 years 5 months ago

Download www.image.ntua.gr

— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...

Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou...

claim paper

Read More »

33

click to vote

WWW
2003
ACM

126views Internet Technology» more WWW 2003»

Description logic programs: combining logic programs with description logic

15 years 5 days ago