Extended query facilities for racer and an application to software-Engineering problems

CEUR Workshop Proceedings

Volumn 104, Issue , 2004, Pages

  Haarslev, Volker ^a   Möller, Ralf ^c   Van Der Straeten, Ragnhild ^b   Wessel, Michael ^d  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^c HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^d UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DATA DESCRIPTION; FORMAL LANGUAGES; QUERY LANGUAGES; SEMANTICS; SOFTWARE ENGINEERING;

ABSTRACT SYNTAX; CONSISTENCY MAINTENANCE; OBJECT-ORIENTED DESIGN MODELS; QUERY ANSWERING;

OBJECT ORIENTED PROGRAMMING;

EID: 15544371787     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. Adding epistemic operators to concept languages. In Bernhard Nebel, Charles Rich, and William Swartout, editors, KR’92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pages 342–353. Morgan Kaufmann, San Mateo, California, 1992.
2. R. Fikes, P. Hayes, and I. Horrocks. OWL- QL - a language for deductive query answering on the semantic web. Technical Report KSL-03-14, Knowledge Systems Lab, Stanford University, CA, USA, 2003.
3. V. Haarslev and R. Möller. Racer system description. In International Joint Conference on Automated Reasoning, IJCAR’2001, June 18-23, 2001, Siena, Italy., 2001.
4. R+ extended with concrete domains: A practically motivated approach. In R. Goré, A. Leitsch, and T. Nipkow, editors, Proceedings of the International Joint Conference on Automated Reasoning, IJCAR’2001, June 18-23, 2001, Siena, Italy, Lecture Notes in Computer Science, pages 29–44. Springer-Verlag, June 2001.
5. Ian Horrocks and Sergio Tessaris. Querying the semantic web: a formal approach. In Ian Horrocks and James Hendler, editors, Proc. of the 13th Int. Semantic Web Conf. (ISWC 2002), number 2342 in Lecture Notes in Computer Science, pages 177–191. Springer-Verlag, 2002.
6. Robert MacGregor and David Brill. Recognition algorithms for the LOOM classifier. In Proc. of the 10th Nat. Conf. on Artificial Intelligence (AAAI’92), pages 774–779. AAAI Press/The MIT Press, 1992.
7. Object Management Group. Unified Modeling Language specification version 1.5. formal/2003-03-01, March 2003.
8. Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, and Viviane Jonckers. Using description logic to maintain consistency between UML models. In Perdita Stevens, Jon Whittle, and Grady Booch, editors, UML 2003 - The Unified Modeling Language. Model Languages and Applications. 6th International Conference, San Francisco, CA, USA, October 2003, Proceedings, volume 2863 of LNCS, pages 326–340. Springer, 2003.
9. Ragnhild Van Der Straeten, Jocelyn Simmonds, and Tom Mens. Detecting inconsistencies between UML models using description logic. In Diego Calvanese, Giuseppe De Giacomo, and Enrico Franconi, editors, Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, volume 81 of CEUR Workshop Proceedings, pages 260–264, 2003.