Home

KWeb showcases

Deliverables

• Industry Deliverables
• Research Deliverables
• Education Deliverables
• Management Deliverables

Events

• Plenary Meetings
• Management Meetings
• Industry Events
• Research Events
• Education Events
• International Conferences
• International Workshops

Partners

People

Workpackages

• Industry Workpackages
• Research Workpackages
• Education Workpackages
• Management Workpackages

Network Organization

• Managers
• PMB / EAB
• WP Leaders

Publications

Exchanges

FAQ

Web Master

Local tableaux for reasoning in distributed description logics

Title:	Local tableaux for reasoning in distributed description logics
On-line PDF Version:	12Serafini-final.pdf
Workshop URL:	http://dl.kr.org/dl2004/
Name of Workshop:	International Workshop on Description Logics - DL2004
Editors of Workshop:	Volker Haarslev Ralf Möller
is associated with:	Knowledge Web
is generated by:	University of Trento