BaseVISor: A triples-based inference engine outfitted to process RuleML and R-entailment rules

Proceedings - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web

Volumn , Issue , 2006, Pages 67-74

  Matheus, Christopher J ^a   Baclawski, Ken ^b   Kokar, Mieczyslaw M ^b  

^a Versatile Information Systems Inc   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; BINARY SEQUENCES; OPTIMIZATION;

BASEVISOR BETA RELEASE; R ENTAILMENT RULES; REIFIED STATEMENTS;

SEARCH ENGINES;

EID: 38949163266     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RULEML.2006.6     Document Type: Conference Paper

References (22)

1. W3C Web Ontology Language (OWL) homepage. http://www.w3.org/2004/OWL/
2. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002. ISBN 0521781760. Edited by F. Baader, D. Calvanese, et al.
3. FaCT++ homepage, http://owl.man.ac.uk/factplusplus/
4. Pellet homepage. http://www.mindswap.org/2003/pellet/index.shtml
5. RACER homepage, http://www.racer-systems.com/
6. Cerebra homepage, http://www.cerebra.com/index.html
7. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proc. of the Thirteenth Int'l World Wide Web Conf.(WWW 2004). ACM, 2004.
8. C. Matheus, K. Baclawski, M. Kokar, and J. Letkowski, Constructing RuleML-Based Domain Theories on top of OWL Ontologies. In Proceedings of Rules and Rule Markup Languages for Sematic Web: Second International Workshop, RuleML 2003, Sanibel Island, Florida, October 2003.
9. C. Matheus, Using Ontology-based Rules for Situation Awareness and Information Fusion. Position Paper presented at the W3C Workshop on Rule Languages for Interoperability, April 2005.
10. M. J. O'Connor, H. Knublauch, S. W. Tu, B. Grossof, M. Dean, W. E. Grosso, M. A. Musen. Supporting Rule System Interoperability on the Semantic Web with SWRL. Fourth International Semantic Web Conference, Galway, Ireland, 2005.
11. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission, 21 May 2004. http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/
12. Hoolet homepage, http://owl.man.ac.uk/hoolet/
13. RuleML homepage: http://www.ruleml.org/
14. H. ter Horst. Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. In Proc. of the Fourth Int'l Semantic Web Conference. Y. Gil et al. (Eds.): ISWC 2005, LNCS 3729, pp. 668-684, 2005.
15. C. L. Forgy, "Rete: a fast algorithm for the many pattern/many object pattern match problem," Artificial Intelligence, 1982, pp.17-37.
16. Jess homepage, http://herzberg.ca.sandia.gov/jess/
17. CLIPS homepage. http://www.ghg.net/clips/CLIPS.html
18. C. Matheus, M. Kokar, K. Baclawski and J. Letkowski, Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario. In Proc. of International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML-2005, Galway, Ireland, November, 2005.
19. M. Dean's GEDCOM homepage. http://www.daml.org/2001/02/gedcom-ruleml/
20. N. Noy and A. Rector (Eds.). Defining N-ary Relations on the Semantic Web. W3C Working Group Note 12 April 2006. http://www.w3.org/TR/swbp-n- aryRelations/
21. H. Boley's discount business rules. http://www.ruleml.org/exa/0.8/ discount.ruleml
22. Capability Maturity Model Integration (CMMI), Version 1.1 CMMI for Software Engineering (CMMI-SW, v1.1) Staged Representation. Technical Report CMU/SEI2002-TR-029, ESC/TR-2002-029, Carnegie Mellon, Software Engineering Institute, Pittsburgh, 2002.