RuleML

Results: 133



#Item
21

A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules Harold Boley Institute for Information Technology National Research Council of Canada

Add to Reading List

Source URL: www.cs.unb.ca

- Date: 2011-05-25 09:39:35
    22

    Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules (Long version: http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf) Harold Boley NRC SDT & ICT Fredericton

    Add to Reading List

    Source URL: 2013.ruleml.org

    - Date: 2014-02-20 18:18:00
      23

      PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers Gen Zou1 , Reuben Peter-Paul1 , Harold Boley1,2 , and Alexandre Riazanov3 1

      Add to Reading List

      Source URL: www.cs.unb.ca

      - Date: 2012-08-23 11:42:31
        24

        Introduction The API Structure and Functionality Conclusion and Future Work PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes

        Add to Reading List

        Source URL: www.cs.unb.ca

        - Date: 2012-09-22 14:44:22
          25

          PSOA RuleML: Integrated Object-Relational Data and Rules Harold Boley Faculty of Computer Science, University of New Brunswick, Fredericton, Canada harold[DT]boley[AT]unb[DT]ca

          Add to Reading List

          Source URL: www.cs.unb.ca

          - Date: 2015-08-31 22:17:52
            26

            Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley Faculty of Computer Science University of New Brunswick

            Add to Reading List

            Source URL: www.cs.unb.ca

            - Date: 2013-06-21 12:58:18
              27

              The Integrated PSOA RuleML for Interoperating SQL Relations and SPARQL Graphs Harold Boley, Faculty of Computer Science, University of New Brunswick, Canada The 6th Atlantic Workshop on Semantics and Services (AWoSS 2015

              Add to Reading List

              Source URL: www.cs.unb.ca

              - Date: 2015-12-08 22:25:52
                28

                Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms? Harold Boley Institute for Information Technology – e-Business, National Research Council of Canada,

                Add to Reading List

                Source URL: www.cs.unb.ca

                - Date: 2003-09-10 16:45:52
                  29

                  Rulelog: Syntax and Semantics Benjamin Grosof Benjamin Grosof & Associates Michael Kifer Stony Brook University

                  Add to Reading List

                  Source URL: ruleml.org

                  - Date: 2014-02-26 01:10:22
                    30

                    The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML)

                    Add to Reading List

                    Source URL: rbsla.ruleml.org

                    - Date: 2013-12-20 11:58:09
                      UPDATE