Search Sciweavers | Sciweavers

54 search results - page 3 / 11

» dlog 2007

click to vote

DLOG
2007

225views Automated Reasoning» more DLOG 2007»

Dynamic Description Logic: Embracing Actions into Description Logic

13 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin

claim paper

Read More »

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

13 years 7 months ago

Download dl.kr.org

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

claim paper

Read More »

click to vote

DLOG
2007

104views Automated Reasoning» more DLOG 2007»

Ontology Reuse: Better Safe than Sorry

13 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...

claim paper

Read More »

click to vote

DLOG
2007

100views Automated Reasoning» more DLOG 2007»

Combining Two Formalism for Reasoning about Concepts

13 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Nikolay V. Shilov, Igor S. Anureev, Natalya Olegov...

claim paper

Read More »

click to vote

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers