Harold Boley - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative RulesHarold Boley. ruleml 2011: 194-211 [doi]

Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent SystemsKalliopi Kravari, Taylor Michael Osmun, Harold Boley, Nick Bassiliades. ruleml 2011: 44-51 [doi]

2010

2009

RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-CoreHarold Boley. ruleml 2009: 29-42 [doi]

WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile InteroperationHarold Boley, Taylor Michael Osmun, Benjamin Larry Craig. ruleml 2009: 43-52 [doi]

Social Semantic Rule Sharing and Querying in Wellness CommunitiesHarold Boley, Taylor Michael Osmun, Benjamin Larry Craig. aswc 2009: 347-361 [doi]

Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease InformationSheng Gao, Harold Boley, Darka Mioc, Francois Anton, Xiaolun Yi. ruleml 2009: 272-281 [doi]

Rule-Based Workflow Validation of Hierarchical Service Level AgreementsIrfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley. GPC 2009: 96-103 [doi]

Hunt Fortune: A System for P2P E-Marketplace MatchmakingManish Joshi, Virendrakumar C. Bhavsar, Harold Boley, Ravindra Vaidya. icetet 2009: 420-427 [doi]

Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description LogicJidi Zhao, Harold Boley, Weichang Du. icic 2009: 111-123 [doi]

2008

2007

Combining RDF Vocabularies for Expert FindingBoanerges Aleman-Meza, Uldis Bojars, Harold Boley, John G. Breslin, Malgorzata Mochol, Lyndon J. B. Nixon, Axel Polleres, Anna V. Zhdanova. esws 2007: 235-250 [doi]

Are Your Rules Online? Four Web Rule EssentialsHarold Boley. ruleml 2007: 7-24 [doi]

Expert Querying and Redirection with Rule ResponderHarold Boley, Adrian Paschke. fews 2007: 9-22 [doi]

Rule Interchange on the WebHarold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres. rweb 2007: 269-309 [doi]

::::ALC:::::::::::u:::::::::::::P::::::: An Integration of Description Logic and General RulesJing Mei, Zuoquan Lin, Harold Boley. rr 2007: 163-177 [doi]

The DATALOG:::DL::: Combination of Deduction Rules and Description LogicsJing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar. ci, 23(3):356-372, 2007. [doi]

Rule responder: RuleML-based agents for distributed collaboration on the pragmatic webAdrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig. icpw 2007: 17-28 [doi]

2006

2005

The OO jDREW Reference Implementation of RuleMLMarcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer. ruleml 2005: 218-223 [doi]

Implementing RuleML Using Schemas, Translators, and Bidirectional InterpretersMarcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer. w3c 2005: [doi]

RuleML Position StatementHarold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner. w3c 2005: [doi]

RDF/RuleML InteroperabilityHarold Boley, Jing Mei, Michael Sintek, Gerd Wagner. w3c 2005: [doi]

A Realistic Architecture for the Semantic WebMichael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel. ruleml 2005: 17-29 [doi]

Semantic Web Rules for Business InformationAnna Maclachlan, Harold Boley. iastedWTAS 2005: 146-153

Range Similarity Measures Between Buyers and Sellers in e-MarketplacesLu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley. iicai 2005: 2559-2572

A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product DescriptionsLu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley. iasse 2005: 55-60

2004

Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. ProceedingsGrigoris Antoniou, Harold Boley, editors, Volume 3323 of Lecture Notes in Computer Science, Springer, 2004.

A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business EnvironmentsVirendrakumar C. Bhavsar, Harold Boley, Lu Yang. ci, 20(4):584-602, 2004. [doi]

The Abstract Syntax of RuleML - Towards a General Web Rule Language FrameworkGerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley. webist 2004: 628-631 [doi]

2003

Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted TermsHarold Boley. semweb 2003: 1-16 [doi]

An Introduction to Object-Oriented RuleMLHarold Boley. epia 2003: 4 [doi]

2001

The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL TransformationsHarold Boley. inap 2003: 5-22 [doi]

The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL TransformationsHarold Boley. inap 2001: 124-139 [doi]

Design Rationale for RuleML: A Markup Language for Semantic Web RulesHarold Boley, Said Tabet, Gerd Wagner. semweb 2001: 381-401 [doi]

2000

Beziehungen zwischen Logikprogrammierung und XMLHarold Boley. wlp 2000: 19-34

Relationships between Logic Programming and RDFHarold Boley. pricai 2001: 201-218 [doi]

Markup Languages for Functional-Logic ProgrammingHarold Boley. wflp 2000: 391-403

1999

A Tight, Practical Integration of Relations and FunctionsHarold Boley. Volume 1712 of Lecture Notes in Computer Science, Springer, 1999.

Functional-Logic Integration via Minimal Reciprocal ExtensionsHarold Boley. TCS, 212(1-2):77-99, 1999. [doi]

1998

ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLsHarold Boley. ejc 1998: 307-326

1997

Wissensbasen im World Wide Web: Eine Herausforderung für die logische ProgramimerungHarold Boley. wlp 1997:

A Relational-Functional Integration for Declarative ProgrammingHarold Boley. BIRTHDAY 1997: 351-358 [doi]

1996

Funktional-logische SprachenHarold Boley. ki, 10(3):62-63, 1996.

Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-UmgebungenWolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek. ki, 10(2):31-33, 1996.

1995

An Environment for Exploring and Validating Declarative KnowledgeAndreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer. lpe 1995:

1993

Neuere Entwicklungen der deklarativen KI-ProgrammierungHarold Boley, François Bry, Ulrich Geske. ki 1993: 226-236

Finite Domains and Exclusions as First-Class CitizensHarold Boley. elp 1994: 37-61

1992

A Direct Semantic Characterization of RELFUNHarold Boley. elp 1993: 120-149

1991

Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, ProceedingsHarold Boley, Michael M. Richter, editors, Volume 567 of Lecture Notes in Computer Science, Springer, 1991.

Declarative and Procedural Paradigms - Do they Really Compete? (Panel)Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov. pdk 1991: 383-398

Extended Logic-plus-Functional ProgrammingHarold Boley. elp 1992: 45-72

1988

Iconic-Declarative Programming and Adaptation RulesHarold Boley. ecai 1988: 27-29

1983

From Pattern-Directed to Adapter-Driven Computation via Function-Applying MatchingHarold Boley. gi 1983: 86-100

1981

AI Languages and AI Machines: An OverviewHarold Boley. ki 1981: 136-155

1978

The Fit Approach to AI LanguagesHarold Boley. ecai 1978: 35-41

1977

Directed Recursive Labelnode Hypergraphs: A New Representation-LanguageHarold Boley. ai, 9(1):49-85, 1977.