Simon Spero | 25 Aug 03:12 2015
Picon

Errors in OWL 2 Profiles specification (and bugs in OWLAPI & OWLAPI Tools profile validator)

The  investigation of some errors reported in the OWLAPI profile checkers (see owlapi issue #435) has revealed what appear to be some errors and ambiguities in the OWL 2 Profile Specification document. 

1. Defined Datatypes

 All three profiles use the phrase <profile>  "supports the following datatypes" 
The OWLAPI profile checkers have been interpreting this as exhaustive enumeration.  This is consonant with the corresponding text on data ranges.  

2.2.4 Data Ranges 
"A data range expression is restricted in OWL 2 EL to the predefined datatypes admitted in OWL 2 EL, intersections of data ranges, and to enumerations of literals consisting of a single literal."

3.2.4 Data Ranges
A data range expression is restricted in OWL 2 QL to the predefined datatypes and the intersection of data ranges.

4.2.4 Data Ranges
A data range expression is restricted in OWL 2 RL to the predefined datatypes admitted in OWL 2 RL and the intersection of data ranges.
 
However, all three profiles include the DatatypeDefinition axiom. Either this axiom can define Data Ranges which can never be referred to, or, if DataType is restricted to the pre-defined types, can only be used to illegally attempt to redefine one of those pre-defined types (such redefinition is not explicitly prohibited in the Structural Fun Syntax Spec; it's just not possible).  

It would seem that the clear intent behind allowing datatype definition axioms in the profiles would have been to permit the use of those definitions as data ranges where such use would be permitted in OWL 2 DL, and that sections [2-4].2.4 are in error. 

2. Irreflexive Property Axioms in OWL QL

In the overview of OWL QL features in  §3.1, OWL 2 QL is stated to support "reflexive properties (ReflexiveObjectProperty)" and  "irreflexive properties (IrreflexiveObjectProperty)". 

However in the detailed specifications of axioms in § 3.2.5 , IrreflexiveObjectProperty is omitted from the production for ObjectPropertyAxiom.  
This omission is repeated in the full OWL 2 QL grammar in §6.2. There is also no production  for IrreflexiveObjectProperty.

It is not immediately obvious why IrreflexiveObjectProperty would be problematic for QL (there is no transitivity or chains, and reflexivity is supported).  Is the omission from the grammar accidental? 

I am trying to figure out when this divergence happened; reflexivity is not mentioned at all in the OWL 1.1  Tractable Fragments submission, and the divergence is already present in the first  version of the Profile document to appear on the Wiki.

3.  OWLAPI bugs

DisjointClasses axioms were incorrectly flagged as violations of QL and RL. 
(This error had been spotted and fixed for EL in February 2015). 
 
I believe that these errors were introduced at the end of March 2014. 

Note: I believe that profile checkers are now over-generating (the elements in the class are not being checked to see if they are valid subclass expressions).  This will be fixed shortly. 

DisjointDataProperties, EquivalentDataProperties and  DataIntersectionOf were incorrectly flagged as  violations of RL. 

ReflexiveObjectProperty was incorrectly not flagged as a violation of RL. 

Ignazio Palmisano resolved the ambiguity in (2)  in favor of not flagging irreflexive properties as violations of QL by Executive Fiat .

No  action has been taken on issue 1. 


4. OWLAPI Tools bugs

(Not Addressed)

The issues with DisjointClasses are not present in the OWLAPITOOLS version of the profile checkers (These errors were introduced when the code was integrated into OWLAPI). 

The other issues list above were (and remain) present in the owlapitools code.  

Simon

Ivan José Varzinczak | 23 Aug 03:25 2015
Picon

Call for Papers KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning

                                CALL FOR PAPERS 

                                *** KR 2016 ***

                       15th International Conference on 
             Principles of Knowledge Representation and Reasoning

                           Cape Town, South Africa
                               25-29 April 2016

                            http://kr.org/KR2016/ 

Co-located with DL 2016 [http://www.dl.kr.org] and NMR 2016 [http://www.kr.org/NMR/]

KR 2016 IMPORTANT DATES 
----------------------- 
 *  Submission of title and abstract: 21 November 2015
 *  Paper submission deadline: 28 November 2015
 *  Notification of acceptance: 21 January 2016
 *  Camera-ready papers due: 19 February 2016
 *  Conference: 25-29 April 2016

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

Knowledge Representation and Reasoning (KRR) is an exciting, well-established 
field of research. In KRR a fundamental assumption is that an agent's 
knowledge is explicitly represented in a declarative form, suitable for 
processing by dedicated reasoning engines. This assumption, that much of
what an agent deals with is knowledge-based, is common in many modern 
intelligent systems. Consequently, KRR has contributed to the theory and 
practice of various areas in AI, such as automated planning and natural 
language understanding, among others, as well as to fields beyond AI, 
including databases, software engineering, the semantic web, computational 
biology, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation 
of progress in the theory and principles underlying the representation and 
computational management of knowledge.  We solicit papers presenting novel
results on the principles of KRR that clearly contribute to the formal 
foundations of relevant problems or show the applicability of results to 
implemented or implementable systems.

We welcome papers from other areas that show clear use of, or contributions 
to, the principles or practice of KRR.  We also encourage "reports from the 
field" of applications, experiments, developments, and tests. Such papers 
should be explicitly identified as reports from the field by the authors, to 
ensure appropriate reviewing, and must include a section on evaluation.

TOPICS 
------ 
Topics of interest include, but are not limited to: 
 *  Argumentation 
 *  Belief change: revision and update, belief merging, etc. 
 *  Commonsense reasoning 
 *  Contextual reasoning 
 *  Description logics 
 *  Diagnosis, abduction, explanation 
 *  Inconsistency- and exception- tolerant reasoning, paraconsistent logics 
 *  KR and autonomous agents: multi-agent systems, cognitive robotics, agent models 
 *  KR and data management, data analytics 
 *  KR and decision making, game theory, social choice 
 *  KR and machine learning, inductive logic programming, knowledge discovery and acquisition 
 *  KR and natural language processing 
 *  KR and the Web, Semantic Web 
 *  Logic programming, answer set programming, constraint logic programming 
 *  Nonmonotonic logics, default logics, conditional logics 
 *  Ontology formalisms and models 
 *  Philosophical foundations of KR 
 *  Preferences: modeling and representation, preference-based reasoning 
 *  Reasoning about action and change: action languages, situation calculus, causality 
 *  Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics 
 *  Reasoning systems and solvers, knowledge compilation 
 *  Spatial reasoning and temporal reasoning, qualitative reasoning 
 *  Uncertainty, representations of vagueness, many-valued and fuzzy logics 

SUBMISSION INFORMATION 

Submissions must be original, and should not have been previously published, 
accepted for publication, or currently be under review. Authors may not submit 
their paper elsewhere during the KR 2016 reviewing period. These considerations 
apply only to journals and conferences, and not to workshops and forums with a 
limited audience and without archival proceedings. In case of doubt, please 
contact the Program Chairs.

Papers must be submitted in AAAI style and PDF format. The maximum length of a 
submission is 9 pages including abstract, figures, and appendices (if any) but 
excluding references. Reviewing will be non-blind.

AAAI author instructions: 
http://www.aaai.org/Publications/Author/author.php

AAAI author kit: 
http://www.aaai.org/Publications/Templates/AuthorKit.zip

The conference proceedings will be published by AAAI Press. 

For complete details, see the 'Submission information' page at http://www.kr.org/KR2016 

CONFERENCE CHAIRS 
----------------- 
 *  General: Chitta Baral (Arizona State University, USA) 
 *  Program: James Delgrande (Simon Fraser University, Canada), Frank Wolter (University of Liverpool,
UK) 
 *  Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa) 
 *  Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) 
 *  Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio de Janeiro, Brazil) 

--
Ivan José Varzinczak
Department of Computer Science - Institute of Mathematics
Federal University of Rio de Janeiro, Brazil
Homepage: http://member.acm.org/~ijv

Tassilo Pellegrini | 21 Aug 11:25 2015
Picon

Call for Participation: SEMANTiCS 2015, 11th International Conference on Semantic Systems

== Apologies for Crossposting ==


Below you will find useful information and links about the program, our satellite events and registration opportunities for

 

SEMANTiCS 2015 -- 11th International Conference on Semantic Systems

15-17 September 2015, Vienna / Austria
http://www.semantics.cc/ // #semantics2015 // #semanticsconf

— Conference Scope ---
The annual SEMANTiCS conference is the meeting place for professionals who make semantic computing work, and understand its benefits and know its limitations. Every year, SEMANTiCS attracts information managers, IT-architects, software engineers, and researchers, from organisations ranging from NPOs, universities, public administrations to the largest companies in the world.



— Conference Program ---

The 2015 edition offers a rich program consisting of 5 keynotes, 24 scientific presentations, 30 industry talks, 38 posters and various workshops and social events. For details please visit our program page:

http://www.semantics.cc/programme



— Keynote Speakers ---

·         Jeanne Holms -- Chief Knowledge Architect at NASA

·         Peter Mika -- Director Semantic Lab at Yahoo

·         Oscar Orcho -- Associate Professor for Artifical Intelligence, Universidad de Madrid

·         Klaus Tochtermann -- Leibniz Information Center for Economics

·         Sam Rehman -- CTO at EPAM Systems

 

— Workshops  & Satellite Events ---

MeetUp: SMART DATA SOLUTIONS

An outlook into the world of data centric business, technologies and innovations: Data is everywhere these days and efficient data management is THE key factor for success in nearly all industries in the meantime. McKinsey lists data as a key factor for production alongside with labor and capital in one of their recent reports. Furthermore, Data is produced in huge amounts by sensors, social networks or mobile devices and the amounts of data available worldwide grow exponentially…

Place: Haus der Ingenieure, Eschenbachgasse 9, 1010 Wien
Date: 15.09.2015, Entrance: 18:30pm CET ; Start event: 19:30 - 22:30pm CET

 

2nd International Workshop on Geospatial Linked Data

In recent years, Semantic Web technologies have strengthened their position in the areas of data and knowledge management. Standards for organizing and querying semantic information, such as RDF(S) and SPARQL are adopted by large academic communities, while corporate vendors adopt semantic technologies to organize, expose, exchange and retrieve their datasets as Linked Data.

Chairs: Alejandra Garcia-Rojas M. (Ontos AG), Robert Isele or Rene Pietzsch, Jens Lehmann (AKSW, University of Leipzig)
Date: 15th of September 2015, 09.00 to 13.00 CEST


The SEMANTIC EXPERIENCE Coffee & Cocktail LOUNGE

Sponsored Event: Enjoy semantic technology inspiration in a relaxed atmosphere. Refresh yourself with Viennese coffee or a cocktail and get in touch with semantic industry experts.

Date: 15th of September 2015, 15.45 to 18.00 CEST
Room: LC Club Room

 

Linked Data in Industry 4.0

The overall goal of the workshop is to identify challenges and limitations from the manufacturing engineering industry in the scope of the mentioned design principles, and bring them together with experts and solution approaches from the linked data community in the scope of Industry 4.0.

Chairs: Thomas Moser (FH St. Pölten), Stefan Hupe (IoT Austria)
Date: 15th of September 2015, 14.00 to 17.00 CEST

 

European Data Economy Workshop - Focus Data Value Chain & Big and Open Data

This workshop is to overview the state of the art in Europe regarding Big and Open Data initiatives and its impact in the Europan economy and benefits for the  European society. Representatives from the Big Data Value Association, the annual European Data Forum and data related projects will participate during the first session of the workshop. Furthermore it gives information about the Austrian Big Data Study carried out in 2014 by AIT and IDC

Chairs: Nelia Lasierra (STI Innsbruck), Martin Kaltenböck (Semantic Web Company)
Date: 15th of September 2015, 09.00 to 13.00 CEST

 

1st Workshop on Data Science: Methods, Technology and Applications (DSci15)

This workshop is meant as an opportunity to bring together researchers and practitioners interested in data science to present their ideas and discuss the most important scientific, technical and socio-economical challenges of this emerging field.

Chairs: Bernhard Haslhofer (AIT - Austrian Institute of Technology), Elena Simperl (Univ. Southampton), Rainer Stütz (AIT - Austrian Institute of Technology), Ingo Feinerer (FH Wiener Neustadt)
Date: 15th of September 2015, 09.00 to 17.00 CEST

 

Workshop on Linked Data Strategies - Commercialisation of Interlinked Data

In this workshop, we will give several demos and concrete examples of how Linked Data can be used by enterprises in various industries. The workshop aims to give users and providers of Linked Data valuable methods and best practices at hand, which help them to make profound decisions in their Linked Data projects.

Chairs: Christian Dirschl (Wolters Kluwer), Andreas Blumauer (Semantic Web Company), Tassilo Pellegrini (FH St. Pölten)
Date: 15th of September 2015, 14.00 to 15.30 CEST

 

Hackathon on "The power of Linked Data in Agriculture and Food Safety"

“Data+Need=Hack”, this is the idea of a hackathon that brings together like-minded people to develop, in a short time frame, novel solutions to problems around the theme “Agriculture and Food Safety”.

Chairs: Christian Blaschke (Semantic Web Company, Vienna), Stasinos Konstantopoulos (Institute of Informatics & Telecommunications of the NCSR Demokritos, Athens)
Date: 18th of September 2015, 10.00 to 16.00 CEST



— Registration ---

To register, please go to:
http://www.semantics.cc/registration

 

We are looking forward to meet you at SEMANTiCS 2015!

Matthew Horridge | 20 Aug 00:41 2015
Picon

Early-Bird Rates for the September Protege Short Course will expire soon

Dear all,

The early registration deadline for the September Protege Short Course expires next week on Friday, 28 August, 2015.

Register soon, before the rates go up:

The Protege Short Course will be held at Stanford University, California between September 28 - 30, 2015.

The course offers a 3-day intensive training in use of the Protege toolset, ontology development, and OWL. We cover best practices in ontology building and the latest Semantic Web technologies, including OWL 2, RDF, and SPARQL. We also cover topics such as real-world applications with ontologies, and data access and import from different data sources. The course is hands-on and is taught by the members of the Protege team.

Read more about it at:
http://protege.stanford.edu/shortcourse/201509/index.html

If you have any questions, please email: protege-shortcourse _at_ lists.stanford.edu

We look forward to seeing you in September!

Best regards,
The Protege Team
Simon Spero | 19 Aug 20:30 2015
Picon

Changing handling of (illegal) arguments to ObjectInverseOf in OWLAPI.

I discovered that OWLAPI has been improperly allowing ObjectInverseOf to be applied to arbitrary Object Property Expressions, instead of only allowing it to be applied to Object Properties.

Changes have been applied to version 4 in github that cause the appropriate constructors and factory methods to throw exceptions when applied to arguments of the wrong type, and methods to return the inverse of a property have been simplified to not return illegal values.

To avoid breaking correct code, method signatures have not been changed; this does mean that some typing errors will only be detected at runtime.

There doesn't seem to be much code that is affected by this,  and since it involves extra typing to do something obviously pointless,  I suspect that any occurrences are likely to be machine generated.

Is anybody using explicit calls to the data factory methods to generate inverses of arbitrary object property expressions? 

Such code should be changed to call inverseProperty on the OPE; this will work for older and newer versions.

Simon

Ian Horrocks | 19 Aug 19:31 2015
Picon
Picon

WWW2016 Call for Research Papers (apologies for cross-posting)

Call for Research Papers | International World Wide Web Conference

Important Dates:

* Research track abstract registration:
  Saturday, October 10, 2015 (23:59 Hawaii Standard Time)
* Research track full paper submission:
  Saturday, October 17, 2015 (23:59 Hawaii Standard Time)
* Notifications of acceptance:
  Tuesday, December 15, 2015
* Final Submission Deadline for Camera-ready Version:
  Sunday, January 31, 2016
* Conference dates:
  April 11 – 15, 2016

For more than two decades, the International World Wide Web (WWW) Conference has been the premier venue for
researchers, academics, businesses, and standard bodies to come together and discuss latest updates on
the state and evolutionary path of the Web. The main conference program of WWW 2016 will have 11 areas (or
themes) for refereed paper presentations, and we invite you to submit your cutting-edge, exciting, new
breakthrough work to the relevant area. In addition to the main conference, WWW 2016 will also have a
series of co-located workshops, keynote speeches, tutorials, panels, a developer track, and poster and
demo sessions.

The list of areas for this year is as follows:

* Behavioral Analysis and Personalization
* Content Analysis
* Crowdsourcing Systems and Social Media
* Economics and Markets
* Mobility
* Security and Privacy
* Semantics and Big Data
* Social Networks and Graph Analysis
* Web Mining
* Web Science
* Web Search Systems and Applications

See http://www2016.ca/calls-for-papers/call-for-research-papers.html for details and
information on how to submit.
Jeff Pan | 19 Aug 12:09 2015

[CFP] In-Use track at the 5th Joint International Semantic Technology Conference (JIST 2015)


Apologies for cross-posting

**********


CALL FOR PAPERS of In-Use Track


The 5th Joint International Semantic Technology Conference (JIST 2015)

http://www.jist2015.org/

November 11-13, 2015 (Wed - Fri)
Yichang, China

**********
Recommendation to SCI Journals

The best (candidate) papers of JIST2015 will be invited to present at the Meet the Editor session of the following SCI indexed journals (more SCI indexed journal will be added soon):

1. International Journal on Semantic Web and Information Systems (IJSWIS)
2. Frontiers of Computer Science in China
3. International Journal of Web Services Research (IJWSR)

Selection criteria: for papers submitted to the research track and the in-use track, we will select 4-6 best paper candidates based on reviewers' recommendation. During the conference, authors of the selected papers will propose extensions of their JIST2015 papers and get feedbacks from journal editors (and possibly the PC chairs of JIST2015).
 
**********


The Joint International Semantic Technology Conference (JIST) is a regional federation of Semantic Technology related conferences. The mission of JIST is to bring together researchers in Semantic Technology research community and other areas of semantic related technologies to present their innovative research results or novel applications of semantic technologies.

JIST 2015, under the theme °∞Semantics for Big Data°±, solicits the submission of original research papers on Semantic Web and other semantic technologies, as well as papers on applications of semantic technologies.


******

Topics of interest include, but are not limited to:

- Description of an implemented application of semantic technology in a specific domain

- Description of concrete problems in specific application domains, for which semantic technology can provide a solution

- Analysis and evaluation of usability and uptake of semantic tools
Learned lessons and best practices from deploying and using an application or service based on semantic technology

- Assessment of costs and benefits of implementing, deploying, using, and managing semantic technology

- Analysis of risks and opportunities of using semantic technology in organizations with respect to their businesses and customers

- Pragmatics of using or deploying semantic technology in real-world scenarios

- Comparison of semantic technology with alternative approaches that use conventional or competing technologies

- Semantic technology in new application domains, including: eGovernment, eHealth, smart cities, Life Sciences, Sensor networks, Media and entertainment, Telecommunications, Cultural heritage, Financial services, Energy and utilities, Manufacturing, Digital libraries, cloud applications, Personal Information Management, etc.

* Submission

Submissions to JIST 2015 in-use track should describe original, significant research on the semantic technologies. Submissions to JIST 2015 are expected to present their claimed contribution, with clear evidence to support their claims. All submissions will be critically reviewed by at least three members of the program committee. To assess submissions, reviewers will judge their relevance to semantic technologies, their originality, the technical soundness of their proposed approach and the readability of the submission.

Submissions must be in PDF format, using the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions must be no longer than *10* pages for the in-use track. Submissions that are less than 10 pages can be considered. However, when selecting best papers, we will give preference to those submissions that are more than 9 pages. JIST 2015 will not accept submissions that are under review for or have already been published in or accepted for publication in a journal or another conference. Accepted papers will be published in an LNCS post-proceedings.

Papers can be submitted electronically via https://easychair.org/conferences/?conf=jist2015.

Please select the in-use track when you submit your paper(s).

* Important Dates

- Submissions Deadline: 23:59 (Hawaii Time), September 10, 2015
- Notification of Acceptance: September 30, 2015
- Camera-ready Deadline: October 8, 2015


- Conference: November 11-13, 2015

General Chairs
- Juanzi Li, Tsinghua University, China
- Wendy Hall,University of Southampton, UK

Program Chairs
- Kun Zhang, Sogou, China
- Yanjun Ma, Baidu, China

Organized by: JIST Steering Committee

Jeff Pan | 18 Aug 12:08 2015

[CFP] The 5th Joint International Semantic Technology Conference (JIST 2015)--- deadline extended to 26 Aug 2015


Apologies for cross-posting

**********

CALL FOR PAPERS


The 5th Joint International Semantic Technology Conference (JIST 2015)

http://www.jist2015.org/

November 11-13, 2015 (Wed - Fri)
Yichang, China

Submission deadline extension (Final): August 26, 2015

**********
Recommendation to SCI Journals

The best (candidate) papers of JIST2015 will be invited to present at the Meet the Editor session of the following SCI indexed journals (more SCI indexed journal will be added soon):

1. International Journal on Semantic Web and Information Systems (IJSWIS)
2. Frontiers of Computer Science in China

Selection criteria: for papers submitted to the research track and the in-use track, we will select 4-6 best paper candidates based on reviewers' recommendation. During the conference, authors of the selected papers will propose extensions of their JIST2015 papers and get feedbacks from journal editors (and possibly the PC chairs of JIST2015).
 
**********


The Joint International Semantic Technology Conference (JIST) is a regional federation of Semantic Technology related conferences. The mission of JIST is to bring together researchers in Semantic Technology research community and other areas of semantic related technologies to present their innovative research results or novel applications of semantic technologies.

JIST 2015, under the theme “Semantics for Big Data”, solicits the submission of original research papers on Semantic Web and other semantic technologies, as well as papers on applications of semantic technologies.


******

* Topics of Interest for Regular Technical Sessions

Topics of interest include, but are not limited to:

** Ontology and Reasoning
- Ontology modeling, reuse, extraction, and evolution
- Ontology mapping, merging, and alignment
- Ontology evaluation
- Searching and ranking ontologies
- Reasoning over Semantic Web data
- New formalisms (such as probabilistic approaches)
- Lightweight semantics (linked data, microformats, etc.)

** Knowledge Graph
- Graph representation of knowledge graph
- Relation extraction for knowledge graph
- Schema induction for knowledge graph
- Evolution of knowledge graph
- Applications of knowledge graph

** Management of Semantic Web Data
- Languages, tools, and methodologies for Semantic Web data
- Database, IR, and AI technologies for Semantic Web data
- Robust and scalable knowledge management and reasoning on the Web
- Machine learning and information extraction on the Web
- Cleaning, assurance, and provenance of Semantic Web data, services, and processes

** Linked Data
- Publication of Linked Data
- Consumption of Linked Data
- Reasoning with Linked Data
- Search, query, integration, and analysis on Linked Data
- Integration and mash-up of Linked Data
- Mining of Linked Data
- Domain specific applications (eGovernment, disaster, life science etc.)

** Big Data and Semantics
- Ontology engineering for big data
- Ontology based data integration
- Big data verification using semantics
- Mapping big data and ontology


** Social Semantic Web
- Semantics for social media data
- Social network analysis with Semantic Web Technologies
- Querying, mining and analysis of social semantic data
- Social Semantic Web applications
- Semantic Web technologies for collaboration and cooperation
- Representing and reasoning about trust, privacy, and security

** Semantic Social Media
- Building ontologies for social networks
- Emergent semantics of social networks
- Semantics for sentiment/opinion analysis
- Sentiment analysis techniques on social media
- Applications of sentiment analysis

** Semantics and NLP
- Semantic Text Analysis
- Pragmatic and Discourse Analysis
- Syntactic and Semantic Mapping
- Automatic Annotation

** Semantic Multimedia
- Semantic multimedia metadata, ontology and management
- Multimedia content analysis and processing
- Multimedia-enriched Semantic Web
- Semantic multimedia applications
- Semantic annotations and recommendations

** Applications of the Semantic Web
- Semantic Web for large scale applications
- Semantic Web for desktops or personal information management
- Semantic Web for multimedia, sensors, and situational awareness
- Semantic Web for P2P, services, agents, grids, and middleware
- Semantic Web for software and systems engineering
- Mobile Semantic Web
- Interface for Semantic Web

* Submission

Submissions to JIST 2015 should describe original, significant research on the semantic technologies. Submissions to JIST 2015 are expected to present their claimed contribution, with clear evidence to support their claims. All submissions will be critically reviewed by at least three members of the program committee. To assess submissions, reviewers will judge their relevance to semantic technologies, their originality, the technical soundness of their proposed approach and the readability of the submission.

Submissions must be in PDF format, using the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions must be no longer than *16* pages for REGULAR TECHNICAL SESSIONS. Submissions that exceed this limit may be rejected without review. JIST 2015 will not accept submissions that are under review for or have already been published in or accepted for publication in a journal or another conference. Accepted papers will be published in an LNCS post-proceedings.

Papers can be submitted electronically via https://easychair.org/conferences/?conf=jist2015.

* Important Dates

- (New) Submissions Deadline: 23:59 (Hawaii Time), August 26, 2015
- Notification of Acceptance: September 15, 2015
- Camera-ready Deadline: September 25, 2015


- Conference: November 11-13, 2015

General Chairs
- Juanzi Li, Tsinghua University, China
- Wendy Hall,University of Southampton, UK

Program Chairs
- Guilin Qi, Southeast University, China
- Kouji Kozaki, Osaka University, Japan

Organized by: JIST Steering Committee

Ignazio Palmisano | 11 Aug 21:15 2015
Picon

[off-topic] Re: Conservative Extension of OWL 2

On 11 August 2015 at 18:45, Simon Spero <sesuncedu@...> wrote:
> A conservative extension to an ontology is an extension that commits to
> holding a referendum on whether a set of axioms is consistent only after an
> extended attempt to renegotiate the applicable rules of inference.
>

>From current events, that wouldn't be conservative but left leaning.
Although the government of Greece is nothing to take for granted these
days :-P
I.

> Some other views:
>
> Gruninger, M., & Aameri, B. (2014). Preservation of Modules. In WoMO <at>  FOIS.
> http://ceur-ws.org/Vol-1248/WoMO14-Paper3.pdf
>
> Grüninger, M., Hahmann, T., Hashemi, A., Ong, D., & Ozgovde, A. (2012).
> Modular first-order ontologies via repositories. Applied Ontology, 7(2),
> 169-209.
> http://www.cs.toronto.edu/~torsten/publications/MGruninger_AO-12.pdf
>
> Veloso, P. A., & Veloso, S. R. (1991). On conservative and expansive
> extensions.O que no faz pensar: Cadernos de Filosofia, 4(87), 106.
> http://www.oquenosfazpensar.com/adm/uploads/artigo/on_conservative_and_expansive_extensions/n4paulo.pdf
>
> Incidentally,  Common Logic,  which is first-order (modulo sequences) with
> quantification over known predicates, caused problems for definitional
> extensions,  if the newly defined predicates are visible to quantifiers in
> the ontology being extended.  That this took years to spot shows how tricky
> this all gets.
>
> Simon
>
> On Aug 10, 2015 5:53 PM, "Ignazio Palmisano" <ipalmisano.mailings <at> gmail.com>
> wrote:
>>
>> On 10 August 2015 at 22:21, Leila Bayoudhi <bayoudhileila@...> wrote:
>> > Hi,
>> > I have some questions:
>> > -What is exactly a " consrvative extension of an ontology"?
>>
>> In short, A is a conservative extension of B if all entailments of B
>> are also entailments for A. However, the concept is much more complex
>> than this. You can start with
>> http://cgi.csc.liv.ac.uk/~frank/publ/ijcai07.pdf, and move on to the
>> large body of literature on the topic.
>>
>> Approximations of conservative extensions are also an important
>> research area. Many modularisation techniques rely on them. See for
>> example http://www.cs.man.ac.uk/~sattler/publications/chks07-just.pdf
>>
>> (These are pointers to some of the oldest literature on the topic.)
>>
>> > -Does ontology is expected to have conservative extension since it
>> > relies on
>> > logic?
>>
>> I'm not clear on what you mean here.
>>
>> > -Does OWL 2 enables this feature?
>>
>> No. Building conservative extensions is not enabled by OWL 2. It is a
>> complex task (undecidable for high expressivity ontologies).
>> Approximations, like modules, can be built without OWL 2 (they predate
>> it).
>>
>> HTH,
>> I.
>>
>> > thx for answering me.
>>
>

Leila Bayoudhi | 10 Aug 23:21 2015
Picon

Conservative Extension of OWL 2

Hi,
I have some questions:
-What is exactly a " consrvative extension of an ontology"?
-Does ontology is expected to have conservative extension since it relies on logic?
-Does OWL 2 enables this feature?
thx for answering me.
Jürgen Umbrich | 10 Aug 08:10 2015
Picon

[CFP] Semantic Web Journal - Special Issue on Quality Management of Semantic Web Assets (Data, Services and Systems)

CFP: Semantic Web Journal - Special Issue on Quality Management of Semantic Web Assets (Data, Services and Systems): http://www.semantic-web-journal.net/blog/call-papers-special-issue-quality-management-semantic-web-assets-data-services-and-systems

Submission guidelines

Deadline: October 31, 2015

Submissions shall be made through the Semantic Web journal website at http://www.semantic-web-journal.net. Prospective authors must take notice of the submission guidelines posted at http://www.semantic-web-journal.net/authors. Note that you need to request an account on the website for submitting a paper. Please indicate in the cover letter that it is for the Special Issue on Quality Management of Semantic Web Assets (Data, Services and Systems).

Submissions are possible in the following categories: full research papers, application reports, reports on tools and systems, and case studies. While there is no upper limit, paper length must be justified by content.

Guest editors

  • Amrapali Zaveri, University of Leipzig, AKSW Group, Germany
  • Dimitris Kontokostas, University of Leipzig, AKSW Group, Germany
  • Sebastian Hellmann, University of Leipzig, AKSW Group, Germany
  • Jürgen Umbrich, Vienna University of Economics and Business, Austria
Overview and Topics

The standardization and adoption of Semantic Web technologies has resulted in a variety of assets, including an unprecedented volume of data being semantically enriched and systems and services, which consume or publish this data. Although gathering, processing and publishing data is a step towards further adoption of Semantic Web, quality does not yet play a central role in these assets (e.g., data lifecycle, system/service development).

Quality management essentially refers to activities and tasks involved to guarantee a certain level of consistency and to meet the quality requirements for the assets. In general, quality management consists of the following four phases and components: (i) quality planning, (ii) quality control, (iii) quality assurance and (iv) quality improvement.

The quality planning phase in the Semantic Web typically involves the design of procedures, strategies and policies to support the management of the assets. The quality control and assurance components have their primary aim in preventing errors and to meet quality requirements pertaining to the Semantic Web standards. A core part for both components are quality assessment methods which provide the necessary input for the controlling and assurance tasks.

Quality assessment of Semantic Web Assets (data, services and systems), in particular, presents new challenges that were not handled before in other research areas. Thus, adopting existing approaches for data quality assessment is not a straightforward solution. These challenges are related to the openness of the Semantic Web, the diversity of the information and the unbounded, dynamic set of autonomous data sources, publishers and consumers (legal and software agents). Additionally, detecting the quality of available data sources and making the information explicit is yet another challenge. Moreover, noise in one data set, or missing links between different data sets, propagates throughout the Web of Data, and imposes great challenges on the data value chain.

In case of systems and services, different implementations follow the specifications for RDF and SPARQL to varying extents, or even propose and offer new, non-standardized extensions. This causes strong incompatibilities between systems, e.g., between the used SPARQL features in the query engines and support features in RDF stores. The potential heterogeneity and incompatibility poses several challenges for the quality assessments in and for such systems and services.

Eventually, quality improvement methods are used to further enhance the value of the Semantic Web Assets. One important step to improve the quality of data is identifying the root cause of the problem and then designing corresponding data improvement solutions. These solutions select the most effective and efficient strategies and related set of techniques and tools to improve quality. Quality improvement metrics for products and services entails understanding and improving operational processes and establishing valid and reliable service performance measures.

This Special Issue is addressed to those members of the community interested in providing novel methodologies or frameworks in managing, assessing, monitoring, maintaining and improving the quality of the Semantic Web data, services and systems and also introduce tools and user interfaces which can effectively assist in this management.

Topics of Interest

We welcome original high quality submissions on (but are not restricted to) the following topics:

  • Methodologies and frameworks to plan, control, assure or improve the quality of Semantic Web Assets
  • Quality exploration and analysis interfaces
  • Quality monitoring
  • Developing, deploying and managing quality service ecosystems
  • Assessing the quality evolution of Semantic Web Assets
  • Large-scale quality assessment of structured datasets
  • Crowdsourcing data quality assessment
  • Quality assessment leveraging background knowledge
  • Use-case driven quality management
  • Evaluation of trustworthiness of data
  • Web Data and LOD quality benchmarks
  • Data Quality improvement methods and frameworks, e.g., linkage, alignment, cleaning, enrichment, correctness
  • Service/system quality improvement methods and frameworks
  • Managing sustainability issues in services
  • Guarantee of service (availability, performance)
  • Systems for transparent management of open data

Gmane