Language issues for cognitive radio

Proceedings of the IEEE

Volumn 97, Issue 4, 2009, Pages 689-706

  Kokar, Mleczyslaw M ^a   Lechowicz, Leszek ^a  

^a Northeastern University   (United States)

Author keywords

Cognitive radio; Formal language; Formal semantics; Radio ontology

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; FORMAL METHODS; RADIO SYSTEMS; SEMANTICS;

BOTTOM UP APPROACH; DESCRIPTION LOGIC; FORMAL SEMANTICS;

COGNITIVE RADIO;

EID: 65249119255     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2009.2013028     Document Type: Article

References (43)

1. J. Mitola, III, "Cognitive radio: An integrated agent architecture for software defined radi," Ph.D. dissertation, Royal Institute of Technology (KTH), Stockholm, Sweden, 2000.
2. J. Mitola, III and G. Q. Maguire, Jr., "Cognitive radio: Making software radios more personal," IEEE Wireless Commun., vol. 6, pp. 13-18, Aug. 1999.
3. Software Defined Radio Forum, "Cognitive radio definitions, " Working Doc. SDRF-06-R-0011-V1.0.0, Nov. 8, 2007.
4. M. M. Kokar, D. Brady, and K. Baclawski, "Chapter 13: Roles of ontologies in cognitive radios," in Cognitive Radio Technology, B. Fette, Ed. Oxford, U.K.: Newnes, 2006, pp. 401-433.
5. T. W. Pratt and M. V. Zelkowitz, Programming Languages: Design and Implementation, 3rd ed. Englewood Cliffs, NJ: Prentice-Hall, 1996.
6. J. W. Lloyd, "Practical advantages of declarative programming," in Proc. 1994 Joint Conf. Declarative Program (GULP-PRODE'94), Peñiscola, Spain, 1994.
7. P. Haase, F. van Harmelen, Z. Huang, H. Stuckenschmidt, and Y. Sure, "A framework for handling inconsistency in changing ontologies," in Proc. 4th Int. Semantic Web Conf, 2005. [Online]. Available: http://www.cs.vu.nl/~frankh/ abstracts/ISWC05.html
8. H. Enderton, A Mathematical introduction to Logic, 2nd ed. Boston, MA: Academic, 2001.
9. R. Corazzon. (2008). Ontology: A resource guide for philosophers. [Online]. Available: http://www.formalontology.it/
10. T. Gruber, What is an ontology? [Online]. Available: http://www-ksl.stanford.edu/kst/ what-is-an-ontology.html
11. J. G. Proakis, Digital Communications, 3rd ed. New York: McGraw-Hill, 1995.
12. D. Preuveneers and Y. Berbers, "Automated context-driven composition of pervasive services to alleviate non-functional concerns," Int. J. Comput. Inf. Sci., vol. 3, no. 2, pp. 19-28, Aug. 2005.
13. L. Lechowicz and M. Kokar, "Achieving dynamic interoperability of communication: Transfer of ontology and rules between nodes," in Proc. Software Defined Radio Tech. Conf. (SDR'06), 2006.
14. A. Colmerauer and P. Roussel, "The birth of prolog," in Proc. 2nd ACM Conf. History Program. Lang. (SIGPLAN), 1992, pp. 37-52.
15. C Matheus, K. Baclawski, and M. M. Kokar, "BaseVISor: A triples-based inference engine outfitted to process RuIeML and R-entailment rules," in Proc. 2nd Int. Conf. Rules Rule Lang. Semantic Web, Athens, GA, Nov. 2006.
16. H. ter Horst, "Combining RDF and part of OWL with rules: Semantics, decidability, complexity," in Proc. 4th Int. Semantic Web Conf. (ISWC 2005), 2005, vol. 3729, pp. 668-684.
17. J. D. Poston, W. D. Home, M. G. Taylor, and F. Z. Zhu, "Ontology-based reasoning for context-aware radios: Insights and findings from prototype development," in Proc. 1st IEEE Int. Symp. New Frontiers Dyn. Spectrum Access Netw. (DySPAN), 2005, pp. 634-637.
18. A. Ginsberg, J. D. Poston, and W. D. Home, "Experiments in cognitive radio and dynamic spectrum access using an ontology-rule hybrid architecture, " in Proc. 2nd Int. Conf. Rules Rule Markup Lang. Semantic Web (RuIeML), Athens, GA, 2006. [Online]. Available: http:// 2006.ruleml.org/group3.html#3
19. A. Ginsberg, W. Home, and J. Poston, "Community-based cognitive radio architecture: Policy-compliant innovation via the semantic web," in Proc. 2nd IEEE Int. Symp. New Frontiers Dyn. Spectrum Access Netw. (DySPAN), 2007.
20. M. Kifer, Negation in knowledge representation, unpublished notes, Jun. 9, 2007
21. B. Motik, I. Horrocks, R. Rosati, and U. Sattler, "Can OWL and logic programming live together happily ever after?" in Proc. 5th Int. Semantic Web Conf, 2006, vol. 4273, pp. 501-514.
22. L. Lechowicz and M. M. Kokar, "Composition, equivalence and interoperability: An example," in Proc. Software Defined Radio Tech. Conf. (SDR'07), 2007.
23. S. Shapiro, Foundations Without Foundationalism: A Case for Second-Order Logic. Oxford, U.K.: Oxford Univ. Press, 2000.
24. C E. Brown, Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory. Oxford, U.K.: College Publications, 2007.
25. T. F. Melham, Higher-Order Logic and Hardware Verification. Cambridge, U.K.: Cambridge Univ. Press, 1993.
26. J. McDonald and J. Anton, "SPECWARE-Producing software correct by construction," Kestrel Inst., Tech. Rep. KES. U.01.3., Mar. 2001.
27. D. R. Smith, "Composition by colimit and formal software development," in Algebra, Meaning, and Computation: A Festschrift in Honor of Prof. Joseph Goguen, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Eds. Berlin, Germany: Springer-Verlag, 2006, vol. 4060, pp. 317-332.
28. M. E. Stickel, R. J. Waldinger, M. Lowry, T. Pressburger, and I. Underwood, "Deductive composition of astronomical software from subroutine libraries," in Proc. 12th Int. Conf. Autom. Deduct. (CADE-12), Nancy, France, Jun. 1994, pp. 341-355.
29. T. Nipkow, L. C Paulson, and M. Wenzel, Isabelle/HOL: A Proof Assistant for Higher-Order Logic. New York: Springer, 2002, vol. 2283.
30. D. Pavlovic and D. R. Smith, "Software development by refinement," in Proc. 10th Anniv. Colloq. Formal Methods Crossroads: From Panacea to Foundational Support (UNU/IIST), 2003.
31. Information Technology - Common Logic (CL): A Framework for a Family of Logic-Based Languages, ISO/IEC Standard 24707, 2007.
32. C Bock, M. Gruninger, D. Libes, J. Lubell, and E. Subrahmanian, "Evaluating reasoning systems," National Inst, of Standards and Technology, Tech. Rep. NISTIR 7310, 2006.
33. P. Hayes and C Menzel, "Simple common logic," in Proc. Workshop Rule Lang. Interop. (W3C), Washington, D.C., 2005. [Online]. Available: http://www.w3.org/2004/12/rulesws/paper/103/
34. L. Padulo and M. A. Arbib, System Theory: A Unified State-Space Approach to Continuous and Discrete Systems. Philadelphia, PA: Saunders, 1974.
35. P. Wadler, "Comprehending monads," in Proc. 1990 ACM Conf. LISP Funct. Program., Nice, 1990.
36. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification. Berlin, Germany: Springer-Verlag, 1991.
37. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety. Berlin, Germany: Springer-Verlag, 1995.
38. G. J. Holzmann, The Spin Model Checker: Primer and Reference Manual. Reading, MA: Addison-Wesley, 2004.
39. N. S. Bjørner, A. Browne, M. A. Colón, B. Finkbeiner, Z. Manna, H. B. Sipma, and T. E. Uribe, "Verifying temporal properties of reactive systems: A STeP tutorial," Formal Methods Syst. Design, vol. 16, no. 3, pp. 227-270, 2000.
40. J. McDonald and D. R. Smith, Accord Language Manual Version 4.2. Palo Alto, CA: Kestrel Institute, 2007.
41. M. Cummings and P. A. Subrahmanyam, "Perspectives of a metalanguage for configurable wireless systems," in Proc. Software Defined Radio Tech. Conf. (SDR'04), 2004.
42. C. Dolwin, R. Burgess, and B. Steinke, "Power efficient and real-time configuration of resources in an end-to-end reconfigurable system," in Proc. Software Defined Radio Technical Conf. (SDR'05), Anaheim, CA, 2005.
43. B. Fette, M. M. Kokar, and M. Cummings, "Next-generation design issues in communications," Portable Design Mag., no. 3, pp. 20-24, 2008.