Semantic web reasoning using a blackboard system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4187 LNCS, Issue , 2006, Pages 204-218

  McKenzie, Craig ^a   Preece, Alun ^a   Gray, Peter ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONSTRAINT THEORY; DATA ACQUISITION; INTERFACES (COMPUTER); PROBLEM ORIENTED LANGUAGES;

BLACKBOARD SYSTEM; METAPHORS; ONTOLOGICAL INFERENCES; SW BLACKBOARD SYSTEMS;

SEMANTICS;

EID: 33845223193     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11853107_15     Document Type: Conference Paper

References (17)

1. C. V. D. Anastasia Analyti, Grigoris Antoniou and G. Wagner. Negation and Negative Information in the W3C Resource Description Framework. Annals of Mathematics, Computing & Teleinfomatics, 1(2):25-34, 2004.
2. R. Brachman, V. Gilbert, and H. Levesque. An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. In The Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 532-539, Los Angeles, California, USA, 1985.
3. N. Carver and V. Lesser. The Evolution of Blackboard Control Architectures. CMPSCI Technical Report 92-71, Computer Science Department, Southern Illinois University, 1992.
4. P. Doherty, W. Lukaszewicz, and A. Szalas. Efficient Reasoning using the Local Closed-World Assumption. In 9th International Conference on Artificial Intelligence: Mehtodology, Systems, Applications, 2000.
5. R. S. Engelmore and A. Terry. Structure and Function of the CRYSALIS System. In The Sixth International Joint Conference on Artificial Intelligence (IJCAI79), pages 250-256, Tokyo, Japan, August 20-23 1979.
6. L. D. Erman, F. Hayes-Roth, V. R. Lesser, and D. R. Reddy. The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty. ACM Computing Surveys, 12(2):213-253, 1980.
7. O. Etzioni, K. Golden, and D. Weld. Sound and Efficient Closed-World Reasoning for Planning. Artificial Intelligence, 89(1-2):113-148, January 1997.
8. E. A. Feigenbaum, H. P. Nii, J. J. Anton, and A. J. Rockmore. Signal-to-signal Transformation: HASP/SIAP Case Study. AI Magazine, 3(2):23-35, 1982.
9. S. Harris and N. Gibbins. 3store: Efficient Bulk RDF Storage. In 1st International Workshop on Practical and Scalable Semantic Systems (PSSS'03), pages 1-20, 2003.
10. B. Hayes-Roth. A Blackboard Architecture for Control. Artificial Intelligence, 26(3):251-321, 1985.
11. B. Hayes-Roth, F. Hayes-Roth, F. Rosenschien, and S. Cammarata. Modelling Planning as an Incremental, Opportunistic Process. In The Sixth International Joint Conference on Artificial Intelligence (IJCAI79), pages 375-383, Tokyo, Japan, August 20-23 1979.
12. J. Hendler. Agents and the Semantic Web. IEEE Intelligent Systems, 16(2):30-37, March/April 2001.
13. C. McKenzie, A. Preece, and P. Gray. Extending SWRL to Express Fully-Quantified Constraints. In G. Antoniou and H. Boley, editors, Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), LNCS 3323, pages 139-154, Hiroshima, Japan, November 2004. Springer.
14. J. Mei, S. Liu, A. Yue, and Z. Lin. An Extension to OWL with General Rules. In G. Antoniou and H. Boley, editors, Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), LNCS 3323, pages 155-169, Hiroshima, Japan, November 2004. Springer.
15. H. P. Nii. Blackboard Systems: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures. AI Magazine, 7(2):38-53, 1986.
16. N. Shadbolt, N. Gibbins, H. Glaser, S. Harris, and m. schraefel. CS AKTive Space, or How We Learned to Stop Worrying and Love the Semantic Web. IEEE Intelligent Systems, 19(3):41-47, 2004.
17. D. Tsarkov and I. Horrocks. DL Reasoner vs. First-Order Prover. In 2003 Description Logic Workshop (DL 2003), volume 81, pages 152-159. CEUR (http://ceurws.org/), 2003.