On the Properties of Metamodeling in OWL
暂无分享,去创建一个
[1] Franz Baader,et al. A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.
[2] Michael Kifer,et al. HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..
[3] Ian Horrocks,et al. Practical Reasoning for Expressive Description Logics , 1999, LPAR.
[4] Volker Haarslev,et al. RACER System Description , 2001, IJCAR.
[5] Ian Horrocks,et al. RDFS(FA) and RDF MT: Two Semantics for RDFS , 2003, SEMWEB.
[6] Peter F. Patel-Schneider,et al. Three theses of representation in the semantic web , 2003, WWW '03.
[7] Ian Horrocks,et al. A proposal for an owl rules language , 2004, WWW '04.
[8] Ian Pratt-Hartmann. Complexity of the Two-Variable Fragment with Counting Quantifiers , 2005, J. Log. Lang. Inf..
[9] Ian Horrocks,et al. FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.
[10] Boris Motik,et al. A Resolution-Based Decision Procedure for SHOIQ , 2006, IJCAR.