Harold Boley

ORCID

Publication Activity (10 Years)

Years Active: 1977-2021
Publications (10 Years): 23

Top Venues

RuleML

RuleML+RR (Supplement)

RuleML+RR

Challenge+DC@RuleML

University of Hamburg, Germany (PHD)

Education History

University of Hamburg, Germany

PHD

Publications

Mark Thom, Harold Boley, Theodoros Mitsikas
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. RuleML+RR (2021)
Mark Thom, Harold Boley, Theodoros Mitsikas
Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying. RuleML+RR (2020)
Marc Novel, Rolf Grütter, Harold Boley, Abraham Bernstein
Nearness as context-dependent expression: an integrative review of modeling, measurement and contextual properties. Spatial Cogn. Comput. 20 (3) (2020)
Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR (2019)
Tara Athan, Harold Boley, Rima Chaudhari
Specifying PSOA RuleML/XML 1.03: MYNG-modularized Schemas for the RNC & XSD Validation of XSLT-normalized Data and Knowledge. RuleML+RR (Supplement) (2019)
Lukas Grätz, Harold Boley, Adrian Paschke
PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. RuleML+RR (Supplement) (2018)
Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR (2018)
Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
Object-Relational Rules for Medical Devices: Classification and Conformity. OTM Conferences (2) (2018)
Harold Boley, Gen Zou
Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation. CoRR (2017)
Gen Zou, Harold Boley, Dylan Wood, Kieran Lea
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic. RuleML+RR (Supplement) (2017)
Zainab Almugbel, Harold Boley
Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator. RuleML+RR (Supplement) (2017)
Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
Automated generation of SADI semantic web services for clinical intelligence. SBD@SIGMOD (2016)
Gen Zou, Harold Boley
Minimal Objectification and Maximal Unnesting in PSOA RuleML. RuleML (2016)
Harold Boley
The RuleML Knowledge-Interoperation Hub. RuleML (2016)
Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha
Translating Higher-Order Modal Logic from RuleML to TPTP. RuleML (Supplement) (2016)
Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
Semantic computing of simplicity in attributed generalized trees. ICCI*CC (2016)
Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases. IDEAS (2016)
Harold Boley
PSOA RuleML: Integrated Object-Relational Data and Rules. Reasoning Web (2015)
Tara Athan, Harold Boley, Adrian Paschke
RuleML 1.02: Deliberation, Reaction and Consumer Families. Challenge+DC@RuleML (2015)
Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings. SWAT4LS (2015)
Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley
Rule-Based Exploration of Structured Data in the Browser. RuleML (2015)
Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
Similarity of Attributed Generalized Tree Structures: A Comparative Study. SISAP (2015)
Gen Zou, Harold Boley
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog. RuleML (2015)
Harold Boley, Rolf Grütter, Gen Zou, Tara Athan, Sophia Etzold
A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research. RuleML (2014)
Tara Athan, Harold Boley
The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice. Challenge+DC@RuleML (2014)
Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
Structure Similarity of Attributed Generalized Trees. ICSC (2014)
Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
A fuzzy structure similarity algorithm for attributed generalized trees. ICCI*CC (2014)
Benjamin Dönz, Harold Boley
Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations. Challenge+DC@RuleML (2014)
Adrian Paschke, Harold Boley
Distributed Rule-based Agents with Rule Responder and Reaction RuleML 1.0. Challenge+DC@RuleML (2014)
Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
Combined Structure-Weight Graph Similarity and its Application in E-Health. CSWS (2013)
Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
OASIS LegalRuleML. ICAIL (2013)
Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker
Generating Semantic Web Services from Declarative Descriptions. CSWS (2013)
Rémi Bastide, Harold Boley, Amadou Sienou, Matthew Smith
Track F: Healthcare and sustainable living. DEST (2013)
Harold Boley
Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. RuleML (2013)
Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
LegalRuleML: From Metamodel to Use Cases - (A Tutorial). RuleML (2013)
Jidi Zhao, Harold Boley, Jing Dong
A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW (LNCS Vol.) (2013)
Martin Koch, Sven Schmidt, Harold Boley, Rainer Herpers
Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG. RuleML (2) (2013)
Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley
Rule-based validation of SLA choreographies. J. Supercomput. 63 (1) (2013)
Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley
Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog. CSWS (2013)
Adrian Paschke, Harold Boley, Zhili Zhao, Kia Teymourian, Tara Athan
Reaction RuleML 1.0: Standardized Semantic Reaction Rules. RuleML (2012)
Christian Fabbricatore, Harold Boley, Achim P. Karduck
Machine learning for resource management in smart environments. DEST (2012)
Kalliopi Kravari, Nick Bassiliades, Harold Boley
Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder. Expert Syst. Appl. 39 (10) (2012)
Kalliopi Kravari, Nick Bassiliades, Harold Boley
Erratum to "Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder" [Expert Systems with Applications 39 (10) (2012) 9571-9587]. Expert Syst. Appl. 39 (18) (2012)
Zhili Zhao, Kia Teymourian, Adrian Paschke, Harold Boley, Tara Athan
Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder. RuleML (2) (2012)
Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. RuleML (2) (2012)
Liam Paull, Gaëtan Séverac, Guilherme V. Raffo, Julian Mauricio Angel, Harold Boley, Phillip J. Durst, Wendell Gray, Maki K. Habib, Bao Nguyen, S. Veera Ragavan, Sajad Saeedi G., Ricardo Sanz, Mae L. Seto, Aleksandar Stefanovski, Michael Trentini, Howard Li
Towards an Ontology for Autonomous Robots. IROS (2012)
Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker
PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. RuleML (2012)
Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. RuleML (2012)
Adrian Paschke, Harold Boley
Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. Int. J. Artif. Intell. Tools 20 (6) (2011)
Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley
SymposiumPlanner-2011: Querying Two Virtual Organization Committees. RuleML America (2) (2011)
Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke
LegalRuleML: XML-Based Rules and Norms. RuleML America (2011)
Harold Boley, M. Omair Shafiq, Derek Smith, Taylor Michael Osmun
The Social Semantic Subweb of Virtual Patient Support Groups. CSWS (2011)
Tara Athan, Harold Boley
Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG. RuleML America (2011)
Mahdi Noorian, Alireza Ensan, Ebrahim Bagheri, Harold Boley, Yevgen Biletskiy
Feature Model Debugging based on Description Logic Reasoning. DMS (2011)
Harold Boley
A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. RuleML Europe (2011)
Kalliopi Kravari, Taylor Michael Osmun, Harold Boley, Nick Bassiliades
Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems. RuleML Europe (2011)
Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley
Principles of the SymposiumPlanner Instantiations of Rule Responder. RuleML America (2011)
Terje Aaberge, Rajendra Akerkar, Harold Boley
An intensional perspective on the semantic and pragmatic web. Int. J. Metadata Semant. Ontologies 6 (1) (2011)
Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley
Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case. MIWAI (2011)
Irfan Ul Haq, Erich Schikuta, Ivona Brandic, Adrian Paschke, Harold Boley
SLA Validation of Service Value Chains. GCC (2010)
Harold Boley, Adrian Paschke, M. Omair Shafiq
RuleML 1.0: The Overarching Specification of Web Rules. RuleML (2010)
Jidi Zhao, Harold Boley, Weichang Du
A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web. IJCCI (Selected Papers) (2010)
Rosemarie Velik, Harold Boley
Neurosymbolic Alerting Rules. IEEE Trans. Ind. Electron. 57 (11) (2010)
Adrian Paschke, Alexander Kozlenkov, Harold Boley
A Homogeneous Reaction Rule Language for Complex Event Processing CoRR (2010)
Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley
Matchmaking in p2p e-marketplaces: soft constraints and compromise matching. ICEC (2010)
Harold Boley, Michael Kifer
A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. 22 (11) (2010)
Jidi Zhao, Harold Boley, Weichang Du
SI. IJCCI (ICFC-ICNC) (2010)
Yuh-Jong Hu, Harold Boley
SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies. Web Intelligence (2010)
Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley, Ravindra Vaidya
Hunt Fortune: A System for P2P E-Marketplace Matchmaking. ICETET (2009)
Sheng Gao, Harold Boley, Darka Mioc, Francois Anton, Xiaolun Yi
Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. RuleML (2009)
Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig
Social Semantic Rule Sharing and Querying in Wellness Communities. ASWC (2009)
Manish Joshi, Virendra C. Bhavsar, Harold Boley
A knowledge representation model for matchmaking systems in e-marketplaces. ICEC (2009)
Taylor Michael Osmun, Benjamin Larry Craig, Harold Boley
WellnessRules: The Activity Rule Responder. RuleML Challenge (2009)
Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley
Rule-Based Workflow Validation of Hierarchical Service Level Agreements. GPC Workshops (2009)
Nauman Qadeer, Rosemarie Velik, Gerhard Zucker, Harold Boley
Knowledge representation for a neuro-symbolic network in home care risk identification. INDIN (2009)
Harold Boley
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. RuleML (2009)
Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. RuleML (2009)
Jidi Zhao, Harold Boley, Weichang Du
Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. ICIC (2) (2009)
Benjamin Larry Craig, Harold Boley
Personal Agents in the Rule Responder Architecture. RuleML (2008)
Jidi Zhao, Harold Boley
Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops (2008)
Yevgen Biletskiy, Harold Boley, Girish R. Ranganathan
RuleML-based learning object interoperability on the Semantic Web. Interact. Technol. Smart Educ. 5 (1) (2008)
Magda Ilieva, Harold Boley
Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE (2008)
Jidi Zhao, Harold Boley
Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW (2008)
Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi
A RuleML Study on Integrating Geographical and Health Information. RuleML (2008)
Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. ICPW (2007)
Harold Boley
Are Your Rules Online? Four Web Rule Essentials. RuleML (2007)
Boanerges Aleman-Meza, Uldis Bojars, Harold Boley, John G. Breslin, Malgorzata Mochól, Lyndon J. B. Nixon, Axel Polleres, Anna V. Zhdanova
Combining RDF Vocabularies for Expert Finding. ESWC (2007)
Jing Mei, Zuoquan Lin, Harold Boley
: An Integration of Description Logic and General Rules. RR (2007)
Harold Boley, Adrian Paschke
Expert Querying and Redirection with Rule Responder. FEWS (2007)
Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres
Rule Interchange on the Web. Reasoning Web (2007)
Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar
Combination of Deduction Rules and Description Logics. Comput. Intell. 23 (3) (2007)
Kai Simon, Georg Lausen, Harold Boley
From HTML documents to web tables and rules. ICEC (2006)
Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin
: Datalog Rules Parameterized by Description Logics. CSWWS (2006)
Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley
A Bottom-up Strategy for Query Decomposition. ICDIM (2006)
Harold Boley
The RuleML Family of Web Rule Languages. PPSWR (2006)
Jing Mei, Harold Boley
Interpreting SWRL Rules in RDF Graphs. Electron. Notes Theor. Comput. Sci. 151 (2) (2006)
Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley
A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. IASSE (2005)
Daniel Lemire, Harold Boley, Sean McGrath, Marcel Ball
Collaborative filtering and inference rules for context-aware learning object recommendation. Interact. Technol. Smart Educ. 2 (3) (2005)
Grigoris Antoniou, Harold Boley
Preface. J. Web Semant. 3 (1) (2005)
Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
A Realistic Architecture for the Semantic Web. RuleML (2005)

Harold Boley.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Harold Boley