DLOG 2006 - PDF Preprint Papers

DLOG 2006

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DLOG-2006 Paper

click to vote

DLOG
2006

333views Automated Reasoning» more DLOG 2006»

Automated Benchmarking of Description Logic Reasoners

13 years 5 months ago

Download www.comlab.ox.ac.uk

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	333	Automated Benchmarking of Description Logic Reasoners	claim
2	192	Binary Absorption in Tableaux-Based Reasoning for Description Logics	claim
3	184	Data Complexity of Answering Unions of Conjunctive Queries in SHIQ	claim
4	159	Tableau Caching for Description Logics with Inverse and Transitive Roles	claim
5	157	Conjunctive Query Answering for Description Logics with Transitive Roles	claim
6	155	The new ICOM Ontology Editor	claim
7	153	Handling Imprecise Knowledge with Fuzzy Description Logic	claim
8	145	Pellet System Description	claim
9	143	Model checking the basic modalities of CTL with Description Logic	claim
10	142	SHIN ABox Reduction	claim
11	141	Description logic reasoning using the PTTP approach	claim
12	139	Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results	claim
13	134	A Tableaux-based Mobile DL Reasoner - An Experience Report	claim
14	133	Discrete Tableau Algorithms for FSHI	claim
15	132	Static Knowledge Representation of Multi-Agent System's Specification by Description Logic	claim
16	130	Description Logic Reasoning for Dynamic ABoxes	claim
17	125	Will my Ontologies Fit Together?	claim
18	124	Finding Subsumers for Natural Language Presentation	claim
19	121	High Performance Absorption Algorithms for Terminological Reasoning	claim
20	119	Towards Mobile Reasoning	claim
21	119	PSPACE Automata for Description Logics	claim
22	118	On the Scalability of Description Logic Instance Retrieval	claim
23	118	Euclidian Roles in Description Logics	claim
24	117	Experiences with Load Balancing and Caching for Semantic Web Applications	claim
25	113	DL Actions with GCIs: a Pragmatic Approach	claim
26	102	Epistemic First-order Queries over Description Logic Knowledge Bases	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers