Sciweavers

50 search results - page 1 / 10

» dlog 2008

11

DLOG
2008

93views Automated Reasoning» more DLOG 2008»

XPath: (P)DL on Trees

13 years 7 months ago

XPath: (P)DL on Trees

Download staff.science.uva.nl

Maarten Marx

claim paper

Read More »

10

DLOG
2008

86views Automated Reasoning» more DLOG 2008»

Explaining User Errors in Knowledge Base Completion

13 years 7 months ago

Explaining User Errors in Knowledge Base Completion

Download sunsite.informatik.rwth-aachen.de

Baris Sertkaya

claim paper

Read More »

13

DLOG
2008

161views Automated Reasoning» more DLOG 2008»

Automata-based Pinpointing for DLs

13 years 7 months ago

Automata-based Pinpointing for DLs

Download sunsite.informatik.rwth-aachen.de

Rafael Peñaloza

claim paper

Read More »

11

DLOG
2008

110views Automated Reasoning» more DLOG 2008»

Using DL to Support a very Large Healthcare Terminology: Successes and Challenges

13 years 7 months ago

Using DL to Support a very Large Healthcare Terminology: Successes and Challenges

Download dl.kr.org

Kent A. Spackman

claim paper

Read More »

12

DLOG
2008

139views Automated Reasoning» more DLOG 2008»

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

13 years 7 months ago

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

Download sunsite.informatik.rwth-aachen.de

Peihong Ke, Ulrike Sattler

claim paper

Read More »

« Prev « First page 1 / 10 Last » Next »