Labels

3d active media actuators ad adaptation adaptibility adaptive advertiser agent agile ai analysis aose aspects attention auction autonomic autonomous benchmark bidding bio-inspired bioinformatics bionetics brain business buyer cellular automata charging chi cloud computing cognition collaboration communication competition complexity computer graphics concurrency constraints control cooperation coordination cots creativity cryptology dai data mining decisionmaking defense design disaster management discovery distributed dl ecommerce eierlegendewollmilchsau embedded emotion energy engineering entertainment environment evaluation evolutionary computing examples exercises formal framework fuzzy game theory gaming genetic globalization goal green computing grid hai hci health care heterogeneous heuristics human hybrid icaps information systems integration intelligence interaction knowledge knowledge-based systems language learning location-based locomotion logic logistics market mas mates memory meta methodology methods mixedreality mobile model multi-modal multirobot systems natural networks negotiation noncooperative norms ontology owl2 parallel pattern recognition personalization pervasive placement planning preception prediction presentation privacy probabilistic problem solving procurement programming protocol publishing qos quality rational real-time reasoning recommendation reliability representation resilient retrieval rif robocup robot robotics robots rules safety security self* semantic web semantics sensors serious games service-oriented services simulation smart soa social soft-computing software engineering sparql specification standard stochastic stockexchange strategy supplychain symbolic tagging teaching testing tools trading trust tutorial ubiquitous uncertainty usability verification virtual reality virtual worlds visualization web3d wireless
Posts mit dem Label description logic werden angezeigt. Alle Posts anzeigen
Posts mit dem Label description logic werden angezeigt. Alle Posts anzeigen

Freitag, 17. September 2010

Australasian Ontology Workshop (AOW 2010)

6th Australasian Ontology Workshop (AOW 2010)
                              7 December 2010 
                       Held in Conjunction with the 
23rd Australasian Joint Conference on Artificial Intelligence (AI2010)
                              Adelaide, Australia
                   http://krr.meraka.org.za/~aow2010

AOW 2010 is the sixth in a series of workshops on ontologies held 
in the Australasian region.

The primary aim of the workshop is to bring together active researchers in
the broad area of ontologies. Topics of interest include, but are not 
limited to:

- Ontology models and theories         
- Ontologies and the Semantic Web     
- Interoperability in ontologies      
- Ontologies and Multi-agent systems                                        
- Description logics for ontologies  
- Reasoning with ontologies 
- Ontology harvesting on the web      
- Ontology of agents and actions
- Ontology visualisation  
- Ontology engineering and management
- Ontology-based information extraction  and retrieval
- Ontology merging, alignment and integration
- Web ontology languages
- Formal concept analysis and ontologies 
- Ontologies for e-research
- Linking open data
- Significant ontology applications

The proceedings of all previous Australasian Ontology 
Workshops were published in the CRPIT Series and this 
will also be the case for AOW 2010.

Authors of the best papers will be invited to submit 
extended versions of their AOW 2010 papers as chapters in 
a forthcoming Springer book.

For the second year running, AOW 2010 will have a best paper 
award, with a prize of $250(AUD) being awarded to the 
author(s) of the best paper. 

Important Dates:
Paper submission deadline: 24 September 2010
Notification of acceptance/rejection: 22 October 2010
Camera-ready copies due: 12 November 2010
AOW 2010: 7 December 2010

Papers must be submitted via the EasyChair system at

http://www.easychair.org/conferences/?conf=aow2010

Workshop Chairs:
Thomas Meyer
Meraka Institute, South Africa
tommie.meyer@meraka.org.za

Mehmet Orgun
Macquarie University
mehmet.orgun@mq.edu.au

Kerry Taylor
CSIRO ICT Centre
Kerry.Taylor@csiro.au


Program Committee :
Franz Baader (TU Dresden, Germany)
Arina Britz (Meraka Institute, South Africa)
Werner Ceusters (SUNY Buffalo, USA)
Michael Compton (CSIRO, Australia)
Oscar Corcho (Universidad Politecnica de Madrid, Spain)
R. Cenk Erdur (Ege University, Turkey)
Aurona Gerber (Meraka Institute, South Africa)
Dennis Hooijmaijers (University of South Australia, Australia)
Bo Hu (SAP Research, UK)
Renato Iannella (NICTA, Australia)
Ken Kaneiwa (NICT, Japan)
Marijke Keet (Free University of Bolzano, Italy)
Kevin Lee (NICTA and UNSW, Australia)
Laurent Lefort (CSIRO, Australia)
Costas Mantratzis (University of Westminster, UK)
Lars Moench (University of Hagen, Germany)
Maurice Pagnucco (UNSW, Australia)
Debbie Richards (Macquarie University, Australia)
Rolf Schwitter (Macquarie University, Australia)
Murat Sensoy (Bogazici University, Turkey)
Markus Stumptner (University of South Australia, Australia)
Boontawee (Meng) Suntisrivaraporn (Thammasat University, Thailand)
Sergio Tessaris (Free University of Bolzano, Italy)
Nwe Ni Tun (National University of Singapore, Singapore)
Ivan Varzinczak (Meraka Institute, South Africa)
Kewen Wang (Griffith University, Australia)

Donnerstag, 8. April 2010

UniDL'10 - First International Workshop on Uncertainty in Description Logics

                 New submission deadline: 11. of April
-------------------------------------------------------------------

                          UniDL'10
First International Workshop on Uncertainty in Description Logics
             co-located with IJCAR 2010 at FLoC 2010

                        July 20, 2010

                        Edinburgh, UK


             http://lat.inf.tu-dresden.de/UniDL
-------------------------------------------------------------------


During the recent decade, handling uncertainty has started to play an
important role in ontology languages, especially in application areas
like the Semantic Web, biomedicine, and artificial intelligence. For
this reason, there is currently a strong research interest in
description logics (DLs) that allow for dealing with uncertainty. The
subject of the workshop is how to deal with uncertainty and
imprecision in Description Logics (DLs).  This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. The
workshop focusses on the investigation of reasoning problems and
approaches for solving them, including especially tractable ones. For
classical DL reasoning problems such as subsumption and
satisfiability, algorithms that can handle uncertainty exist, but they
are still less well-investigated than in the case of standard DLs
without uncertainty. For novel reasoning services, such as query
answering, computation of generalizations, modules, or explanations,
it is not yet clear how to realize them in DLs that can express
uncertainty.


SPONSOR

UniDL is sponsored by the Artificial Intelligence Journal (AIJ)


INVITED SPEAKER

Ralf Moeller,  Hamburg University of Technology


TOPICS OF INTEREST

include but are not limited to:

    * Modeling of uncertain knowledge in DLs
    * Different formalisations of uncertainty for DLs
    * Formal semantics for uncertain information in DLs
    * Extensions of DL reasoning problems to uncertainty
    * Reasoning algorithms for DLs with uncertainty, in particular
    * Tableau algorithms for probabilistic DLs or fuzzy DLs
    * Tractable DLs with uncertainty
    * Complexity of uncertain reasoning
    * System descriptions for implemented reasoning algorithms
      in uncertain DLs
    * Novel applications of DLs with uncertainty
    * Open and future problems


IMPORTANT DATES:

*New* submission deadline: April 11, 2010
             Notification: April 29, 2010
            Final version:   May 18, 2010
                 Workshop:  July 20, 2010


SUBMISSION DETAILS:

The workshop welcomes submissions in pdf format in Springer's LNCS
style. Submissions can be
- technical papers not exceeding 10 pages,
- system descriptions not exceeding 6 pages, or
- position papers on work in progress not exceeding 3 pages
in LNCS. Submissions are via EasyChair at
http://www.easychair.org/conferences/?conf=unidl10 . The workshop
prceedings will be published as CEUR proceedings.

We adopt the same double submission policy as the DL workshop,
that is, we also welcome submissions of papers that have recently
been published at other conferences and workshops (e.g., KR,
AAAI, ECAI, DL, and URSW).


WORKSHOP CHAIRS:

- Thomas Lukasiewicz,    Oxford University, UK
- Rafael Penaloza,       TU Dresden, Germany
- Anni-Yasmin Turhan,    TU Dresden, Germany


PROGRAM COMMITTEE:

- Eyal Amir,   University of Illinois, Urbana-Champaign
- Fernando Bobillo,  University of Zaragoza
- Simona Colucci,  Technical University of Bari
- Fabio G. Cozman,  University of Sao Paulo
- Manfred Jaeger,  Aalborg University
- Pavel Klinov,  University of Manchester
- Ralf Moeller,  Hamburg University of Technology
- Mathias Niepert,  University of Mannheim
- Stefan Schlobach,  Vrije Universiteit Amsterdam
- Luciano Serafini,  IRS Trento
- Giorgos Stoilos,  Oxford University
- Umberto Straccia,  ISTI-CNR
- Guilin Qi,  Southeast University, China