Reasoning paradigms for SWRL-enabled ontologies

[1]  Christine Golbreich,et al.  Combining Rule and Ontology Reasoners for the Semantic Web , 2004, RuleML.

[2]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[3]  Jeff Heflin,et al.  An Evaluation of Knowledge Base Systems for Large OWL Datasets , 2004, SEMWEB.

[4]  Ian Horrocks,et al.  Using Vampire to Reason with OWL , 2004, SEMWEB.

[5]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[6]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[7]  Boris Motik,et al.  Reasoning for Description Logics aroundSHIQ in a Resolution Framework , 2004 .

[8]  I. Horrocks,et al.  The Instance Store: DL Reasoning with Large Numbers of Individuals , 2004, Description Logics.

[9]  Thorsten Liebig,et al.  Reasoning Services for an OWL Authoring Tool: An Experience Report , 2004, Description Logics.

[10]  Ian Horrocks,et al.  The Instance Store: Description Logic Reasoning with Large Numbers of Individuals , 2004 .

[11]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[12]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[13]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[14]  Yurek K. Hinz.  Running head : BOTTOM-UP IS THE TREND Datalog Bottom-up is the Trend in the Deductive Database Evaluation Strategy , 2002 .

[15]  Gerd Wagner,et al.  Design rationale of RuleML - a markup language for the semantic web , 2001 .

[16]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..