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