


Остановите войну!
for scientists:


default search action
Harold Boley
Person information

- affiliation: University of New Brunswick, NB, Canada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [c114]Mark Thom
, Harold Boley
, Theodoros Mitsikas
:
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. RuleML+RR 2021: 234-249 - 2020
- [j22]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): 161-233 (2020) - [c113]Mark Thom
, Harold Boley
, Theodoros Mitsikas
:
Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying. RuleML+RR 2020: 112-128
2010 – 2019
- 2019
- [c112]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 - [c111]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: 52-66 - 2018
- [c110]Sofia Almpani
, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas
, Panayiotis Frangos:
Object-Relational Rules for Medical Devices: Classification and Conformity. OTM Conferences (2) 2018: 584-591 - [c109]Sofia Almpani
, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas
, Panayiotis Frangos:
Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR 2018: 203-210 - [c108]Lukas Grätz, Harold Boley, Adrian Paschke:
PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. RuleML+RR (Supplement) 2018 - 2017
- [c107]Zainab Almugbel, Harold Boley:
Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator. RuleML+RR (Supplement) 2017 - [c106]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 - [i2]Harold Boley, Gen Zou:
Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation. CoRR abs/1712.02869 (2017) - 2016
- [c105]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
Semantic computing of simplicity in attributed generalized trees. ICCI*CC 2016: 244-251 - [c104]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: 248-255 - [c103]Harold Boley:
The RuleML Knowledge-Interoperation Hub. RuleML 2016: 19-33 - [c102]Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha:
Translating Higher-Order Modal Logic from RuleML to TPTP. RuleML (Supplement) 2016 - [c101]Gen Zou, Harold Boley:
Minimal Objectification and Maximal Unnesting in PSOA RuleML. RuleML 2016: 130-147 - [c100]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: 6 - 2015
- [c99]Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley:
Rule-Based Exploration of Structured Data in the Browser. RuleML 2015: 161-175 - [c98]Tara Athan, Harold Boley, Adrian Paschke:
RuleML 1.02: Deliberation, Reaction and Consumer Families. Challenge+DC@RuleML 2015 - [c97]Gen Zou, Harold Boley:
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog. RuleML 2015: 176-192 - [c96]Harold Boley:
PSOA RuleML: Integrated Object-Relational Data and Rules. Reasoning Web 2015: 114-150 - [c95]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
Similarity of Attributed Generalized Tree Structures: A Comparative Study. SISAP 2015: 150-161 - [c94]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: 203-204 - 2014
- [c93]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
A fuzzy structure similarity algorithm for attributed generalized trees. ICCI*CC 2014: 203-210 - [c92]Tara Athan, Harold Boley:
The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice. Challenge+DC@RuleML 2014 - [c91]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: 112-126 - [c90]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 - [c89]Adrian Paschke, Harold Boley:
Distributed Rule-based Agents with Rule Responder and Reaction RuleML 1.0. Challenge+DC@RuleML 2014 - [c88]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
Structure Similarity of Attributed Generalized Trees. ICSC 2014: 100-107 - 2013
- [j21]Irfan Ul Haq, Adrian Paschke, Erich Schikuta
, Harold Boley:
Rule-based validation of SLA choreographies. J. Supercomput. 63(1): 24-45 (2013) - [c87]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
Combined Structure-Weight Graph Similarity and its Application in E-Health. CSWS 2013: 12-18 - [c86]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker:
Generating Semantic Web Services from Declarative Descriptions. CSWS 2013: 33-36 - [c85]Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley:
Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog. CSWS 2013: 56-57 - [c84]Rémi Bastide, Harold Boley, Amadou Sienou, Matthew Smith:
Track F: Healthcare and sustainable living. DEST 2013: 1 - [c83]Tara Athan, Harold Boley, Guido Governatori
, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
:
OASIS LegalRuleML. ICAIL 2013: 3-12 - [c82]Tara Athan, Harold Boley, Guido Governatori
, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
:
LegalRuleML: From Metamodel to Use Cases - (A Tutorial). RuleML 2013: 13-18 - [c81]Harold Boley:
Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. RuleML 2013: 52-67 - [c80]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 - [c79]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: 197-216 - 2012
- [j20]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): 9571-9587 (2012) - [j19]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): 13549 (2012) - [c78]Christian Fabbricatore, Harold Boley, Achim P. Karduck:
Machine learning for resource management in smart environments. DEST 2012: 1-6 - [c77]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: 1359-1364 - [c76]Adrian Paschke, Harold Boley, Zhili Zhao, Kia Teymourian, Tara Athan:
Reaction RuleML 1.0: Standardized Semantic Reaction Rules. RuleML 2012: 100-119 - [c75]Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov:
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. RuleML 2012: 264-279 - [c74]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: 280-288 - [c73]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 - [c72]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 - 2011
- [j18]Adrian Paschke, Harold Boley:
Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. Int. J. Artif. Intell. Tools 20(6): 1043-1081 (2011) - [j17]Terje Aaberge, Rajendra Akerkar, Harold Boley:
An intensional perspective on the semantic and pragmatic web. Int. J. Metadata Semant. Ontologies 6(1): 74-80 (2011) - [c71]Harold Boley, M. Omair Shafiq, Derek Smith, Taylor Michael Osmun:
The Social Semantic Subweb of Virtual Patient Support Groups. CSWS 2011: 1-18 - [c70]Mahdi Noorian, Alireza Ensan, Ebrahim Bagheri, Harold Boley, Yevgen Biletskiy:
Feature Model Debugging based on Description Logic Reasoning. DMS 2011: 158-164 - [c69]Manish R. Joshi
, Virendrakumar C. Bhavsar, Harold Boley:
Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case. MIWAI 2011: 384-394 - [c68]Tara Athan, Harold Boley:
Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG. RuleML America 2011: 17-32 - [c67]Kalliopi Kravari
, Taylor Michael Osmun, Harold Boley, Nick Bassiliades
:
Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems. RuleML Europe 2011: 44-51 - [c66]Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley:
Principles of the SymposiumPlanner Instantiations of Rule Responder. RuleML America 2011: 97-111 - [c65]Harold Boley:
A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. RuleML Europe 2011: 194-211 - [c64]Monica Palmirani
, Guido Governatori
, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke:
LegalRuleML: XML-Based Rules and Norms. RuleML America 2011: 298-312 - [c63]Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley:
SymposiumPlanner-2011: Querying Two Virtual Organization Committees. RuleML America (2) 2011 - 2010
- [j16]Rosemarie Velik, Harold Boley:
Neurosymbolic Alerting Rules. IEEE Trans. Ind. Electron. 57(11): 3661-3668 (2010) - [j15]Harold Boley, Michael Kifer:
A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. 22(11): 1593-1608 (2010) - [c62]Manish R. Joshi
, Virendrakumar C. Bhavsar, Harold Boley:
Matchmaking in p2p e-marketplaces: soft constraints and compromise matching. ICEC 2010: 134-140 - [c61]Irfan Ul Haq, Erich Schikuta
, Ivona Brandic
, Adrian Paschke, Harold Boley:
SLA Validation of Service Value Chains. GCC 2010: 308-313 - [c60]Jidi Zhao, Harold Boley, Weichang Du:
Reasoning with the Fuzzy Description Logic fzSI. IJCCI (ICFC-ICNC) 2010: 21-30 - [c59]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: 167-181 - [c58]Harold Boley, Adrian Paschke, M. Omair Shafiq:
RuleML 1.0: The Overarching Specification of Web Rules. RuleML 2010: 162-178 - [c57]Yuh-Jong Hu, Harold Boley:
SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies. Web Intelligence 2010: 302-307 - [i1]Adrian Paschke, Alexander Kozlenkov, Harold Boley:
A Homogeneous Reaction Rule Language for Complex Event Processing. CoRR abs/1008.0823 (2010)
2000 – 2009
- 2009
- [c56]Manish R. Joshi
, Virendra C. Bhavsar, Harold Boley:
A knowledge representation model for matchmaking systems in e-marketplaces. ICEC 2009: 362-365 - [c55]Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig:
Social Semantic Rule Sharing and Querying in Wellness Communities. ASWC 2009: 347-361 - [c54]Irfan Ul Haq, Adrian Paschke, Erich Schikuta
, Harold Boley:
Rule-Based Workflow Validation of Hierarchical Service Level Agreements. GPC Workshops 2009: 96-103 - [c53]Manish R. Joshi
, Virendrakumar C. Bhavsar, Harold Boley, Ravindra Vaidya:
Hunt Fortune: A System for P2P E-Marketplace Matchmaking. ICETET 2009: 420-427 - [c52]Jidi Zhao, Harold Boley, Weichang Du:
Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. ICIC (2) 2009: 111-123 - [c51]Nauman Qadeer
, Rosemarie Velik, Gerhard Zucker, Harold Boley:
Knowledge representation for a neuro-symbolic network in home care risk identification. INDIN 2009: 277-282 - [c50]Harold Boley:
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. RuleML 2009: 29-42 - [c49]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 - [c48]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 - [c47]Taylor Michael Osmun, Benjamin Larry Craig, Harold Boley:
WellnessRules: The Activity Rule Responder. RuleML Challenge 2009 - 2008
- [j14]Yevgen Biletskiy, Harold Boley, Girish R. Ranganathan:
RuleML-based learning object interoperability on the Semantic Web. Interact. Technol. Smart Educ. 5(1): 39-58 (2008) - [c46]Jidi Zhao, Harold Boley:
Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops 2008: 273-278 - [c45]Benjamin Larry Craig, Harold Boley:
Personal Agents in the Rule Responder Architecture. RuleML 2008: 150-165 - [c44]Sheng Gao, Darka Mioc, Harold Boley, Francois Anton
, Xiaolun Yi:
A RuleML Study on Integrating Geographical and Health Information. RuleML 2008: 174-181 - [c43]Magda Ilieva, Harold Boley:
Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE 2008: 478-483 - [c42]Jidi Zhao, Harold Boley:
Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW 2008 - 2007
- [j13]Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar:
The DATALOGDL Combination of Deduction Rules and Description Logics. Comput. Intell. 23(3): 356-372 (2007) - [c41]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: 235-250 - [c40]Harold Boley, Adrian Paschke:
Expert Querying and Redirection with Rule Responder. FEWS 2007: 9-22 - [c39]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 - [c38]Jing Mei, Zuoquan Lin, Harold Boley:
ALCuP: An Integration of Description Logic and General Rules. RR 2007: 163-177 - [c37]Harold Boley:
Are Your Rules Online? Four Web Rule Essentials. RuleML 2007: 7-24 - [c36]Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres:
Rule Interchange on the Web. Reasoning Web 2007: 269-309 - 2006
- [c35]Kai Simon, Georg Lausen, Harold Boley:
From HTML documents to web tables and rules. ICEC 2006: 125-131 - [c34]Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin:
DatalogDL: Datalog Rules Parameterized by Description Logics. CSWWS 2006: 171-187 - [c33]Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley:
A Bottom-up Strategy for Query Decomposition. ICDIM 2006: 215-221 - [c32]Harold Boley:
The RuleML Family of Web Rule Languages. PPSWR 2006: 1-17 - 2005
- [j12]Harold Boley, Virendrakumar C. Bhavsar, David Hirtle, Anurag Singh, Zhongwei Sun, Lu Yang:
A match-making system for learners and learning objects. Interact. Technol. Smart Educ. 2(3): 171-178 (2005) - [j11]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): 179-188 (2005) - [j10]Grigoris Antoniou
, Harold Boley:
Preface. J. Web Semant. 3(1): 3-4 (2005) - [c31]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 - [c30]Anna Maclachlan, Harold Boley:
Semantic Web Rules for Business Information. Web Technologies, Applications, and Services 2005: 146-153 - [c29]Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley:
Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI 2005: 2559-2572 - [c28]Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel:
A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29 - [c27]Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer:
The OO jDREW Reference Implementation of RuleML. RuleML 2005: 218-223 - [c26]Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer:
Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. Rule Languages for Interoperability 2005 - [c25]Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner:
RuleML Position Statement. Rule Languages for Interoperability 2005 - [c24]Harold Boley, Jing Mei, Michael Sintek, Gerd Wagner:
RDF/RuleML Interoperability. Rule Languages for Interoperability 2005 - [c23]Jing Mei, Harold Boley:
Interpreting SWRL Rules in RDF Graphs. WLFM@FM 2005: 53-69 - 2004
- [j9]Virendrakumar C. Bhavsar, Harold Boley, Lu Yang:
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. Comput. Intell. 20(4): 584-602 (2004) - [c22]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 - [e2]Grigoris Antoniou, Harold Boley:
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. Lecture Notes in Computer Science 3323, Springer 2004, ISBN 3-540-23842-5 [contents] - 2003
- [c21]Harold Boley:
An Introduction to Object-Oriented RuleML. EPIA 2003: 4 - [c20]Harold Boley:
Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. RuleML 2003: 1-16 - 2001
- [c19]Harold Boley:
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP (LNCS Volume) 2001: 5-22 - [c18]Harold Boley:
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP 2001: 124-139 - [c17]Harold Boley, Said Tabet, Gerd Wagner:
Design Rationale for RuleML: A Markup Language for Semantic Web Rules. SWWS 2001: 381-401 - 2000
- [c16]Harold Boley:
Relationships between Logic Programming and RDF. PRICAI Workshops 2000: 201-218 - [c15]Harold Boley:
Markup Languages for Functional-Logic Programming. WFLP 2000: 391-403 - [c14]Harold Boley:
Beziehungen zwischen Logikprogrammierung und XML. WLP 2000: 19-34
1990 – 1999
- 1999
- [b2]