Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

DLOG
2006

favoriteEmaildiscussreport

121views Automated Reasoning» more DLOG 2006»

High Performance Absorption Algorithms for Terminological Reasoning

13 years 6 months ago

High Performance Absorption Algorithms for Terminological Reasoning

Download users.encs.concordia.ca

Ming Zuo, Volker Haarslev

Real-time Traffic

Automated Reasoning | DLOG 2006 |

claim paper

Related Content

» Efficient Reasoning with Range and Domain Constraints

» Reasoning with Axioms Theory and Practice

» Simple Algorithms for Predicate Suggestions Using Similarity and Cooccurrence

» Debugging Incoherent Terminologies

» Terminology mining in social media

» Reasoning with Individuals for the Description Logic SHIQ

» Distributed Resolution for ALC

» Tableau Caching for Description Logics with Inverse and Transitive Roles

» An Effective and Robust Method for Short Text Classification

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2006
Where	DLOG
Authors	Ming Zuo, Volker Haarslev

Comments (0)