Justification Masking in OWL
暂无分享,去创建一个
[1] Bijan Parsia,et al. Laconic and Precise Justifications in OWL , 2008, SEMWEB.
[2] Rafael Peñaloza,et al. Pinpointing in the Description Logic EL , 2007, Description Logics.
[3] Laura M. Haas,et al. Beauty and the Beast: The Theory and Practice of Information Integration , 2007, ICDT.
[4] Diego Calvanese,et al. Ontologies and Databases: The DL-Lite Approach , 2009, Reasoning Web.
[5] Boris Motik,et al. Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.
[6] David A. Plaisted,et al. A Structure-Preserving Clause Form Translation , 1986, J. Symb. Comput..
[7] Antonella Poggi,et al. Ontology-based database access with DIG-Mastro and the OBDA Plugin for Protégé (Demo Description) , 2008, OWLED.
[8] Diego Calvanese,et al. EQL-Lite: Effective First-Order Query Processing in Description Logics , 2007, IJCAI.
[9] Aditya Kalyanpur,et al. Debugging and Repair of OWL Ontologies , 2006 .
[10] Diego Calvanese,et al. Linking Data to Ontologies , 2008, J. Data Semant..
[11] Bijan Parsia,et al. Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments , 2006, Description Logics.
[12] Jeff Z. Pan,et al. A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2008, J. Data Semant..
[13] Boris Motik,et al. Tractable query answering and rewriting under description logic constraints , 2010, J. Appl. Log..
[14] Ian Horrocks,et al. The Even More Irresistible SROIQ , 2006, KR.
[15] Diego Calvanese,et al. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.
[16] Stefan Schlobach,et al. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.
[17] Boris Motik,et al. OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .
[18] Franz Baader,et al. Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.