Back to Results
First PageMeta Content
Science / Logic / Information / Transitive closure / Abox / Description logic


Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and
Add to Reading List

Document Date: 2007-07-26 07:53:30

Open Document

File Size: 325,19 KB

Share Result on Facebook

Country

United Kingdom / United States / Netherlands / /

Facility

Computer Science University of Manchester / /

IndustryTerm

web ontology language / tableau algorithms / maintenance tools / computational services / Rule applications / tableau algorithm / ontology tools / /

Organization

University of Manchester / Peter F. Patel-Schneider School / /

Person

Ai / Dmitry Tsarkov / Ian Horrocks / /

Position

Racer / /

Technology

tableau-based algorithms / tableau algorithm / SHOIQ algorithm / concept C. The algorithm / CvD / Tableau algorithms / SHOIQ tableau algorithm / /

SocialTag