The role of reasoning for RDF validation
暂无分享,去创建一个
[1] Diego Calvanese,et al. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.
[2] Bernardo Cuenca Grau,et al. OWL 2 Web Ontology Language: Profiles , 2009 .
[3] Yarden Katz,et al. Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..
[4] Kai Eckert,et al. Towards Description Set Profiles for RDF using SPARQL as Intermediate Language , 2014, Dublin Core Conference.
[5] Jiao Tao,et al. Towards Integrity Constraints in OWL , 2009, OWLED.
[6] Ian Horrocks,et al. FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.
[7] Sanjeev Arora,et al. Computational Complexity: A Modern Approach , 2009 .
[8] German Nemirovski,et al. ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data Integration , 2013, Description Logics.
[9] Boris Motik,et al. The HermiT OWL Reasoner , 2012, ORE.
[10] Kai Eckert,et al. Requirements on RDF Constraint Formulation and Validation , 2014, Dublin Core Conference.
[11] Kai Eckert,et al. RDF Validation Requirements - Evaluation and Logical Underpinning , 2015, ArXiv.
[12] Carsten Lutz,et al. The Combined Approach to Ontology-Based Data Access , 2011, IJCAI.
[13] Martin Hepp,et al. Using SPARQL and SPIN for Data Quality Management on the Semantic Web , 2010, BIS.
[14] Jiao Tao,et al. Integrity constraints for the semantic web: an OWL 2 DL extension , 2012 .
[15] Diego Calvanese,et al. The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..
[16] Marcelo Arenas,et al. Semantics and complexity of SPARQL , 2006, TODS.
[17] Heiner Stuckenschmidt,et al. Efficient Federated Debugging of Lightweight Ontologies , 2014, RR.
[18] Volker Haarslev,et al. RACER System Description , 2001, IJCAR.