Monitoring Conformance to the Internal Regulation of an MSc Course Using Ontologies and Rules

The representation of information in the Web today is mainly through natural language and its meaning is only interpretable to users who have studied understand the specific natural language. Thus, in the case of the Internal Regulation (IR) of an MSc course of a Greek State University in order to extract an (indispensable) conclusion, one must understand the Greek language, must comprehend the content of the regulation and finally must combine information maybe from many disparate parts of the corpus. For example, if a candidate post-graduate student wanted to know if and how he can attend these courses he should consider all the articles of the IR to find the answer to this question. On the other hand, a computer program could not draw such a conclusion using natural language text. To solve problems of this nature one can use the technologies of the Semantic Web. This paper presents the development of a system that gives solution to these issues, based on Semantic Wed mechanisms, such as ontologies in OWL and rule in SWRL.

[1]  Dean Allemang,et al.  The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings , 2006, SEMWEB.

[2]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[3]  Volker Haarslev,et al.  An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics , 1999, Description Logics.

[4]  Michael J. Maher,et al.  On the analysis of regulations using defeasible rules , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[5]  William J. Clancey,et al.  Toward an Ontology of Regulation: Socially-Based Support for Coordination in Human and Machine Joint Activity , 2006, ESAW.

[6]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[7]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[8]  I. Horrocks,et al.  The Instance Store: DL Reasoning with Large Numbers of Individuals , 2004, Description Logics.

[9]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[10]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[11]  Ian Horrocks,et al.  Decidability of SHIQ with Complex Role Inclusion Axioms , 2003, IJCAI.

[12]  Ian Horrocks,et al.  Position paper: a comparison of two modelling paradigms in the Semantic Web , 2006, WWW '06.

[13]  Jos de Bruijn,et al.  OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web , 2005, WWW '05.

[14]  J. van Leeuwen,et al.  Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.

[15]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[16]  François Fages,et al.  Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings , 2005, PPSWR.

[17]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[18]  Boris Motik,et al.  Can OWL and Logic Programming Live Together Happily Ever After? , 2006, International Semantic Web Conference.

[19]  Witold Abramowicz.  Business Information Systems Workshops , 2013, Lecture Notes in Business Information Processing.

[20]  Rinke Hoekstra,et al.  The LKIF Core Ontology of Basic Legal Concepts , 2007, LOAIT.

[21]  Javier Vázquez-Salceda,et al.  From human regulations to regulated software agents’ behavior , 2008, Artificial Intelligence and Law.

[22]  Riccardo Rosati,et al.  Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules , 2005, PPSWR.

[23]  Ian Horrocks,et al.  The Instance Store: Description Logic Reasoning with Large Numbers of Individuals , 2004 .

[24]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[25]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[26]  Robert Stevens.  Ontology Web Language (OWL) , 2004 .

[27]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[28]  Kewen Wang,et al.  Combining Description Logic and Defeasible Logic for the Semantic Web , 2004, RuleML.

[29]  Benjamin N. Grosof,et al.  Combining Rules and Ontologies . A survey . , 2005 .