Ernesto Jimenez-Ruiz | 23 Mar 20:20 2015
Picon

[CfP] 4th OWL Reasoner Evaluation (ORE) Workshop (with DL 2015) - 2nd call

[Apologies for cross-posting]

-----------------------------------------------------------------------------------------------------
                          CALL FOR PAPERS, SYSTEMS & ONTOLOGIES
                     4th OWL Reasoner Evaluation Workshop (ORE 2015)
           Collocated with the 28th International Workshop on Description Logics
                 June 6, 2015 - Athens, Greece
                 https://www.w3.org/community/owled/ore-2015-workshop/
-----------------------------------------------------------------------------------------------------



OBJECTIVES
--------------------------------------------------------------------------
The goal of this workshop is to bring together both the DEVELOPERS and END-USERS of reasoners for (subsets of) OWL 2, including systems focusing on both intensional (ontology) and extensional (data) query answering. The workshop will give developers a perfect opportunity to promote their systems.


CALL FOR PAPERS
--------------------------------------------------------------------------

We invite submission of papers describing:

    * The architecture, implementation, and expected performance of the reasoner.

    * Reasoner implementation details, usage reports, implementation "tips and tricks".

    * Challenging ontologies and/or benchmark proposals for OWL reasoners.

Papers should be formatted according to the Springer LNCS guidelines (http://www.springer.de/comp/lncs/authors.html) and should not be longer than 6 pages (excluding references).

Submissions must be in PDF through the EasyChair conference system: https://www.easychair.org/conferences/?conf=ore2015

All submissions will be peer-reviewed by the program committee. Selected papers will be presented during the workshop and published as a volume of CEUR workshop proceedings (http://ceur-ws.org/).



CALL FOR SYSTEMS
--------------------------------------------------------------------------

We invite reasoner developers to submit their systems for participation in the 2015 OWL reasoner competition. The preliminary outline for the competition is as follows:

    * The test sets will include OWL ontologies from all OWL 2 profiles and of varying sizes, from a large corpus of ontologies (including ontologies from the NCBO BioPortal, a web crawl, and user-submitted ontologies).
    * The tested tasks will include consistency checking, classification, entailment checking, and query answering.
    * Developers will send a JAR file of their systems to the competition organizers who will then carry out the benchmarks.

More details will be published soon. Information about last year's competition can be found on the ORE 2014 website: http://www.easychair.org/smart-program/VSL2014/ORE-competition.html

In addition to the system submissions, reasoner developers are invited to submit a short paper describing their system. See the above instructions for paper submissions.

Please, submit your system to ore2015 [at] easychair [dot] org by May 1, 2015.


CALL FOR ONTOLOGIES
--------------------------------------------------------------------------

We invite ontology developers to submit ontologies which they believe pose a challenge performance-wise for current OWL reasoners to handle. These ontologies will be included in our ontology corpus, and additionally will have a separate analysis in the competition proceedings.

In addition to the ontology submissions, ontology developers are invited to submit a short paper describing their ontology. See the above instructions for paper submissions.

Please, submit your ontology to ore2015 [at] easychair [dot] org by May 1, 2015.


IMPORTANT DATES
--------------------------------------------------------------------------

    * Paper submission deadline: April 10, 2015
    * Notification of acceptance: May 1, 2015
    * System/ontology submission (for competition): May 1, 2015
    * Workshop:  June 6, 2015
    * Competition: June 7-10, 2015 (TBC)



ORGANISATION
--------------------------------------------------------------------------

For enquiries, please contact the organisers at ore2015 [at] easychair [dot] org

Organisers, PC chairs

    * Michel Dumontier, Stanford University, USA
    * Birte Glimm, Ulm University, Germany   
    * Rafael Gonçalves, Stanford University, US
    * Matthew Horridge, Stanford University, US
    * Ernesto Jiménez-Ruiz, University of Oxford, UK
    * Nicolas Matentzoglu, University of Manchester, UK
    * Bijan Parsia, University of Manchester, UK
   
Local Organizers

    * Giorgos Stamou, National Technical University of Athens, Greece
    * Giorgos Stoilos, National Technical University of Athens, Greece


Program committee

    * Ana Armas, University of Oxford, UK
    * Franz Baader, TU Dresden, Germany
    * Claudia D'Amato, Università degli Studi di Bari, Italy
    * Christine Golbreich, University of Montpellier, France
    * Yevgeny Kazakov, Ulm University, Germany
    * Evgeny Kharlamov,  University of Oxford, UK
    * Pavel Klinov, Ulm University, Germany
    * Ilianna Kollia, National Technical University of Athens, Greece
    * Markus Krötzsch, Technical University of Dresden, Germany
    * Despoina Magka, Yahoo!, UK
    * Francisco Martin-Recuerda, Universidad Politécnica de Madrid, Spain
    * Christian Meilicke, University of Mannheim, Germany
    * Julian Mendez, TU Dresden, Germany
    * Catia Pesquita, University of Lisbon, Portugal
    * Maria del Mar Roldán García, Universidad de Malaga, Spain
    * Jörg Schönfisch, Softplant GmbH, Germany
    * Floriano Scioscia, Technical University of Bari, Italy
    * Alessandro Solimando, University of Genoa, Italy
    * Weihong Song, University of New Brunswick, Canada
    * Kavitha Srinivas, IBM Research, USA
    * Andreas Steigmiller, Ulm University, Germany
    * Valentina Tamma, University of Liverpool, UK
    * Dmitry Tsarkov, University of Manchester, UK
    * Zhe Wang, Griffith University, Australia
    * Dmitriy Zheleznyakov, University of Oxford, UK





--
Ernesto Jiménez-Ruiz
Research Assistant
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road, Oxford OX1 3QD, UK

http://krono.act.uji.es/people/Ernesto
http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/


Leila Bayoudhi | 22 Mar 22:22 2015
Picon

Re: Integrity constraints for OWL 2 / OWL 2 DL

Hi,
thx for you answer. I think that the author of the cited paper means simply syntacticatical rules. Doesn't he? In fact, he calls them " validity rules" in his another  paper. Here are:
 Is my thought correct? If I am correct, I want to know the corresponding ones in OWL 2 (ARE THEY THE SUBJECT OF THE STRUCTURAL SPECIFICATION) or are there other ones?
Thank you in advance for your help.



Le Dimanche 22 mars 2015 21h42, Uli Sattler <Ulrike.Sattler-m7QheJJv02N4oUbgFh0ZNQ@public.gmane.org> a écrit :


Hi Leila, 

there have been various extensions of owl with integrity constraints, but owl itself doesn't have a mechanism for integrity constraints. what do you want them for? Also, there are certain syntax restrictions for owl 2 direct semantics - don't confuse these with integrity constraints! 

Cheers, Uli

On 22 Mar 2015, at 17:17, Leila Bayoudhi <bayoudhileila-Qt13gs6zZMY@public.gmane.org> wrote:

Hi, 
Please I want to check whether are there corresponding integrity constraints for OWL 2/ OWL 2DL as those those defined in table 4 p 19 in [1] (which define them for RDF/S ? Are they the ones defined in [2]  for OWL 2? Are THEY the ones defined in [3] for OWL 2 DL?
What I look for is to some integrity constraints for OWL 2 and/or OWL 2DL such the ones defined in the cited paper?
Thanks for your help.

[1] Giorgos Flouris · George Konstantinidis ·Grigoris Antoniou · Vassilis Christophides Formal foundations for RDF/S KB evolution
 


Leila Bayoudhi | 22 Mar 18:14 2015
Picon

Integrity constraints for OWL 2 / OWL 2 DL

Hi, 
Please I want to check whether are there corresponding integrity constraints for OWL 2/ OWL 2DL as those those defined in table 4 p 19 in [1] (which define them for RDF/S ? Are they the ones defined in [2]  for OWL 2? Are THEY the ones defined in [3] for OWL 2 DL?
What I look for is to some integrity constraints for OWL 2 and/or OWL 2DL such the ones defined in the cited paper?
Thanks for your help.

[1] Giorgos Flouris · George Konstantinidis ·Grigoris Antoniou · Vassilis Christophides Formal foundations for RDF/S KB evolution
[2]  http://www.w3.org/TR/owl2-syntax/
 
Amedeo Napoli | 17 Mar 15:15 2015
Picon

CFP FCA4AI Workshop at IJCAI 2015 ``What can FCA do for Artificial Intelligence?'' (4th Edition)

-------------------------------------------------------------------------------------------------------------------
                                           Call for Papers
-------------------------------------------------------------------------------------------------------------------

                                       -- FCA4AI (Fourth Edition) --
                           ``What can FCA do for Artificial Intelligence?''
                             co-located with IJCAI 2015, Buenos Aires, Argentina
                                        25 July-1 August 2015
                                      http://www.fca4ai.hse.ru/2015


-------------------------------------------------------------------------------------------------------------------

General Information.

The preceding editions of the FCA4AI Workshop (ECAI 2014 Prague, IJCAI 2013 Beijing, and ECAI 2012 Montpellier) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-1257/, http://ceur-ws.org/Vol-1058/, and http://ceur-ws.org/Vol-939/).
This year, we have the chance to organize a new edition of the workshop in Buenos Aires at the IJCAI 2015 Conference.

Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI.

Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA.

Accordingly, in this workshop, we will be interested in two main issues:

- How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning),
  learning (clustering, pattern and data mining), natural language
  processing, information retrieval.
- How can FCA be extended in order to help AI researchers to solve new
  and complex problems in their domain.

The workshop is dedicated to discuss such issues.

TOPICS OF INTEREST include but are not limited to:

- Concept lattices and related structures: description logics, pattern structures, relational structures.
- Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering.
- Knowledge engineering and ontology engineering: knowledge representation and reasoning.
- Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data).
- Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition.

The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented.

IMPORTANT DATES:

    Submission deadline: April 26, 2015
Notification to authors: June 15, 2015
          Final version: July 1st, 2015
               Workshop: July 25 or 26, 2015 (to be confirmed)


SUBMISSION DETAILS:

The workshop welcomes submissions in pdf format in Springer's LNCS style.
Submissions can be:
- technical papers not exceeding 8 pages,
- system descriptions or position papers on work in progress not
  exceeding 4 pages

Submissions are via EasyChair at
https://www.easychair.org/conferences/?conf=fca4ai2015 (to be opened soon)

The workshop proceedings will be published as CEUR proceedings.
A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal.

WORKSHOP CHAIRS:

  Sergei O. Kuznetsov    Higher Schools of Economics, Moscow, Russia
  Amedeo Napoli        LORIA-INRIA, Vandoeuvre les Nancy, France
  Sebastian Rudolph    Technische Universitaet Dresden, Germany

PROGRAM COMMITTEE (in constitution)

-------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

Pavel Klinov | 16 Mar 11:08 2015
Picon

[ANN] 1st Cfp: Knowledge Engineering and Semantic Web Conference, KESW-2015 (Moscow, Russia, September 30 - October 2, 2015)

Please forward to interested parties

http://2015.kesw.ru/

6th International Conference on Knowledge Engineering and Semantic Web
(KESW) is an international event dedicated to discussing research
results and directions in the areas related to Linked Data, knowledge
representation and reasoning, and semantic technologies. Its aim is to
bring together researchers, practitioners, and educators, in
particular from the regions often underrepresented at the major ISWC
and ESWC conferences (e.g., Eastern and Northern Europe, ex-USSR, and
the Middle East) to present and share ideas related to the Semantic
Web, and popularize the area in these regions.

Moscow, Russia
September 30, 2015 -- October 2, 2015

As usual, all technical sessions (keynotes, paper presentations,
posters, etc.) will be held in English.

RESEARCH AND INDUSTRY TRACK

For the research track we welcome novel papers addressing theoretical,
applied, and empirical aspects of research. Topics of interest include
but are not limited to:

Ontologies and controlled vocabularies

* Logical and philosophical foundations of ontology management
* Merging and alignment
* Modularity, collaborative engineering and exchange
* Using ontologies for modeling scientific knowledge

Linked Data

* Publishing and integrating
* Querying and consuming
* Linked Open Data

Natural language processing and Semantic Web

* Information extraction and content analysis
* Document clustering and classification
* Opinion mining and sentiment analysis
* Semantic-based information retrieval
* Controlled natural languages

Knowledge representation and reasoning

* Knowledge acquisition and management
* Knowledge graphs
* Theory of automated reasoning
* Practical algorithms and optimizations

Databases for Semantic Web

* RDF and other NoSQL databases for managing Linked Data
* Ontologies and databases
* Data integration
* Query answering

Semantic technologies in industry

* Reports on experience of using semantic technologies in industry
* Challenges of practical deployments

Other Topics (not limited to)
* Cognitive aspects of semantic technologies
* Human Computer Interaction
* Semantic Social Web
* Trust, security, and privacy
* Knowledge and data visualization

OPEN SCIENCE AND EDUCATION TRACK

This year we welcome papers concerned with providing or exploiting
open access to scientific and educational resources. Contributions
which explain how semantic technologies facilitate these tasks are
especially solicited but this is not a strict requirement. Topics
include:

Semantic Web and education
* Opening and linking educational data
* Ontology models and semantic standards for educational data
* Visual analytics for educational resources represented using
semantic technologies
* Teaching semantic technologies
* System descriptions and best practices in linked learning

Open Science
* Open Access to Scientific Publications
* Open Scientific Data
* Infrastructure for Open Scientific Data
* Open Research Methodology

SYSTEM DESCRIPTIONS

We invite submissions which describe architecture, design,
implementation, or experiments with existing systems which use
semantic technologies. Preliminary reports describing research
prototypes are welcome, too. The papers should explain how the use of
semantic technologies helps to solve specific problems and/or is
beneficial for the users. The authors will be given an opportunity to
demonstrate their system during the poster and demo session at the
conference.

POSTERS AND POSITION PAPERS

In addition to oral paper presentations KESW 2015 encourages other
forms of contributing to the conference, in particular, posters and
position papers.

Posters is an opportunity to informally present your research approach
and results during the poster session of the conference. It is great
for discussing your research in free form with all attendants of the
session. Lots of people will be stopping by your poster and you will
have a chance to talk to them, explain what you are doing, and get
feedback. Of course, the number of people who will stop depends on how
well you design your poster!

Position papers are means of presenting preliminary research ideas or
proposals. They are particularly suitable for early stage PhD students
who would like to discuss their ideas and get feedback before they go
deep developing them.

Submissions for both categories need to be 2 page abstracts describing
the method and the results (for posters) or the preliminary ideas
(position papers). Selected poster and position paper submissions will
be allocated a short 5 minute talk slots during the conference.

SUBMISSION

All authors will be required to pre-submit abstracts of their papers.
Both papers and abstracts should be submitted via EasyChair:

https://easychair.org/conferences/?conf=kesw2015.

Size restrictions

* Research, industry, and educational tracks: 15 pages including references.
* System description papers: 10 pages including references.
* Posters: 2 page abstract.

We strongly encourage all authors to prepare their submissions
according to the Springer LNCS format:

http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0

IMPORTANT DATES

Full papers and system descriptions
* Abstract submission: May 4, 2015
* Full paper submission: May 10, 2015
* Author notification: June 21, 2015
* Camera-ready submission: July 4, 2015

Posters and position papers

* Abstract submission: TBD
* Author notification: TBD

PROCEEDINGS

KESW proceedings are traditionally published in Springer's
Communications in Computer and Information Science (CCIS) series. The
papers will be abstracted/indexed by DBLP, Google Scholar,
EI-Compendex, Mathematical Reviews, SCImago, and Scopus.

ORGANIZATION

General Chair: Dmitry Mouromtsev, ITMO University, St. Petersburg, Russia
Program Chair: Pavel Klinov, University of Ulm, Germany
Open Science and Education Chair: Irina Radchenko, ITMO University,
St. Petersburg, Russia
Publicity Chair: Maxim Kolchin, ITMO University, St. Petersburg, Russia

Oliver Kutz | 13 Mar 10:50 2015

2nd CfP: Joint Ontology Workshops (JOWO), IJCAI-15, Buenos Aires

==========================================
Joint Ontology Workshops (JOWO-15)
-- Episode 1: The Argentine Winter --
Buenos Aires, Argentina, July 25-31, 2015
 in conjunction with IJCAI 2015
      http://iaoa.org/jowo

  --- Second Call for Papers ---

==========================================
Submission deadline: April 27, 2015
==========================================
This first edition of the Joint Ontology Workshops (JOWO-15) combines 
four exciting ontology-centered workshops at IJCAI-15. Together with 
ontology work presented at IJCAI itself, we will transform Buenos Aires 
for a week into the largest venue for ontology research of the year.

JOWO-15 is supported by the International Association for Ontology and 
its Applications - IAOA. It will feature a series of (shared) invited 
talks, paper presentations, and discussions spread across four 
independent full-day workshops run over a period of three days:

==================================
Workshop on Formal Ontologies for Artificial Intelligence (FOfAI)
==================================
http://www.loa.istc.cnr.it/fofai
chairs: Stefano Borgo, Oliver Kutz, and Daniele Porello

FOfAI aims to establish a venue for researchers in AI with a strong 
interest in applied ontology. In particular, we aim to foster an 
interdisciplinary discussion and cross-fertilization among a number of 
communities by proposing a venue to exchange foundational, 
methodological, and applicative perspectives. The workshop thus 
encourages submission of articles on both theoretical, computational, 
and linguistic issues in the use of ontologies in AI as well as the 
concrete use of non-trivial ontologies in AI systems and applications.
FOfAI is generously sponsored by the Association for Logic, Language and 
Information - FoLLI.

==================================
9th Int. Workshop on Modular Ontologies (WoMO 2015)
==================================
http://www.ccs.neu.edu/home/kenb/womo2015/
chairs: Kenneth Baclawski, Torsten Hahmann, Pavel Klinov, Adila Krisnadhi

This workshop brings together researchers from all subareas of AI and 
from related disciplines and application domains to discuss latest and 
current work on theoretical and practical aspects of modularity in 
ontologies. Topics include modularity as enabling technology for 
knowledge repositories and collaborative knowledge development 
environments and as a tool for reducing the complexity of designing and 
understanding ontologies, and to facilitating ontology verification, 
reasoning, maintenance and integration.

==================================
1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies 
and Databases
==================================
https://ontochange.wordpress.com/
chairs: Eduardo FermÈ, Thomas Meyer and Renata Wassermann

This workshop will bring together researchers working in the areas of 
logic-based ontologies, belief change, and database systems, along with 
researchers working in relevant areas in non-monotonic reasoning, 
commonsense reasoning, and paraconsistent reasoning. Hence the workshop 
will facilitate discussions on the application of existing work in 
belief change, non-monotonic reasoning, commonsense reasoning, and 
related areas on the one hand, to logic-based ontologies and databases 
on the other.

==================================
Ontologies and logic programming for query answering
==================================
http://ontolp.lsis.org/
chairs: Odile Papini, Marie-Laure Mugnier, Laurent Garcia, Salem Benferhat

The aim of this workshop is to bridge knowledge representation and 
reasoning in artificial intelligence and web of knowledge communities in 
order to encourage the emergence of new solutions for reasoning with 
lightweight ontologies. Particular topics include query answering while 
taking ontologies into account and
non-monotonic reasoning for inconsistency handling and exception 
handling and expressing default negations in ontologies, with a special 
interest in logic programming for implementations.

IMPORTANT DATES

Paper Submission:  April 27, 2015
Notification:  May 20, 2015
Camera ready: May 30, 2015
Workshop: July, 2015

SUBMISSION GUIDELINES

Please refer to the individual workshops for detailed lists of topics 
appropriate for each workshop.
Submissions can be long papers (up to 8 pages) or short papers (up to 4 
pages), formatted using the AAAI style (available from 
http://www.aaai.org/Publications/Author/author.php), submitted in PDF 
format no later than the submission deadline.
All submission are handled through Easychair. Use 
http://www.easychair.org/conferences/?conf=jowo15 for submissions to any 
of the first three workshops, and select the track that corresponds to 
the workshop most appropriate for your work. For the last workshop 
''Ontologies and logic programming for query answering'', submissions 
are handled separately through 
https://easychair.org/conferences/?conf=ontolp2015
All submissions will be peer-reviewed by members of the program 
committee of the individual workshops. Accepted papers will be made 
available in the form of a joint workshop proceedings. For additional 
publication plans check the individual workshops.

Simon Spero | 11 Mar 17:30 2015
Picon

Pretty printing OWL FSS : request for preferences and samples

I've been doing a little work on improving parts of the OWLAPI rendering code in order to render things in order (this makes a huge difference for VCS).

Now that this seems to be behaving, I'm feeling motivated to fix something that I've meant to poke at for a long time; the way that OWLAPI FSS renderers every axiom on a single line[1].

Whenever I need to format an even moderately complicated line says, I end up copying it in to an emacs buffer, and inserting line breaks and indentation by hand. 

Sometimes this  layout is formatting  for a \verbatim or a slide. These cases are  driven by space and aesthetic concerns, and are generally  hand tweaked anyway.

Generally I'm doing this to try and figure out what the difference is between two similar looking blobs of text (like a c-diff). This is a good fit with the needs of a VCS.

There are a number of issues to consider when rendering. Some of this is a tension between minimizing the size of line diffs and minimizing the use of vertical space.

For example:

* Should there always be a line break after an axiom annotation? What about after an annotation annotation+

* For axioms like EquivalentClasses, if all the class expressions will fit on a single line should they be rendered in a single line?

* If any expressions are too long to fit the target width, should all expressions be followed by a line break?

* If an axiom or expression is split over multiple lines, should closing parentheses be on their own line, like C/Java braces, or should they be grouped together, lisp-style?

* the closing parenthesis for "Ontology(" traditionally appears on a line by itself. This seems to be a special case; are there other cases where this is idiomatic?

The examples in the OWL 2 syntax specification are not uniform.

Does anybody have strong preferences? Otherwise I am likely  to err on the side of using more line breaks sake of simplicity.

Simon

[1] Except for literals that contain newlines.

Ernesto Jimenez-Ruiz | 11 Mar 12:36 2015
Picon

[CfP] 4th OWL Reasoner Evaluation (ORE) Workshop (with DL 2015)

[Apologies for cross-posting]

-----------------------------------------------------------------------------------------------------
                          CALL FOR PAPERS, SYSTEMS & ONTOLOGIES
                     4th OWL Reasoner Evaluation Workshop (ORE 2015)
           Collocated with the 28th International Workshop on Description Logics
                                June 6, 2015 - Athens, Greece
                 https://www.w3.org/community/owled/ore-2015-workshop/
-----------------------------------------------------------------------------------------------------



OBJECTIVES
--------------------------------------------------------------------------
The goal of this workshop is to bring together both the DEVELOPERS and END-USERS of reasoners for (subsets of) OWL 2, including systems focusing on both intensional (ontology) and extensional (data) query answering. The workshop will give developers a perfect opportunity to promote their systems.


CALL FOR PAPERS
--------------------------------------------------------------------------

We invite submission of papers describing:

    * The architecture, implementation, and expected performance of the reasoner.

    * Reasoner implementation details, usage reports, implementation "tips and tricks".

    * Challenging ontologies and/or benchmark proposals for OWL reasoners.

Papers should be formatted according to the Springer LNCS guidelines (http://www.springer.de/comp/lncs/authors.html) and should not be longer than 6 pages (excluding references).

Submissions must be in PDF through the EasyChair conference system: https://www.easychair.org/conferences/?conf=ore2015

All submissions will be peer-reviewed by the program committee. Selected papers will be presented during the workshop and published as a volume of CEUR workshop proceedings (http://ceur-ws.org/).



CALL FOR SYSTEMS
--------------------------------------------------------------------------

We invite reasoner developers to submit their systems for participation in the 2015 OWL reasoner competition. The preliminary outline for the competition is as follows:

    * The test sets will include OWL ontologies from all OWL 2 profiles and of varying sizes, from a large corpus of ontologies (including ontologies from the NCBO BioPortal, a web crawl, and user-submitted ontologies).
    * The tested tasks will include consistency checking, classification, entailment checking, and query answering.
    * Developers will send a JAR file of their systems to the competition organizers who will then carry out the benchmarks.

More details will be published soon. Information about last year's competition can be found on the ORE 2014 website: http://www.easychair.org/smart-program/VSL2014/ORE-competition.html

In addition to the system submissions, reasoner developers are invited to submit a short paper describing their system. See the above instructions for paper submissions.


CALL FOR ONTOLOGIES
--------------------------------------------------------------------------

We invite ontology developers to submit ontologies which they believe pose a challenge performance-wise for current OWL reasoners to handle. These ontologies will be included in our ontology corpus, and additionally will have a separate analysis in the competition proceedings.

In addition to the ontology submissions, ontology developers are invited to submit a short paper describing their ontology. See the above instructions for paper submissions.



IMPORTANT DATES
--------------------------------------------------------------------------

    * Paper submission deadline: April 10, 2015
    * Notification of acceptance: May 1, 2015
    * System submission (for competition): May 1, 2015
    * Workshop:  June 6, 2015
    * Competition: June 7-10, 2015 (TBC)



ORGANISATION
--------------------------------------------------------------------------

For enquiries, please contact the organisers at ore2015-bC77Qfv0vuxrovVCs/uTlw@public.gmane.org

Organisers, PC chairs

    * Michel Dumontier, Stanford University, USA
    * Birte Glimm, Ulm University, Germany   
    * Rafael Gonçalves, Stanford University, US
    * Matthew Horridge, Stanford University, US
    * Ernesto Jiménez-Ruiz, University of Oxford, UK
    * Nicolas Matentzoglu, University of Manchester, UK
    * Bijan Parsia, University of Manchester, UK
   

Program committee (to be extended)

    * Ana Armas, University of Oxford, UK
    * Floriano Scioscia, Technical University of Bari, Italy
    * Yevgeny Kazakov, Ulm University, Germany
    * Evgeny Kharlamov,  University of Oxford, UK
    * Pavel Klinov, Ulm University, Germany
    * Ilianna Kollia, National Technical University of Athens, Greece
    * Despoina Magka, Yahoo!, UK
    * Julian Mendez, TU Dresden, Germany
    * Catia Pesquita, University of Lisbon, Portugal
    * Maria del Mar Roldán García, Universidad de Malaga, Spain   
    * Alessandro Solimando, University of Genoa, Italy
    * Kavitha Srinivas, IBM Research, USA
    * Andreas Steigmiller, Ulm University, Germany
    * Dmitry Tsarkov, University of Manchester, UK
    * Dmitriy Zheleznyakov, University of Oxford, UK



--
Ernesto Jiménez-Ruiz
Research Assistant
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road, Oxford OX1 3QD, UK

http://krono.act.uji.es/people/Ernesto
http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/


Leila Bayoudhi | 10 Mar 01:43 2015
Picon

Is it a redundancy? Indetected inconsistency?

Hi,
Having already:
subClassOf(person animal)
DisjointClasses(woman animal )
DisjointClasses(man animal)

We want to introduce subClassOf (person ObjectUnionOf(woman man)
This may introduce inconsistency.
So, we choose as a solution to  introduce a subClassOf (person ObjectUnionOf(animal ObjectUnionOf(woman man)).
According to protegé, the ontology is no longer inconsistent. However, it seems as if the ontologist wants at the end to say that:
subClassOf (person ObjectUnionOf(woman man): Is it correct what i am saying?
If it is not: is it problem of my proposed solution for maintaining consistency?
Am I introducing redundant axioms(though OWL 2 DOES NOT care for this, I care).

Thx for answering me those questions?


Adrian Paschke | 9 Mar 19:46 2015
Picon
Picon

CfP: 7th Workshop on Formal Ontologies meet Industry (FOMI 2015)

Call for Papers

7th Workshop on Formal Ontologies meet Industry (FOMI 2015) 

========================================================================
5. August 2015, Freie Universitaet Berlin, Berlin, Germany

http://www.csw.inf.fu-berlin.de/fomi2015/

co-located with RuleML 2015 

FOMI is an international forum where academic researchers and industrial
practitioners meet to analyse and discuss application issues related to
methods, theories, tools and applications based on formal ontologies. Today
there is wide agreement that knowledge modelling and the semantic dimension
of information plays an increasingly central role in the networked economy:
semantic-based applications aim to provide a framework for information and
knowledge sharing, reliable information exchange, meaning negotiation and
coordination between distinct organizations or among members of the same
organization. Often, theoretical ideas seem very promising but their actual
implementation brings up unexpected problems and issues. The FOMI 2015
Workshop aims to discuss problems, solutions, perspectives and research
directions for both researchers and practitioners. We welcome papers or
project descriptions that are aimed at applying formal ontologies in
industry. In particular:

- theoretical studies on formal ontologies committed to provide sound bases
for industrial applications and to allow formal representation of corporate
knowledge;
- business experiences on case studies that single out concrete problems and
possible solutions; the experience analysis should provide useful insights
on social or strategic aspects that might be relevant in the creation and
deployment of formal ontologies as well as useful criteria or methods to
evaluate ontologies and their effectiveness in applications.

Conference Topics
-----------------

The following is not an exhaustive list.

Problems in ontology application:

- practical issues in using ontologies in the enterprise -real cases of
successful/unsuccessful use of ontology in business
- from legacy systems to the new ontology-driven systems
- ontology evaluation
- ontology for learning organizations
- ontology for business processes and practices
- enterprise modeling and business models
- ontology for service science and service values 

Ontology and knowledge management:

- ontology and ontological methodologies in knowledge management
- adaptation of ontologies for companies and organizations
- ontology interoperability
- ontology development and change within organizations
- ontology effectiveness and evaluation
- ontology-driven representation of products, services, functionalities,
design, processes
- ontologies for the know-how
- ontologies for corporate knowledge
- linguistic representation in organizational knowledge
- ontology based content creation

Ontology in practice:

- ontologies for electronic catalogues, e-commerce, e-government
- ontologies for marketing
- ontologies for finance
- ontologies for medical sciences
- ontologies for engineering
- ontologies for public administration
- copyright and privacy issues in ontology based systems

Submissions and important dates
--------------------------------

The papers should be submitted to EasyChair

Deadline for paper submissions: 13 April 2015 Notification of acceptance: 10
May, 2015 Camera ready submission: 25 May 2015
Workshop: 5 August 2015

Submission guidelines
---------------------

The proceedings will be published as a volume in Springer’s LNBIP series.
Submitted original papers written in English must not exceed 12 pages
(including the bibliography) and include an abstract of no more than 150
words.  Papers should be prepared in accordance with the “Information for
LNBIP Authors” guidelines found at http://www.springer.com/series/7911.
Papers must be submitted non-anonymously at Easychair
https://easychair.org/conferences/?conf=fomi2015. To ensure high quality,
submitted papers will be carefully peer-reviewed by 3 PC members based on
originality, significance, technical soundness, and clarity of exposition. 

Workshop Chairs
----------------

Roberta Cuel, University of Trento, Italy Bob Young, Loughborough
University, UK 

Program Committee
------------------

Francesco Bellomi, Creactives GmbH, Germany 
Stefano Borgo, ISTC-CNR Laboratory for Applied Ontology, Italy 
Matteo Cristani, University of Verona, Italy 
Soumaya El Kadiri, École Polytechnique Fédérale de Lausanne, Switzerland 
Roberta Ferrario ISTC-CNR Laboratory for Applied Ontology, Italy 
Nicola Guarino, ISTC-CNR Laboratory for Applied Ontology, Italy 
Michael Gruninger, University of Toronto, Canada 
Riichiro Mizoguchi, Research Center for Service Science, JAIST, Japan 
Alessandro Oltramari, CyLab, Carnegie Mellon University, Pittsburgh, USA 
Sonja Pajkovska-Goceva, Fraunhofer IPK, Berlin, Germany 
Adam Pease, IPsoft, San Francisco, USA 
Harald Sack, Hasso Plattner Institut, Potsdam, Germany 
Aleksandra Sojic, ITIA-CNR, Milan, Italy 
Walter Terkaj, ITIA-CNR, Milan, Italy 
Tania Tudorache, Stanford University, USA 
Hans Weigand, Tilburg School of Economics and Management, Netherlands 
Marco Zamarian, University of Trento, Italy  

Workshop Venue
--------------------------

The workshop is co-located with the 9th International Web Rule Symposium
(RuleML 2015) 
Freie Universität Berlin, Berlin, Germany
Website: http://2015.ruleml.org

Picon

FW: [CSCC 2015]: Special Session - Intelligent System and Applications - Invitation for the Program Committee

**Apologies for cross-posting**

************************************************************************************************

CFP: Intelligent Systems and Applications (ISA <at> CSCC’2015)
Special Session of the 19th International Conference on Circuits, Systems, Communications and Computers (CSCC 2015)
Zakynthos Island, Greece, July 16-20, 2015
Webpage: http://www.cscc.co/

 ***********************************************************************************************

IMPORTANT DATES

Deadline for paper submission: April, 7, 2015

Notification of paper acceptance: April, 25, 2015

Camera-ready papers due: May, 10, 2015

Conference dates: July, 16-20, 2015

 

IMPORTANT NEWS
- Proceedings will be indexed in ISI and SCOPUS while extended version of the accepted papers will be reviewed for publication in ISI, SCOPUS Journals and Springer Verlag Books (also indexed in ISI/Scopus)

 

INTRODUCTION

This workshop is focused on demonstrating how to take advantages of using Computer Intelligence, ensuring interoperability and security, overcoming local and temporal barriers in order to support the society needs and the development of innovative systems and applications.

ISA 2015 will bring together the researchers who are working in the area of Intelligent System. The cross-domain integration and appraisal of different fields related to Intelligent Systems and Applications provides an atmosphere to foster variety of perspectives and opinions.

 

TOPICS OF INTEREST

Innovative and exciting works are welcome in areas including but not limited to:

           Business Intelligence and Data Mining;

           Data and Knowledge Engineering;

           Data Security and Protection;

           Information Systems Integration & Interoperability;

           Intelligent Decision Support Systems;

           Intelligent System and Big Data;

           Intelligent Systems and Applications applied to society solutions (e.g. Healthcare, Finances, Education, Government);

           Intelligent Systems based in Artificial Intelligence;

           Intelligent Systems in the storage, update, and transmission of data;

           Knowledge discovery, extraction and reasoning;

           Life-styling solutions;

           Mobile and ubiquitous solutions;

           Multi-Agent Systems;

           Pervasive Intelligent Systems and applications;

           Semantic Interoperability;

           Sensor-based systems;

           Simulation Systems;

           Standards for interoperability 

PAPER SUBMISSION

All papers should be submitted in PDF format to idsistworkshops-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org. Submissions must be original and should not exceed six (6) pages in length. Authors must use this Word format cscc-format.doc  or this equivalent LaTeX format latex.cls, latex.tex. Each submission will be peer reviewed by at least two members of the Program Committee. The reviewing process is double blind.

 

All the Accepted Papers will be published in CD-ROM Proceedings and in various Books (Hard-Copies). Like in Previous Years', the CD-ROM Proceedings and Books (hard copy) will be indexed in ISI (Thomson Reuters), SCOPUS (ELSEVIER), Inspec - The IET, EI Compendex, ACM, Zentralblatt MATH, British Library, EBSCO, SWETS, EMBASE, CAS - American Chemical Society, Engineering Village, DoPP, GEOBASE, Biobase, TIB|UB - German National Library of Science and Technology, American Mathematical Society (AMS), Ulrich's International Periodicals Directory, Scholar Google.

Extended Versions of all the accepted Papers will appear in well-known and reputable international scientific journals (Indexed in SCOPUS, EI Compendex, AMS, ACS, CiteSeerX, Zentralblatt, British Library, EBSCO, SWETS, EMBASE, CAS, Scholar Google etc) and in ISI Indexed SPRINGER VERLAG Book

 

ORGANIZING COMMITTEE

José Machado, University of Minho, Algoritmi Research Centre, Portugal

Filipe Portela, University of Minho, Algoritmi Research Centre, Portugal

Manuel Filipe Santos, University of Minho, Algoritmi Research Centre, Portugal

António Abelha, University of Minho, Algoritmi Research Centre Portugal

Main contact: idsistworkshops-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org


Gmane