Ontology-enabled validation of connectivity relationships in a home theater system

International Journal of Intelligent Systems

Volumn 21, Issue 10, 2006, Pages 1111-1125

  Austin, Mark ^a   Mayank, Vimal ^a   Shmunis, Natalya ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC REASONING ENGINES; HOME THEATER SYSTEMS; ONTOLOGY BASED COMPUTING; PORT JACK ONTOLOGY;

ERROR ANALYSIS; FORMAL LOGIC; SEARCH ENGINES; SEMANTICS; WORLD WIDE WEB;

MULTIMEDIA SYSTEMS;

EID: 33749493910     PISSN: 08848173     EISSN: 1098111X     Source Type: Journal    
DOI: 10.1002/int.20163     Document Type: Article

References (24)

1. Hendler J. Agents and the semantic web. IEEE Intell Syst 2001;16:30-37. Available at: http://www.computer.org/intelligent.
2. DARPA Agent Markup Language (DAML). 2003. Available at: http://www.daml.org.
3. Golbeck J, Grove M, Parsia B, Kalyanpur A, Hendler J. New tools for the semantic web. In: Proc 13th Int Conf on Knowledge Engineering and Knowledge Management, EKAW02, Siguenza, Spain, October 2002.
4. Kalyanpur A, Golbeck J, Grove M, Hendler J. An RDF editor and portal for the semantic web. Proc Semantic Authoring, Annotation and Knowledge Markup (ECAI 2002), Lyon, France, July 22-26, 2002.
5. Kalyanpur A, Parsia B, Hendler J, Golbeck J. SMORE - Semantic markup, ontology, and RDF editor. Maryland Information and Network Dynamics (MIND) Laboratory, University of Maryland, College Park; 2003. For details, see http://www.mindswap.org.
6. Sirin E, Hendler J, Parsia B. Semi-automatic composition of web services using semantic descriptions. Web Services: Modeling, Architecture and Infrastructure Workshop in ICEIS 2003, Angers France, April 2003.
7. Ciocoiu M, Gruninger M, Nau DS. Ontologies for integrating engineering applications. J Comput Inform Sci Eng 2001:1:12-22.
8. Kiliccote H, Garrett JH. Standards usage language (SUL). J Comput Civil Eng 2001;15: 118-128.
9. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P. The description logichandbook. New York: Cambridge University Press; 2003.
10. Shanks G, Tansley E, Weber R. Using ontology to validate conceptual models. Comm ACM 2003;46:85-89.
11. Jess - The expert system shell for the Java platform; 2003. Available at: http://herzberg.ca.sandia.gov/jess/.
12. Kositsyna N, Mayank V, Austin M. Paladin software toolset. College Park, MD: Institute for Systems Research; 2003. For more information, see http://www.isr.umd.edu/paladin/.
13. Web ontology language (OWL); 2003. Available at: http://www.w3.org/TR/ owl-ref/.
14. DAMLJessKB; 2003. Available at: http://edge.mcs.drexel.edu/assemblies/ software/damljesskb/damljesskb.html.
15. Kopena J, Regli WC. DAMLJessKB: A tool for reasoning with the semantic web. IEEE Intell Syst 2003;18:74-77.
16. DAML+OIL plugin for Protégé 2000; 2003. Available at: http://www.ai.sri.com/daml/DAML+OIL-plugin/index.htm.
17. DAML+OIL walk through; 2003. Available at: http://www.daml.org/2001/03/ daml+oil-walkthru.html.
18. Forgy CL. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artif Intell 1982;19:17-37.
19. The Protégé ontology editor and knowledge acquisition system; 2003. Available at: http://protege.stanford.edu.
20. W3C RDF validation service; 2003. Available at: http://www.w3.org/RDF/ Validator.
21. Mayank V, Kositsyna N, Austin MA. Requirements engineering and the semantic web: Part II. Representation, management, and validation of requirements and system-level architectures. ISR Technical Report 2004-14, University of Maryland, College Park, March 2004.
22. Baclawski K, Kokar MK, Kogut PA, Hart L, Smith J, Holmes WS, Letkowski J, Aronson ML. Extending UML to support ontology engineering for the semantic web. Lecture Notes in Computer Science, Vol. 2185. Berlin: Springer Verlag; 2001. pp 342-360.
23. UML 2 DAML converter; 2004. Available at http://freshmeat.net/projects/ ju2d.
24. Express for free; 2004. Available at: http://www.exff.org.