位置：成果数据库 > 会议 > 会议详情页
Approximating Linear Order Inference in OWL 2 DL by Horn Compilation
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：The 2012 IEEE/WIC/ACM International Conference on Web Intelligence (WI-12)
  • 成果类型：会议
  • 相关项目：抽象约束回答集程序关键问题及在语义Web中的应用研究
作者： Jianfeng Du|Guilin Qi|Jeff Z. Pan|Yi-Dong Shen|
同会议论文项目
抽象约束回答集程序关键问题及在语义Web中的应用研究
期刊论文 5 会议论文 13
同项目会议论文
Compiling Answer Set Programs into Event-Driven Action Rules
Exploiting novelty, coverage and balance for topic-focused multi-document summarization
Extending Logic Programs with Description Logic Expressions for the Semantic Web
FLP Semantics Without Circular Justifications for General Logic Programs
A Decomposition-Based Approach to OWL DL Ontology Diagnosis
Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization
Graph-Based Marginal Ranking for Update Summarization
Decomposition-Based Consistent Query Answering in Databases with Universal Constraints under Cardina
Cluster Ensembles via Weighted Graph Regularized Nonnegative Matrix Factorization
Towards Practical ABox Abduction in Large OWL DL Ontologies
Well-Supported Semantics for Description Logic Programs
User Graph Regularized Pairwise Matrix Factorization for Item Recommendation