|
| [61] | Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig. Social Semantic Rule Sharing and Querying in Wellness Communities. 2009. pp.347~361 [Bibtex] |
| [60] | Manish Joshi, Virendra Bhavsar, Harold Boley, Ravindra Vaidya. Hunt Fortune: A System for P2P E-Marketplace Matchmaking. 2009. pp.420~427 [Bibtex] |
| [59] | Jidi Zhao, Harold Boley, Weichang Du. Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. ICIC (2)'2009. pp.111~123 Cited By 1[Bibtex] |
| [58] | Harold Boley. RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. RuleML'2009. pp.29~42 [Bibtex] |
| [57] | Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig. WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. RuleML'2009. pp.43~52 [Bibtex] |
| [56] | Sheng Gao, Harold Boley, Darka Mioc, Francois Anton, Xiaolun Yi. Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. RuleML'2009. pp.272~281 [Bibtex] |
|
| [55] | Jidi Zhao, Harold Boley. Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops'2008. pp.273~278 Cited By 1[Bibtex] |
| [54] | Benjamin Larry Craig, Harold Boley. Personal Agents in the Rule Responder Architecture. RuleML'2008. pp.150~165 Cited By 5[Bibtex] |
| [53] | Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi. A RuleML Study on Integrating Geographical and Health Information. RuleML'2008. pp.174~181 Cited By 1[Bibtex] |
| [52] | Magda Ilieva, Harold Boley. Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE'2008. pp.478~483 Cited By 1[Bibtex] |
| [51] | Jidi Zhao, Harold Boley. Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW'2008. Cited By 3[Bibtex] |
|
| [50] | Boanerges Aleman-Meza, Uldis Bojars, Harold Boley, John G. Breslin, Malgorzata Mochol, Lyndon J. B. Nixon, Axel Polleres, Anna V. Zhdanova. Combining RDF Vocabularies for Expert Finding. ESWC'2007. pp.235~250 Cited By 19[Bibtex] |
| [49] | Harold Boley. Are Your Rules Online? Four Web Rule Essentials. RuleML'2007. pp.7~24 Cited By 8[Bibtex] |
| [48] | Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres. Rule Interchange on the Web. Reasoning Web'2007. pp.269~309 Cited By 15[Bibtex] |
| [47] | Jing Mei, Zuoquan Lin, Harold Boley. ALCuP: An Integration of Description Logic and General Rules. RR'2007. pp.163~177 [Bibtex] |
| [46] | Harold Boley, Adrian Paschke. Expert Querying and Redirection with Rule Responder. FEWS'2007. pp.9~22 Cited By 3[Bibtex] |
| [45] | Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig. Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. ICPW'2007. pp.17~28 Cited By 17[Bibtex] |
|
| [44] | Kai Simon, Georg Lausen, Harold Boley. From HTML documents to web tables and rules. ICEC'2006. pp.125~131 Cited By 6[Bibtex] [PDF] |
| [43] | Harold Boley. The RuleML Family of Web Rule Languages. PPSWR'2006. pp.1~17 Cited By 22[Bibtex] [PDF] |
| [42] | Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin. DatalogDL: Datalog Rules Parameterized by Description Logics. CSWWS'2006. pp.171~187 Cited By 4[Bibtex] |
| [41] | Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley. A Bottom-up Strategy for Query Decomposition. ICDIM'2006. pp.215~221 Cited By 2[Bibtex] |
| [40] | Jing Mei, Harold Boley. Interpreting SWRL Rules in RDF Graphs. Electr. Notes Theor. Comput. Sci., 2006: 53~69 Cited By 2[Bibtex] |
|
| [39] | Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley. A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. IASSE'2005. pp.55~60 Cited By 6[Bibtex] [PDF] |
| [38] | Anna Maclachlan, Harold Boley. Semantic Web Rules for Business Information. Web Technologies, Applications, and Services'2005. pp.146~153 Cited By 6[Bibtex] [PDF] |
| [37] | Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley. Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI'2005. pp.2559~2572 Cited By 3[Bibtex] [PDF] |
| [36] | Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer. The OO jDREW Reference Implementation of RuleML. RuleML'2005. pp.218~223 Cited By 23[Bibtex] [PDF] |
| [35] | Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel. A Realistic Architecture for the Semantic Web. RuleML'2005. pp.17~29 Cited By 44[Bibtex] [PDF] |
| [34] | Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner. RuleML Position Statement. Rule Languages for Interoperability'2005. Cited By 2[Bibtex] |
| [33] | Harold Boley, Jing Mei, Michael Sintek, Gerd Wagner. RDF/RuleML Interoperability. Rule Languages for Interoperability'2005. Cited By 4[Bibtex] |
| [32] | Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer. Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. Rule Languages for Interoperability'2005. Cited By 11[Bibtex] |
| [31] | Grigoris Antoniou, Harold Boley. Preface. J. Web Sem., 2005: 3~4 [Bibtex] [PDF] |
|
| [30] | Virendrakumar C. Bhavsar, Harold Boley, Lu Yang. A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. Computational Intelligence, 2004: 584~602 Cited By 45[Bibtex] |
| [29] | Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley. The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence'2004. pp.628~631 Cited By 15[Bibtex] |
|
| [28] | Harold Boley. An Introduction to Object-Oriented RuleML. EPIA'2003. pp.4~4 Cited By 1[Bibtex] |
| [27] | Harold Boley. Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. RuleML'2003. pp.1~16 Cited By 31[Bibtex] [PDF] |
|
| [26] | Harold Boley. The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP'2001. pp.124~139 Cited By 49[Bibtex] |
| [25] | Harold Boley. The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP (LNCS Volume)'2001. pp.5~22 Cited By 49[Bibtex] |
| [24] | Harold Boley, Said Tabet, Gerd Wagner. Design Rationale for RuleML: A Markup Language for Semantic Web Rules. SWWS'2001. pp.381~401 [Bibtex] |
|
| [23] | Harold Boley. Relationships between Logic Programming and RDF. PRICAI Workshops'2000. pp.201~218 Cited By 35[Bibtex] |
| [22] | Harold Boley. Markup Languages for Functional-Logic Programming. WFLP'2000. pp.391~403 [Bibtex] [PDF] |
| [21] | Harold Boley. Beziehungen zwischen Logikprogrammierung und XML. WLP'2000. pp.19~34 Cited By 2[Bibtex] |
|
| [20] | Harold Boley. A Tight, Practical Integration of Relations and Functions. 1999. Cited By 9[Bibtex] [PDF] |
| [19] | Harold Boley. A Tight, Practical Integration of Relations and Functions. 1999. Cited By 9[Bibtex] [PDF] |
| [18] | Harold Boley. A Tight, Practical Integration of Relations and Functions. 1999. Cited By 9[Bibtex] [PDF] |
| [17] | Harold Boley. Functional-Logic Integration via Minimal Reciprocal Extensions. Theor. Comput. Sci., 1999: 77~99 [Bibtex] [PDF] |
|
| [16] | Harold Boley. ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. EJC'1998. pp.307~326 Cited By 3[Bibtex] [PDF] |
|
| [15] | Harold Boley. A Relational-Functional Integration for Declarative Programming. Foundations of Computer Science: Potential - Theory - Cognition'1997. pp.351~358 Cited By 1[Bibtex] |
| [14] | Harold Boley. Wissensbasen im World Wide Web: Eine Herausforderung fur die logische Programimerung. WLP'1997. pp.0~0 [Bibtex] |
|
| [13] | Harold Boley. Funktional-logische Sprachen. KI, 1996: 62~63 [Bibtex] |
| [12] | Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek. Komplettkompilation von Lisp: eine Studie zur Ubersetzung von Lisp-Software fur C-Umgebungen. KI, 1996: 31~33 [Bibtex] |
|
| [11] | Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer. An Environment for Exploring and Validating Declarative Knowledge. LPE'1995. Cited By 5[Bibtex] |
|
| [10] | Harold Boley. Finite Domains and Exclusions as First-Class Citizens. ELP'1993. pp.37~61 Cited By 11[Bibtex] |
| [9] | Harold Boley, Francois Bry, Ulrich Geske. Neuere Entwicklungen der deklarativen KI-Programmierung. KI'1993. pp.226~236 [Bibtex] |
|
| [8] | Harold Boley. A Direct Semantic Characterization of RELFUN. ELP'1992. pp.120~149 Cited By 8[Bibtex] |
|
| [7] | Harold Boley. Extended Logic-plus-Functional Programming. ELP'1991. pp.45~72 Cited By 17[Bibtex] |
| [6] | Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov. Declarative and Procedural Paradigms - Do they Really Compete? (Panel). PDK'1991. pp.383~398 Cited By 2[Bibtex] |
|
| [5] | Harold Boley. Iconic-Declarative Programming and Adaptation Rules. ECAI'1988. pp.27~29 [Bibtex] |
|
| [4] | Harold Boley. From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching. GI Jahrestagung'1983. pp.86~100 [Bibtex] |
|
| [3] | Harold Boley. AI Languages and AI Machines: An Overview. GWAI'1981. pp.136~155 Cited By 1[Bibtex] |
|
| [2] | Harold Boley. The Fit Approach to AI Languages. AISB/GI (ECAI)'1978. pp.35~41 [Bibtex] |
|
| [1] | Harold Boley. Directed Recursive Labelnode Hypergraphs: A New Representation-Language. Artif. Intell., 1977: 49~85 [Bibtex] |