论文信息 - Rule-Based OWL Ontology Reasoning Systems: Implementations, Strengths, and Weaknesses - 字舞流文

Rule-Based OWL Ontology Reasoning Systems: Implementations, Strengths, and Weaknesses

Georgios Meditskos | Nick Bassiliades

[1] Georg Gottlob,et al. Disjunctive datalog , 1997, TODS.

[2] Charles L. Forgy,et al. Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[3] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[4] Konstantinos Sagonas,et al. XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[5] Ian Horrocks,et al. Decidability of SHIQ with Complex Role Inclusion Axioms , 2003, IJCAI.

[6] Alon Y. Halevy,et al. Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[7] Yarden Katz,et al. Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[8] Jos de Bruijn,et al. Web Service Modeling Ontology , 2005, Appl. Ontology.

[9] Katia P. Sycara,et al. Autonomous Semantic Web Services , 2003, IEEE Internet Comput..

[10] Franz Baader,et al. An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[11] Francesco M. Donini,et al. AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[12] Herman J. ter Horst,et al. Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[13] Georgios Meditskos,et al. A Rule-Based Object-Oriented OWL Reasoner , 2008, IEEE Transactions on Knowledge and Data Engineering.