crowd: A Tool for Conceptual Modelling assisted by Automated Reasoning

There is an increment on the complexity of the information systems derived from new paradigms, for example Semantic Web, Big Data, e-government, etc. which require high quality solutions to tackle complex problems such as information integration. This quality is widely determined by the conceptual level. In this work, we present crowd as a novel tool for designing both conceptual models and ontologies based on visual representations with assistance of logic-based reasoning services. The challenge and the intention behind this work is to define graphicallogical methodologies as effective solutions for the description of interest domains at conceptual level. We detail the tool and demonstrate the usage of an initial prototype with some simple examples. Moreover, we identify limitations and potential issues about modelling and propose some partial solutions to tackle them. Currently, we are working to release the first beta version of crowd.

[1]  Germán Alejandro Braun,et al.  Extension Rules for Ontology Evolution within a Conceptual Modelling Tool , 2015, SAOA@JAIIO.

[2]  Dmitry Mouromtsev,et al.  The Simple Web-based Tool for Visualization and Sharing of Semantic Data and Ontologies , 2015, International Semantic Web Conference.

[3]  Colin Ware,et al.  Information Visualization: Perception for Design , 2000 .

[4]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[5]  Renars Liepins,et al.  Advanced OWL 2.0 Ontology Visualization in OWLGrEd , 2012, DB&IS.

[6]  Paul Zikopoulos,et al.  Understanding Big Data: Analytics for Enterprise Class Hadoop and Streaming Data , 2011 .

[7]  Csongor Nyulas,et al.  WebProtégé: A collaborative ontology editor and knowledge acquisition tool for the Web , 2013, Semantic Web.

[8]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

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

[10]  Diego Calvanese,et al.  Description Logic Framework for Information Integration , 1998, KR.

[11]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[12]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[13]  Pablo R. Fillottrani,et al.  Integrating Graphical Support with Reasoning in a Methodology for Ontology Evolution , 2015, JOWO@IJCAI.

[14]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[15]  Kent L. Beck,et al.  Test-driven Development - by example , 2002, The Addison-Wesley signature series.

[16]  Sergio Tessaris,et al.  The ICOM 3.0 intelligent conceptual modelling tool and methodology , 2012, Semantic Web.

[17]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[18]  Terry A. Halpin,et al.  The NORMA Software Tool for ORM 2 , 2010, CAiSE Forum.

[19]  Steffen Lohmann,et al.  The ProtégéVOWL Plugin: Ontology Visualization for Everyone , 2014, ESWC.

[20]  Martin Gogolla,et al.  An Extended Entity-Relationship Model: Fundamentals and Pragmatics , 1994 .

[21]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[22]  Domenico Lembo,et al.  Graphol: Ontology Representation through Diagrams , 2014, Description Logics.

[23]  Peter Haase,et al.  The NeOn Ontology Engineering Toolkit , 2008, WWW 2008.

[24]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[25]  Pablo R. Fillottrani,et al.  An ontology-driven unifying metamodel of UML Class Diagrams, EER, and ORM2 , 2015, Data Knowl. Eng..

[26]  Diego Calvanese,et al.  Information integration: conceptual modeling and reasoning support , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).