Sciweavers

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

13

KR
2000
Springer

favoriteEmaildiscussreport

189views Automated Reasoning» more KR 2000»

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles

13 years 8 months ago

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles

Download kogs-www.informatik.uni-hamburg.de

We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restrictions, role hierarchies, transitively closed roles, and generalized concept inclusions. The ABox description logic system RACE is based on the calculus for ALCNHR+ .

Volker Haarslev, Ralf Möller

Real-time Traffic

ABox Consistency Problem | Automated Reasoning | Description Logic | Expressive Description Logic | KR 2000 |

claim paper

Related Content

» Reasoning with Very Expressive Fuzzy Description Logics

» Practical Reasoning for Expressive Description Logics

» Benchmark Analysis with FaCT

» Algebraic tableau reasoning for the description logic SHOQ

» CEL A PolynomialTime Reasoner for Life Science Ontologies

» Data Complexity of Answering Unions of Conjunctive Queries in SHIQ

» A TableauBased Explainer for DL Subsumption

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	KR
Authors	Volker Haarslev, Ralf Möller

Comments (0)