Nabble - LOOM Knowledge Representation

Call for Participation: WI-IAT'08, Sydney, Australia

2008-10-17T00:59:38Z

[Apologies if you receive this more than once]

======================
CALL FOR PARTICIPATION
======================

IEEE/WIC/ACM International Conference on Web Intelligence (WI'08)
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'08)

December 9-12, 2008
Building 5, Haymarket Campus, University of Technology, Sydney, Australia
http://www.lido.com.au/online/default.aspx?id=657fj3g91907# (see the map)

Official:
http://datamining.it.uts.edu.au/conferences/wi08/
http://datamining.it.uts.edu.au/conferences/iat08/

Sponsored and Organized by
IEEE Computer Society
Web Intelligence Consortium (WIC)
Association for Computing Machinery (ACM)
University of Technology, Sydney

================= HIGHLIGHTS =========================

6 WI'08/IAT'08 Invited Speeches by
Professor Edmund H. Durfee
Professor Toru Ishida
Professor Tsau Young Lin
Professor Nigel Shadbolt
Professor Yanchun Zhang
Dr. Michael Witbrock
1 WIC Feature Talk by
Professor Jiming Liu
4 Tutorials
16 WI-IAT Workshops
Including the first WI-IAT Doctoral Workshop
Presentations of Accepted Research Track Papers.

The research track papers were selected from 651 submissions received
from over 52 countries and regions.

All main conference and workshop proceedings will be published in the
conference proceedings by the IEEE Computer Society Press, indexed by EI.

REGISTRATRION
+++++++++++++

**********************************************
!!! Early-bird Registration by Nov 8, 2008 !!!
**********************************************

On-line registration (and more information) at
http://datamining.it.uts.edu.au/conferences/iat08/?page_id=45

Regular registration covers all the events of WI-IAT'08 during the
four conference days including keynotes, tutorials, accepted paper
presentations, and workshops, as well as includes proceedings for one
of the conferences or its associated workshops.

As usual, WI'08 and IAT'08 will be co-located, providing
synergism among Web Intelligence and
Intelligent Agent Technology. The two
conferences will have a joint opening, invited talks, reception, and
banquet. Attendees only need to register for one conference and can
attend workshops, sessions, invited talks, panels and tutorials across
the two conferences.

INVITED TALKS
+++++++++++++

WI'08/IAT'08 Joint Invited Talks include:

Planning for Coordination and Coordination for Planning
Professor Edmund H. Durfee
EECS Department, University of Michigan, USA

The Language Grid:
Service-Oriented Collective Intelligence for Intercultural Collaboration
Professor Toru Ishida
Department of Social Informatics, Kyoto University, Japan

The Emergence of Web Science
Professor Nigel Shadbolt
School of Electronics and Computer Science, University of Southampton, UK

Knowledge Based Search Engine: Granular Computing on the Web
Professor Tsau Young Lin
Department of Computer Science, San Jose State University, USA

Using Web Clustering for Web Community Mining and Analysis
Professor Yanchun Zhang
Centre for Applied Informatics Research, Victoria University, Australia

Thinking Big - AI at Web Scale
Dr. Michael Witbrock
Vice President for Research at Cycorp, Inc., CEO of Cycorp Europe

WIC FEATURE TALK
++++++++++++++++

Professor Jiming Liu
Professor and Head of Computer Science Department,
Hong Kong Baptist University

TUTORIALS
+++++++++

T1: Web Content Mining
Vaclav Snasel
Technical University of Ostrava, Czech Republic

T2: Matching Words and Pictures: Problems, and Applications in the Web
Latifur Khan
University of Texas at Dallas, USA

T3: Utilizing Federated Knowledge in Semantic Web Applications
Jans Aasman
Franz Inc. USA

T4: Modeling Agent Organizations
Virginia Dignum and Frank Dignum
Utrecht University, The Netherlands

WORKSHOPS
+++++++++

W1: The 2nd Workshop on Collective Intelligence in Semantic Web and
Social Networks
(CISWSN 2008)

W2: International Workshop on Web Information Retrieval Support Systems
(WIRSS 2008)

W3: International Workshop on Web Personalization, Reputation and
Recommender Systems
(WPRRS 2008)

W4: International Workshop on Intelligent Web Interaction
(IWI 2008)

W5: Workshop on Intelligent e-Government
(IEG 2008)

W6: International Workshop on Fuzzy Logic On the Web
(FLOW 2008)

W7: Workshop on Natural Language Processing and Ontology Engineering
(NLPOE 2008)

W8: Workshop on Web Intelligence & Intelligent Agent Technology in eLearning
(TUMAS-A 2008)

W9: International Workshop on Computational Social Networks
(IWCSN 2008)

W10: Workshop on Optimization-based Data Mining and Web Intelligence
(ODM 2008)

W11: The Second International Workshop on Human Aspects in Ambient
Intelligence: Agent Technology, Human-Oriented Knowledge and Applications
(HAAI 2008)

W12: International Workshop on E-Commerce, Business, and Services
(ECBS 2008)

W13: Workshop on P2P Computing and Autonomous Agents
(P2P 2008)

W14: International Workshop on Agents and Data Mining Interaction
(ADMI 2008)

W15: Workshop on Logics for Intelligent Agents and Multi-Agent Systems
(WLIAMAS 2008)

W16: 2008 WI-IAT Doctoral Workshop

SOCIAL PROGRAM
+++++++++++++++

The WI'08 and IAT'08 joint conference offers an exciting social
programs, including the conference welcome reception on Dec. 10 and
the conference banquet on Dec. 11.

You can also enjoy the city of Sydney, including Darling Harbour and
Opera House. You can get more information about the conference hotel
and local information from the conference homepage:
http://datamining.it.uts.edu.au/conferences/wi08/

CONTACT INFORMATION
+++++++++++++++++++

A/Prof Longbing Cao
Data Sciences & Knowledge Discovery Lab (the Smart Lab)
Research Centre for Quantum Computation and Intelligent Systems
University of Technology Sydney, Australia
Office: +61-2-9514 4477
Fax: +61-2-9514 4517
E-mail: lbcao@...
Homepage: www-staff.it.uts.edu.au/~lbcao
The Smart Lab: datamining.it.uts.edu.au

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Ontology Metamodel, draft

2008-08-23T15:26:54Z

TNV.doc

The document contains thougts regarding using a metamodeling architechture for building ontologies (schema and data). Next step should be bring RESTFul semantics to URIs representing Resources (RDF and TopicMaps subjects) and Java's Activation like context-aware operation over state representations.

Should be possible such an approach where a REST Resource be represented internally as an Abstract Syntax of a DSL, perhaps using this document's model as the finest grained model, and handle the case where REST Representations are needed with differente Concrete Syntaxes of the DSL for each content-type requested.

Regards,
Xama
(xama at ciudad dot com dot ar)

CfP: Int. Workshop on Information Credibility on the Web (WICOW2008) at CIKM2008

2008-07-06T00:40:37Z

(+apologies for cross-posting+)

****CALL FOR PAPERS****

2nd Workshop on Information Credibility on the Web
(WICOW 2008)

in conjunction with 17th ACM CIKM 2008

October 30, 2008, Napa Valley, California
http://www.dl.kuis.kyoto-u.ac.jp/wicow2

* AIM OF THE WORKSHOP *

The aim of this workshop is to provide a forum for discussion about issues
related to information credibility and its evaluation.
As computers and computer networks become more sophisticated, a huge
amount of information, such as that found in Web documents, has been
accumulated and circulated. Such information gives people a framework for organizing their daily
lives. A well-functioning society needs technology that can be used to
manage this wealth of information and, in particular, investigate its credibility.
This technology would be able to handle a wide range of tasks:
extracting credible information related to a given topic,
organizing this information, detecting its provenance, clarifying
background, facts, and various related opinions and the distribution of
them, and so on. Especially, as the Web is becoming a major source of
information nowadays, it is necessary to provide efficient and reliable
methods for evaluation of Web content's trustworthiness.

* TOPICS *

We invite submissions on any aspects of information credibility on the
Web. Topics include, but are not limited to:

- Information credibility evaluation and its applications
- Content analysis for credibility evaluation
- Sentiment analysis of content
- Credibility of Web search results
- Search models and applications for trustworthy content
- Conflicting opinion detection and analysis
- Credibility evaluation of user-generated content (e.g., Wikipedia)
- Information credibility evaluation in social networks
- Analysis of information dissemination
- Estimation of author and publishing venue reputation
- Spatial and temporal aspects in information credibility
- Estimation of information age, provenance and validity
- Sociological and psychological aspects of information credibility
- Users study for information credibility
- Risk assessment of information credibility
- Multimedia content credibility
- Persuasive technologies
- Information credibility in online advertising and Internet monetization
- Object identification on the Web

* IMPORTANT DATES *

- July 20, 2008 - Paper submission
- August 10, 2008 - Notification of acceptance
- August 15, 2008 - Camera-ready paper submission (hard deadline for publication in proceedings)
- October 30, 2008 - Workshop

* SUBMISSION *

Submissions should be sent in English in PDF format via the submission website. Papers should adhere to ACM formatting guidelines and should not exceed 8 pages. They must be original and have not been submitted for publication elsewhere. We encourage also position papers outlining interesting research directions.

The accepted papers are going to appear in CIKM Workshops Proceedings published by ACM either as full (up to 8 pages) or short papers (up to 4 pages) depending on the review results. At least one author of each accepted submission should register by the end of the early registration period in order for the paper to be included in the proceedings.

* ORGANIZATION *

General Chairs:

- Katsumi Tanaka Kyoto University, Japan
- Takashi Matsuyama Kyoto University, Japan
- Ee-Peng Lim Singapore Management University, Singapore

PC Chair:

- Adam Jatowt Kyoto University, Japan

Program Committee:

-see the website

* CONTACT *

Adam Jatowt
email: adam [at] dl [dot] kuis [dot] kyoto-u [dot] ac [dot] jp
phone/fax: +81-75-231-4282

Final CFP: IEEE/WIC/ACM IAT 2008 (Deadline July 10)

2008-06-27T07:06:18Z

[Apologies if you receive this more than once]

#####################################################################
IEEE/WIC/ACM Intelligent Agent Technology 2008
CALL FOR PAPERS
#####################################################################

2008 IEEE/WIC/ACM International Conference on
Intelligent Agent Technology (IAT-08)

December 9-12, 2008, Sydney, Australia

Official Site:
http://datamining.it.uts.edu.au/wi08/html/iat/
Mirror Site:
http://www.maebashi-it.org/wi-iat08/iat08/index.html

Sponsored By
IEEE Computer Society
Web Intelligence Consortium (WIC)
Association for Computing Machinery (ACM)

##################################################################
# (Papers Due: *** 10 July 2008 ***
# Accepted papers will be published in the conference proceedings
# by the IEEE Computer Society Press, which are indexed by EI.
##################################################################

IAT 2008 provides a leading international forum to bring together
researchers and practitioners from diverse fields, such as computer
science, information technology, business, education, human factors,
systems engineering, and robotics, to (1) examine the design
principles and performance characteristics of various approaches in
intelligent agent technology, and (2) increase the cross-fertilization
of ideas on the development of autonomous agents and multi-agent
systems among different domains. By encouraging idea-sharing and
discussions on the underlying logical, cognitive, physical, and
sociological foundations as well as the enabling technologies of
intelligent agents, IAT 2008 will foster the development of novel
paradigms and advanced solutions in agent-based computing.

IAT 2008 will be jointly held with the 2008 IEEE/WIC/ACM International
Conference on Web Intelligence (WI-08). The two conferences will have
a joint opening, keynote, reception, and banquet. Attendees only need
to register for one conference and can attend workshops, sessions,
tutorials, panels, exhibits and demonstrations across the two
conferences. We are also planning a joint panel, joint paper sessions,
and doctor symposium that discuss common problems in the two areas.

+++++++++++++++++++
Topics of Interest
+++++++++++++++++++

We invite submissions in all IAT related areas. Papers exploring new
directions or areas will receive a careful and supportive review.
Areas of interest include, but are not limited to:

* Autonomy-Oriented Computing (AOC)
- Agent-Based Complex Systems Modeling and Development
- Agent-Based Simulation
- Autonomy-Oriented Modeling and Computation Methods
- Behavioral Self-Organization
- Complex Behavior Characterization and Engineering
- Emergent Behavior
- Hard Computational Problem Solving
- Nature-Inspired Paradigms
- Self-Organized Criticality
- Self-Organized Intelligence
- Swarm Intelligence

* Autonomous Knowledge and Information Agents
- Agent-Based Distributed Data Mining
- Agent-Based Knowledge Discovery And Sharing
- Autonomous Information Services
- Distributed Knowledge Systems
- Emergent Natural Law Discovery in Multi-Agent Systems
- Evolution of Knowledge Networks
- Human-Agent Interaction
- Information Filtering Agents
- Knowledge Aggregation
- Knowledge Discovery
- Ontology-Based Information Services

* Agent Systems Modeling and Methodology
- Agent Interaction Protocols
- Cognitive Architectures
- Cognitive Modeling of Agents
- Emotional Modeling
- Fault-Tolerance in Multi-Agent Systems
- Formal Framework for Multi-Agent Systems
- Information Exchanges in Multi-Agent Systems
- Learning and Self-Adaptation in Multi-Agent Systems
- Mobile Agent Languages and Protocols
- Multi-Agent Autonomic Architectures
- Multi-Agent Coordination Techniques
- Multi-Agent Planning and Re-Planning
- Peer-to-Peer Models for Multi-Agent Systems
- Reinforcement Learning
- Social Interactions in Multi-Agent Systems
- Task-Based Agent Context
- Task-Oriented Agents

* Distributed Problem Solving
- Agent-Based Grid Computing
- Agent Networks in Distributed Problem Solving
- Collective Group Behavior
- Coordination and Cooperation
- Distributed Intelligence
- Distributed Search
- Dynamics of Agent Groups and Populations
- Efficiency and Complexity Issues
- Market-Based Computing
- Problem-Solving in Dynamic Environments

* Autonomous Auctions and Negotiation
- Agent-Based Marketplaces
- Auction Markets
- Combinatorial Auctions
- Hybrid Negotiation
- Integrative Negotiation
- Mediating Agents
- Pricing Agents
- Thin Double Auctions

* Applications
- Agent-Based Assistants
- Agent-Based Virtual Enterprise
- Embodied Agents and Agent-Based Systems Applications
- Interface Agents
- Knowledge and Data Intensive Systems
- Perceptive Animated Interfaces
- Scalability
- Social Simulation
- Socially Situated Planning
- Software and Pervasive Agents
- Tools and Standards
- Ubiquitous Systems and E-Technology Agents
- Ubiquitous Software Services
- Virtual Humans
- XML-Based Agent Systems

++++++++++++++++++++++++++++++++++++
On-Line Submissions and Publication
++++++++++++++++++++++++++++++++++++

High-quality papers in all IAT related areas are solicited.
Paper submissions should be limited to a maximum of 7 pages in the
IEEE 2-column format, the same as the camera-ready format (see the
Author Guidelines of last year at
http://www.ieeeconfpublishing.org/cpir/AuthorKit.asp?Community=CPS&Facility=CPS_Nov&ERoom=IAT+2007).
All submitted papers will be reviewed by the Program Committee on
the basis of technical quality, relevance, significance, and clarity.

Note that IAT'08 will accept ONLY on-line submissions, containing
PDF versions. Please use the Submission Form on the IAT'08
website to submit your paper. Accepted papers will be published in the
conference proceedings by the IEEE Computer Society Press that are
indexed by EI.

Submissions accepted as regular papers will be allocated 7 pages in the
proceedings and accorded oral presentation times in the main conference.
Submissions accepted as short papers will be allocated 4
pages in the proceedings and will have a shorter presentation time at
the conference than regular papers.

All co-authors will be notified at all time, for the submission,
notification, and confirmation on the attendance. Submitting a paper
to the conference and workshops means that, if the paper is accepted,
at least one author should attend the conference to present the
paper. The acceptance list and no-show list will be openly published
on-line. For no-show authors, their affiliations will receive a
notification.

A selected number of IAT'08 accepted papers will be expanded and
revised for inclusion in Web Intelligence and Agent Systems: An
International Journal (http://wi-consortium.org/journal.html) and in
Annual Review of Intelligent Informatics
(http://www.wi-consortium.org/annual.html)

The best paper awards will be conferred at the conference on the
authors of (1) the best research paper and (2) the best application
paper. Application-oriented submissions will be considered for the
best application paper award.

More detailed instructions and the On-Line Submission Form can be
found from the IAT'08 homepage: http://datamining.it.uts.edu.au/wi08/html/iat/.

++++++++++
Workshops
++++++++++

As an important part of the conference, the workshop program will
focus on new research challenges and initiatives. All papers accepted
for workshops will be included in the Workshop Proceedings published
by the IEEE Computer Society Press that are indexed by EI, and will be
available at the workshops. Detailed information is available at the
conference homepage.

Accepted Workshops:
===================

Workshop on Collective Intelligence in Semantic Web and Social Networks

Workshop on Web Information Retrieval Support Systems

Workshop on Web Personalization, Reputation and Recommender Systems

Workshop on Intelligent Web Interaction

Workshop on Intelligent e-government

Workshop on New Computing Paradigms for Web Intelligence meets
Brain Informatics

Workshop on Fuzzy Logic On the Web

Workshop on Natural Language Processing and Ontology Engineering

Workshop on Web Intelligence & Intelligent Agent Technology in e-Learning

Workshop on Computational Social Networks

Workshop on Optimization-based Data Mining and Web Intelligence

Workshop on Human Aspects in Ambient Intelligence:
Agent Technology, Human-Oriented Knowledge and Applications

Workshop on e-Commerce, Business, and Services

Workshop on Agents and Data Mining Interaction

Workshop on P2P Computing and Autonomous Agents

Workshop on Logics for Intelligent Agents and Multi-Agent Systems

Workshop on Data Mining in Bioinformatics

2008 WI-IAT Doctoral Workshop

Note: we will not have a separate workshop registration fee
(i.e., conference registration covers everything).

++++++++++
Tutorials
++++++++++

IAT'08 also welcomes Tutorial proposals. IAT'08 will include tutorials
providing in-depth background on subjects that are of broad interest
to the Web intelligence community. Both short (2 hours) and long (half
day) tutorials will be considered. The tutorials will be part of the
main conference technical program. Detailed information is available
at the conference homepage.

Note: we will not have a separate tutorials registration fee
(i.e., only one conference registration covers everything).

++++++++++++++++++++
Industry/Demo-Track
++++++++++++++++++++

We solicit Industry/Demo-Track papers by the following methods.

(1) Industry papers of 4 pages can be submitted on the same schedule as
the research track.
(2) Separate 2 page demo proposals can submitted at a later schedule.
(3) Full regular paper submissions can include a demo option.
That is, a full paper submissions will be asked to
specify if they would like to give a demonstration; choice of
demonstrations (while utilizing information from the regular reviewing
process) will be selected based on value as a demonstration.

For options (1) and (2), please find more detailed instructions at
the homepage: http://datamining.it.uts.edu.au/wi08/html/iat/

++++++++++++++++
Important Dates
++++++++++++++++

* Workshop proposal submission: April 10, 2008
* Electronic paper submission (7 pages): July 10, 2008
* Tutorial proposal submission: July 10, 2008
* Workshop paper submission: July 30, 2008
* Author notification: September 3, 2008
* Conference dates: December 9-12, 2008

++++++++++++++++++++++++
Conference Organization
++++++++++++++++++++++++

Conference General Chairs:
* Chengqi Zhang, University of Technology, Sydney, Australia
* Nick Cercone, York University, Canada

Program Chair:
* Lakhmi Jain, University of South Australia, Australia

IAT Program Co-Chairs:
* Maria Gini, University of Minnesota, USA
* Boi B. Faltings, Swiss Federal Institute of Technology, Swiss
* Takao Terano, Tokyo Institute of Technology, Japan

WI Program Co-Chairs:
* Pawan Lingras, Saint Mary's University, USA
* Matthias Klusch, German Research Center for AI, Germany
* Jie Lu, University of Technology, Sydney, Australia

Organizing Chair:
* Longbing Cao, University of Technology, Sydney, Australia

Workshop Co-Chairs:
* Yuefeng Li, Queensland University of Technology, Australia
* Gabriella Pasi, University of Milano, Italy

Tutorial Chair:
* Ajith Abraham, Norwegian University of science and Technology, Norway

Industry/Demo-Track Chair:
* Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland

Publicity Co-Chairs:
* Ioannis E. Anagnostopoulos, University of the Aegean, Greece
* Jia Hu, International WIC Institute/BJUT, China
* Richi Nayak, Queensland University of Technology, Australia

IEEE-CS-TCII Chair:
* Ning Zhong, Maebashi Institute of Technology, Japan

ACM-SIGART Chair
* Maria Gini, University of Minnesota, USA

WIC Co-Chairs/Directors:
* Ning Zhong, Maebashi Institute of Technology, Japan
* Jiming Liu, University of Windsor, Canada

WIC Advisory Board:
* Edward A. Feigenbaum, Stanford University, USA
* Setsuo Ohsuga, Waseda University, Japan
* Benjamin Wah, University of Illinois, Urbana-Champaign, USA
* Philip Yu, University of Illinois, Chicago, USA
* L.A. Zadeh, University of California, Berkeley, USA

WIC Tech. Committee & WI/IAT Steering Committee:
* Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA
* Nick Cercone, York University, Canada
* Dieter Fensel, University of Innsbruck, Austria
* Georg Gottlob, Oxford University, UK
* Lakhmi Jain, University of South Australia, Australia
* Jianchang Mao, Yahoo! Inc., USA
* Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France
* Hiroshi Motoda, Osaka University, Japan
* Toyoaki Nishida, Kyoto University, Japan
* Andrzej Skowron, Warsaw University, Poland
* Jinglong Wu, Kagawa University, Japan
* Xindong Wu, University of Vermont, USA
* Yiyu Yao, University of Regina, Canada

*** Contact Information ***

The WIC Office
Email: wi08@...

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Re: Question about implications and contexts

2008-04-28T10:17:36Z

On Apr 25, 2008, at 10:05 AM, Robert Goldman wrote:

> What I would like to be able to do is to explore *tentative*
> implications using contexts. I am not sure if this is feasible, and
> if
> so, whether I'm doing this wrong.

...

> Is there any way to make implications that are only visible in a child
> context and hidden from the parent? What I am really after is the
> ability to have *undoable* implications; implications that I can add
> and
> then remove.

Unfortunately, this is not supported by the Loom context mechanism.

Background: Contexts were added relatively late in the Loom
development process, IIRC around release 3.0, and they affect only the
ABox information. The TBox information, which includes the
implications associated with concepts is not context-sensitive. So
you will not be able to have different rules associated with the
concepts in different contexts. The mechanisms involved in the
normalization of concept definitions and the inference mechanisms were
too extensive for us to be able to add context support to them, at
least not in a way that we felt would be both reliable and efficient.

So, that means that what you want to do cannot be done using Loom.
This is one area where PowerLoom has more flexibility, since the
context mechanism was available there from the start.

>
>
> What I did was the following:
>
> (define-context 'foobar :theory nil)
> (define-context 'bletch :theory '(foobar))
> (push-context 'foobar)
> (define-concept 'p)
> (define-concept 'q)
> (define-concept 'r)
> (implies p q)
> (pc p)
>
> gives me:
>
> (defconcept P
> :is-primitive Thing
> :implies (:and Q P)
> :context Foobar)
>
> Now
>
> (push-context 'bletch)
> (implies p r)
>
> Now pc gives me:
>
> (defconcept P
> :is-primitive Thing
> :implies (:and Q P R)
> :context Foobar)
>
> Now I pop the context, and when I pc p, I get
>
> (defconcept P
> :is-primitive Thing
> :implies (:and Q P R))
>
> I was surprised by this --- I expected that back in the Foobar
> context I
> would see only :implies (:and q p).
>
> Is there any way to make implications that are only visible in a child
> context and hidden from the parent? What I am really after is the
> ability to have *undoable* implications; implications that I can add
> and
> then remove.
>
> Thanks,
>
> R

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Question about implications and contexts

2008-04-25T10:05:39Z

What I would like to be able to do is to explore *tentative*
implications using contexts. I am not sure if this is feasible, and if
so, whether I'm doing this wrong.

What I did was the following:

(define-context 'foobar :theory nil)
(define-context 'bletch :theory '(foobar))
(push-context 'foobar)
(define-concept 'p)
(define-concept 'q)
(define-concept 'r)
(implies p q)
(pc p)

gives me:

(defconcept P
:is-primitive Thing
:implies (:and Q P)
:context Foobar)

Now

(push-context 'bletch)
(implies p r)

Now pc gives me:

(defconcept P
:is-primitive Thing
:implies (:and Q P R)
:context Foobar)

Now I pop the context, and when I pc p, I get

(defconcept P
:is-primitive Thing
:implies (:and Q P R))

I was surprised by this --- I expected that back in the Foobar context I
would see only :implies (:and q p).

Is there any way to make implications that are only visible in a child
context and hidden from the parent? What I am really after is the
ability to have *undoable* implications; implications that I can add and
then remove.

Thanks,

R

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Re: A question and a note on running LOOM with SBCL

2008-04-09T12:07:47Z

On Apr 8, 2008, at 7:32 PM, Robert P. Goldman wrote:
> The question: Is there any way to associate meta-information with
> concepts? That is, information that is relevant to the concept qua
>>
> concept, rather than to the members of the concept?

It's easy. There are two ways to do this, but they all boil down to
the same answer.

In Loom, everything is an instance. Concepts and relations are
instances themselves (this is essentially more like OWL-Full, rather
than OWL-DL). So you can make assertions about the concept or
relation just by using its name. (Note that if you create concepts
and relations that have the same name, one of them will get an
instance name that is different, and you will have to use that)

So, the simplest answer is to just use TELL to assert things:

(defconcept person-concept)
...
(tell (author person-concept "Fred Smith"))

This asserts an author relation value about the person-concept.

The other method, if you want to keep all of this information together
is to use the :ANNOTATIONS keyword. Essentially you add metaconcepts
to annotations as the concept name, and binary relations as a list of
(relation-name relation-value). So, in the example above:

(defconcept person-concept
:annotations ((author "Fred Smith")) )

> I suspect that this
> is probably addressed somewhere, but it's beyond what is in the
> scope of
> a tutorial, and I just need a gentle nudge to send me in the right
> direction in the HTML documentation, the older manual, or the
> release notes.

There is an example of that on the DEFCONCEPT documentation page.

> Related to this, is it appropriate to make relations and concepts be
> the
> values of roles? Or would it be more appropriate to use the names,
> and
> leave the mapping to LOOM entities outside LOOM? I had assumed the
> latter, but as I look inside the implementation of LOOM, it seems like
> LOOM entities are used in relations.

Sure. That is perfectly fine. Loom is quite happy to have such meta-
relations defined. You should just use the Loom objects because that
will make your usage of Loom a lot simpler.

> The comment -- I was caught without my ACL license one day, and
> spent a
> few hours getting LOOM partly working on SBCL. It was a little
> messy,
> because SBCL puts all the CLOS functions in COMMON-LISP and all the
> MOP
> functions in SB-MOP, and these all seem to be in CLOS:: in LOOM. I
> *think* I have that resolved. LOOM seems to expect that any CL
> implementation that has CLOS will have :clos on the *features*, but
> SBCL
> is so firmly ANSI that it doesn't even consider the possibility of NOT
> having CLOS. I just stuffed :clos on the *features* for SBCL; I hope
> that's appropriate.

Hmm. In answering your previous message, I found myself trying to
compile Loom 4.0 on my Intel Mac using SBCL and started running into
some problems relating to packages as well. One thing I ended up
doing was to add CLOS as a nickname of the SB-MOP package, but I still
need to figure out what the magic incantation is to suppress the
package-lock warning. Oh, wait, it looks like WITHOUT-PACKAGE-LOCKS.

I should add that to the Loom packages file.

> Another issue is that SBCL is ferociously strict
> about the ANSI standard, whereas ACL, at least, is very lax on
> allowing
> CLtL1 constructs (exports at top level, etc.).

Actually, a lot of Loom development was done on MCL, which was also a
strict compiler. Moving Loom 2.0 to it back in the early 1990s
cleaned up a lot of the laxity in the code.

EXPORTS at top level are not really disallowed by the ANSI standard.
That should generate just a style warning.

I think I have some ways to perhaps disable such style warnings in
some other Lisp code. Maybe that could be added to Loom to make it
seem less scary. I should at least add it to the code that calls the
compiler during runtime, since that will also help things seem less
scary.

> SBCL's MOP is a little
> different, too. I note, for example, that access to fields of
> STANDARD-METHOD must be done functionally, and cannot be done by
> SLOT-VALUE (the slots are given names that foil access).

This area is historically the trickiest part of porting Loom to new
lisp implementations. There is a small bit of MOP-hackery associated
with creating CLOS classes, and a bit more relating to the run-time
creation of methods for role access. Those tended to be a bit
problematic, because Loom was implemented just around the time that
this was becoming a de-facto standard, so there is a lot of
conditional code around that aspect. I'll have to take a look at it
some time.

>
>
> If anyone's interested, I could probably extract a comprehensive patch
> from our SVN repository. I still have one error in loading the coda.

I would be interested in getting that information. With some spare
time, I would then update the distribution on our web site.

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

A question and a note on running LOOM with SBCL

2008-04-08T19:32:52Z

The question: Is there any way to associate meta-information with
concepts? That is, information that is relevant to the concept qua
concept, rather than to the members of the concept? I suspect that this
is probably addressed somewhere, but it's beyond what is in the scope of
a tutorial, and I just need a gentle nudge to send me in the right
direction in the HTML documentation, the older manual, or the release notes.

Related to this, is it appropriate to make relations and concepts be the
values of roles? Or would it be more appropriate to use the names, and
leave the mapping to LOOM entities outside LOOM? I had assumed the
latter, but as I look inside the implementation of LOOM, it seems like
LOOM entities are used in relations.

The comment -- I was caught without my ACL license one day, and spent a
few hours getting LOOM partly working on SBCL. It was a little messy,
because SBCL puts all the CLOS functions in COMMON-LISP and all the MOP
functions in SB-MOP, and these all seem to be in CLOS:: in LOOM. I
*think* I have that resolved. LOOM seems to expect that any CL
implementation that has CLOS will have :clos on the *features*, but SBCL
is so firmly ANSI that it doesn't even consider the possibility of NOT
having CLOS. I just stuffed :clos on the *features* for SBCL; I hope
that's appropriate. Another issue is that SBCL is ferociously strict
about the ANSI standard, whereas ACL, at least, is very lax on allowing
CLtL1 constructs (exports at top level, etc.). SBCL's MOP is a little
different, too. I note, for example, that access to fields of
STANDARD-METHOD must be done functionally, and cannot be done by
SLOT-VALUE (the slots are given names that foil access).

If anyone's interested, I could probably extract a comprehensive patch
from our SVN repository. I still have one error in loading the coda.
--
Robert P. Goldman
Senior Scientist
Smart Information Flow Technologies (d/b/a SIFT, LLC)

211 N. First St., Suite 300
Minneapolis, MN 55401

Voice: (612) 384-3454
Email: rpgoldman@...
_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Re: contexts in LOOM

2008-04-02T11:10:44Z

Thank you very much for your so-helpful answers. For specific points
below, I have added some remarks.

Thomas Russ wrote:

>
> On Apr 1, 2008, at 4:14 PM, Robert P. Goldman wrote:
>> I was wondering if anyone could enlighten me about how to use concepts
>> in LOOM.
>>
>> Here is what I would like to do (I think):
>>
>> I would like to create a KB that contains a stable TBox. I can do this
>> with DEFKB, I believe.
>
> Yes. Although in the later versions we switched to prefering DEFCONTEXT
> instead. When we revamped the context system for version 3.0, we kept
> the older DEFKB for backwards compatibility. We don't really use it
> anymore.

Does that mean that I should just drop the defkb altogether and simply
create an initial context that contains the stable TBox?

If I do this, when I call DEFINE-CONTEXT the first time, what should be
the parentcontexts? Would it be safest to do

(define-context 'my-context :theory (list (current-context)))
?

Your instructions about creating child contexts were quite clear; it's
only the basis case about which I still have questions.
>
> I should note that some of the documentation is rather dated, so you
> should make sure you read the release notes for both versions 3 and 4,
> since that describes the newer features. [Edit: I see below that
> you've done that. Good.]

I am, in a desultory way, editing the HTML files when I find something
out-of-date. If you are at all interested in the results, I would be
happy to tar them up and send them to you.

[..snip...]

>>
>> P.S. feel free to ignore me for not using PowerLoom, if you so wish, but
>> the decision to use Loom rather than PowerLoom was *not* made based on
>> ignorance of the latter's existence.
>
> I would never do that. They are, in fact, different tools and have
> different strengths and weaknesses. If you are looking for a
> classification-based KR language, I don't think you can beat Loom.
> Although I am a bit biased, I much prefer Loom to OWL. The only
> significant drawback to Loom for most users is the need to use Common
> Lisp, which is not a barrier for you.

Rather the contrary, thanks!

>
>> I need to rapidly prototype an
>> inference capability to be tightly integrated into a Common Lisp
>> application, and PowerLoom's use of Stella makes this prohibitively
>> difficult.
>
> If you have some time, I would like to hear what about the Stella
> connection makes this so difficult. Normally for most of our code
> prototyping, I just type PowerLoom expressions at the lisp command
> line. There are a few gotchas relating mostly to keyword and symbol
> arguments that I'm aware of, but I would be curious to know what makes
> it hard to integrate.

In a past project I had tried to use PowerLoom, but the embedding was
quite difficult, because there was a difficult boundary when invoking
PowerLoom functions and, even more when unpacking their results. I had
particular problems when I was getting sets of things back from
PowerLoom, and had to traverse them to pull information out and import
it into Common Lisp. In particular, I found it difficult to use the
structure accessors, and the iterators. I'm a little bit hazy on the
details, but I recall it being difficulty to, for example, have a stella
iterator that would extract information for the benefit of CL code.

Possibly this was partly due to what makes PowerLoom work for you! As
you say, it's very easy to interact with PowerLoom through the Loop
REPL. Unfortunately for the person wishing to use PowerLoom *with* CL,
this is done by tailoring the behavior of the REPL. So, for example, my
use of describe and the inspector to root around inside the stella
objects to figure out how to pull out information was complicated.

If I recall correctly, there was also some difficulty in using the
emacs-lisp interface in a mixed Stella + Common Lisp environment. It's
been some time now, but it's possible that the standard meta-. type
facilities behaved oddly....
>
> This isn't meant to be pushing you to use PowerLoom, necessarily. There
> are things where Loom is a better tool to use.

I think that is my case, at any rate, since I really want something like
a DL solution here. I am using LOOM to give some DL-like services to a
conventional planner, so I don't need as total a solution as PowerLoom.

Thanks again,
Robert

--
Robert P. Goldman
Senior Scientist
Smart Information Flow Technologies (d/b/a SIFT, LLC)

211 N. First St., Suite 300
Minneapolis, MN 55401

Voice: (612) 384-3454
Email: rpgoldman@...
_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

contexts in LOOM

2008-04-01T16:14:01Z

I was wondering if anyone could enlighten me about how to use concepts
in LOOM.

Here is what I would like to do (I think):

I would like to create a KB that contains a stable TBox. I can do this
with DEFKB, I believe.

I have some concepts I *may* want to add to the TBox, *if* they satisfy
some tests, which have to do with whether or not appropriate subsuming
classes exist. I was considering this doing the following procedure:

1. Create a new context
2. Add my new concept temporarily to this new context
3. Conduct some queries to see whether the new concept should
permanently be added.
4. Destroy the context
5. If the queries were successful, add the new concept to the KB.

I have looked over the documentation on concepts in the LOOM 3.0 release
notes, and I believe that I can create the temporary context using

(define-context <gensym> <type-of-context> <parent-contexts>
:creation-policy :classified-instance)

It's the arguments I am having difficulty with. In particular:

1. What's the difference between the different context types? I get
the sense that :theory is heavyweight and not for my purpose here, but
don't have the foggiest idea whether :workspace, :island, or :world is
most appropriate, although :workspace seems suggestive.

2. What should I choose as the parent-context? Should I be making a
context as well as a KB when I call defkb? Should I somehow be
establishing a default context for my KB? If I don't establish a
default context, what should the parent-contexts be? NIL?

There is some code in use-loom that seems suggestive in this regard, but
I don't fully comprehend it, and I can't really invoke use-loom in my
application -- the wide-ranging package surgery it does is really not
appropriate for me.

3. Does the :creation-policy matter to me at all? I ask because I am
only going to be working with concepts in the TBox in this temporary
context. Does :classified-instance affect concepts, or only instances?
If instances only, then I assume :creation-policy is a don't-care for me...

Thank you very much for any advice!

P.S. feel free to ignore me for not using PowerLoom, if you so wish, but
the decision to use Loom rather than PowerLoom was *not* made based on
ignorance of the latter's existence. I need to rapidly prototype an
inference capability to be tightly integrated into a Common Lisp
application, and PowerLoom's use of Stella makes this prohibitively
difficult.
_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Call for WI-IAT 2008 Workshop Proposal

2008-03-18T19:43:38Z

[Apologies if you receive this more than once]

==============================================================
Call for Workshop Proposals

2008 IEEE/WIC/ACM International Joint
Conference on Web Intelligence and Intelligent Agent Technology
(WI-IAT'08)

Sydney, Australia, December 9-12, 2008.
http://datamining.it.uts.edu.au/wi08/html/wi/?index=about
http://datamining.it.uts.edu.au/wi08/html/iat/?index=about

*******************************************************************
Workshop Proposals Due: ** April 10 **, 2008

All papers accepted for workshops will be included in the Workshop
Proceedings published by the IEEE Computer Society Press,
which are indexed by EI.
===================================================================

The Program Committees of the 2008 IEEE/WIC/ACM International Joint
Conference on Web Intelligence and Intelligent Agent Technology
(WI-IAT'08) invite proposals for Workshops. The Workshops will be
held within the Conference, December 9-12, 2008 at Sydney, Australia.

The workshop organizers will be responsible for advertising the
workshop, forming the program committees, reviewing and selecting the
papers, and guaranteeing a high quality worthy of the prestige and
range of the Conference. All papers accepted for workshops will be
included in the Workshop Proceedings published by the IEEE Computer Society
Press and will be available at the workshops.

The workshop organizers will also have the discretion of editing
selected papers (after their expansion and revision) into books or
special journal issues. Workshops may be full-day or half-day. A
full-day workshop should select 20-25 regular papers, while a half-day
workshop should select 10-13 regular papers, from a large number of
submissions. The workshop organizers should ensure the presence of
authors of accepted papers at the workshops.

I. Workshop Topics

Each workshop subject will focus on new research challenges and
initiatives in Web Intelligence (WI) and Intelligent Agent Technology
(IAT). The workshops should provide an informal and vibrant forum for
researchers and industry practitioners to share their research results
and practical development experiences in these two fields. Suggested,
but not limited to, workshop topics include:

- Web Intelligence, Brain Informatics and Bio Technology
- Intelligent E-Technology (including E-Science, E-Business,
E-Learning, E-Finance, E-Government, E-Community)
- Intelligent Web Interaction
- Knowledge Grids and Grid Intelligence
- Semantics and Ontology Engineering
- Social Networks and Social Intelligence
- Web Agents
- Web Information Filtering and Retrieval
- Web Mining and Farming
- Web Personalization and Recommendations
- Web Security, Integrity, Privacy and Trust
- Web Services and Grid Services
- Web Support Systems
- World Wide Wisdom Web (W4)
- Agent Systems Modeling and Methodology
- Autonomous Knowledge and Information Agents
- Autonomous Auctions and Negotiation
- Autonomy-Oriented Computing (AOC)
- Learning and Self-Adapting Agents
- Agents and Data Mining Interaction
- Multiagent Systems in E-business

II. Workshop Proposal Submission

Workshop proposals should include the following elements:

- Title of the workshop
- The organizers name, affiliation, mailing address and e-mail address
- A description of the topic of the workshop (not exceeding 200 words)
- Type of the workshop (full-day or half-day)
- A description of how the workshop will contribute to the field of
Web Intelligence and/or Intelligent Agent Technology
- A short description on how the workshop will be advertised so as
to ensure a sufficiently wide range of authors and high quality papers

After the acceptance of a workshop proposal the organizer(s) should:

- Create a "Call for papers/participation" for the workshop
- Create a Web page for the workshop, the link of which will be published
on the Conference Web site
- Create a Board of Reviewers (Program Committee)
- Review and select papers
- Schedule the workshop activities

Those papers selected by the organizer(s) will also be reviewed by
the Workshop Co-Chairs for final acceptance.

All submitted papers will be reviewed on the basis of technical
quality, relevance, significance, and clarity.

We will provide an online paper submission and review system
to support the workshops.

Please submit your Proposals to both Workshop Co-Chairs by emails.

III. Important Dates

- Workshop proposal submission: April 10, 2008
- Electronic submission of full papers: July 10, 2008
- Workshop paper submission: July 30, 2008
- Notification of paper acceptance: September 3, 2008
- Camera-ready of accepted papers: September 30, 2008
- Workshops: December 9, 2008
- Conference: December 9 - 12, 2008

We look forward to your support in making 2008 IEEE/WIC/ACM WI-IAT
workshops an exciting event.

Workshop Co-Chairs:

A/Prof. Yuefeng Li, Queensland University of Technology, Australia
E-mail: y2.li@...

Prof. Gabriella Pasi, University of Milano Bicocca, Milano, Italy
E-mail: pasi@...

Note: we will not have a separate workshop registration fee this year
(i.e., only one conference registration covers everything).

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Triadic Relations and Meaning (english)

2008-02-05T07:03:17Z

Triadic Relations and Meaning

Consider the context of a triadic relation, where each node in a triple (instance of this relation) plays a specific role, according it's place in the triple.

Let's use for this example, the relationship between three persons, one Son, a Father and a Mother. Note tha this three types of instance are played by instances of type Person, according to the rol / place in the relation triple.

Son = Mother::son(Father)
Mother = Father::mother(Son)
Father = Son::father(Mother)

According this, corresponds that a specific Son refers only one Mother and Father, that a Mother, according to one Son of her, refers only one Father. The same way, a Son and a Father refers only one Mother.

Another example:

Considering the relationship between an Author, a Title and a Piece.

1. A Title of an Author refers 1 Piece
2. An Author and a Piece refers 1 Title
3. A Piece and a Title refers 1 Author

Piece = Author::piece(Title)
Títle = Piece::title(Author)
Author = Title::author(Piece)

For certain Subject or 'real' thing there is a Topic (Name) representing it (like a handle). This Subject represents a Type instance representing Topic 't', which, in turns, represents another Subject.

Topic -> reifies -> Subject
Subject -> reifies -> Type
Type -> reifies -> Topic

Name (type.name(Value))
Type (value.type(Name))
Value(name.value(Type))

04/02/2008: Sebastián Samaruga

Triadic Relations and meaning (spanish)

2008-02-04T14:58:48Z

Relaciones triádicas y significado

Consideremos el contexto de una relación triádica, donde cada uno de los nodos de un triple (triple instancia de esta relación) juega un rol específico, de acuerdo a su Rol / Ubicación en el triple.

Usaremos para este ejemplo la relación entre tres personas: un Hijo, un Padre y una Madre. Notemos que estos tres tipos de instancia los juegan instancias del tipo Persona, según en que Rol / Ubicación participan en el triple de la relación.

Hijo = Madre::hijo(Padre)
Madre = Padre::madre(Hijo)
Padre = Hijo::padre(Madre)
Por lo cual, correspond que un hijo específico refiere a una sola Madre y un sólo padre. Que una Madre, de acuerdo a un Hijo suyo, refiere a un solo Padre. Igualmente, un Hijo y su Padre, refieren una sola Madre.

Otro ejemplo:

Teniendo en cuenta la relación entre Autor, Título y Obra, tenemos que

1. Un Título de un Autor refiere 1 Obra
2. Un Autor y una Obra refieren 1 Título
3. Una Obra y un Título refieren 1 Autor

Obra = Autor::obra(Titulo)
Título = Obra::titulo(Autor)
Autor = Titulo::autor(Obra)
En el primer ejemplo se ha visto que instancias de tipo Persona juegan del rol de Hijo, Padre y Madre según su ubicación en el triple. En este caso vemos que el tipo de una instancias de una clase varía / se promueve de acuerdo a como se la considera a través de su participación en una instancia de un tipo de relación (Contexto).

A partir de este esquema, también podríamos considerar que deben de influír en el tipo de un objeto / entidad ciertos valores de sus atributos. Ej.:

Adulto = Persona ( edad > 21);
Marido = Persona ( sexo = M; estadoCivil= CASADO)
Por lo que tenemos que las variaciones en el estado de una instancia de alguna clase también deberían nfluír en su Rol. O sea, en el tipo de actor que es, jugando cierto papel, en determinado contexto e interacciónes.

Podría pensarse que un tipo / conjunto, sus instancias / valores de su Clase / Nombre correspondiente es/son definido/s, el Tipo de cierto Nombre con Tipos/Nombres de sus partes o miembros que toman Valores específicos para un valor del tipo que las encierra.

Otra forma de decirlo: Para cierto Subject o cosa 'real' hay un Topic o Name que lo representa (como un handle). Este Subject representa una instancia de un Type que representa el Topic 't' que, tal vez, represente otro Subject.

Topic -> reifies -> Subject
Subject -> reifies -> Type
Type -> reifies -> Topic

Name (type.name(Value))
Type (value.type(Name))
Value(name.value(Type))
Estados

Hay ejemplos de implicacion de estados de a ternas, o sea que en cierto tipo de relación se pueden ver como triples, en una relacion en la que se implican unos con otros.

Por ejemplo:
a: Pasajero.enViaje
b: Viaje.iniciado
c: Destino.aproximándose

entonces

a IMPLICA b
b IMPLICA c
c IMPLICA a
Relaciones Relativas o Difusas

Considerando propiedades de un objeto que toman su valor de la comparación entre otras instancias. Por ejemplo: Joven / Viejo; Grande / Pequeño.

Hay que vonvenir que estas propiedades tienen un punto de referencia sobre el cual se basa y especifica su valor. Este 'eje' ó 0 (cero) en la recta tiene, a su izquierda, el -1 (ej.: pequeño), a su derecha el 1 (ej.: grande), siendo el mismo el 0 ó "igual".

Esta relatividad de contexto en el cual son visibles las propiedades lleva a tener cierto marco "difuso" en el cual especificar su valor, de acuerdo con el punto de vista del espectador: Ej.:

Algo ES (punto de vista objetivo)
Algo Se ve como / Parece (según sí mismo)
Algo Es visto como / Parece (según otro espectador)
Otro ejemplo de relatividad:

arriba > aquí; abajo < aquí; abajo < arriba;

aquí.arriba (Lugar) > aqui (Lugar > aquí.abajo (Lugar).

Ejemplo con tamaños:

chico = -1;
igual = 0;
grande = 1;
(Podría llegar a definirse, desde aquí, un algebra similar a la booleana)

04/02/2008: Sebastián Samaruga

New Faculty Position on "Knowledge Representation and Reasoning" (Technical University of Crete, Greece)

2007-09-27T02:16:03Z

[Note: for European Union citizens only]

The Department of Electronic and Computer Engineering [ www.ece.tuc.gr ] of the Technical University
of Crete (TUC) [ www.tuc.gr ] invites applications for:

* One (1) tenure-track faculty position at the rank of Assistant Professor in the area of "Knowledge
Representation and Reasoning" under the Division of Computer Science.

Candidates are expected to hold a Ph.D. in computer science, computer engineering, or a closely
related field. Candidates are expected to demonstrate potential for excellence in teaching and
research. The positions are open to all European Union citizens.

The Department of Electronic and Computer Engineering of TUC offers BSc, MSc, and PhD degrees. The
official language of instruction is Greek. Citizens of European Union countries must be able to
demonstrate good command of the language.

Interested scientists may apply by November 7, 2007 (absolute deadline). Details about the
application procedure are available on this page:

http://www.ece.tuc.gr/dep_en.htm

For further details about the position and the application procedure, please contact the
Departmental Secretary Mrs Vicky Grigoraki (vg@...) or prof. Stavros Christodoulakis
(stavros@...).

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Sets / Concepts

2007-08-27T23:26:32Z

Software Patterns Blog

2007-04-11T18:46:34Z

Greetings,

I am pleased to broadcast the launch of a new blog called the
software pattern blog http://pattern.ijop.org
<http://pattern.ijop.org/>
. This blog belongs to the editors of IJOP, columnists, staff,
advisory, editorial and domain expert boards, external reviewers, and
to those who have been specially invited. It is an open forum which is
managed by Dr. M. E. Fayad and his associates, if you would like to
submit an article to the Software Pattern Blog, please email it to
patterns-blog@... <mailto:patterns-blog@...>
and refer to the guidelines at http://pattern.ijop.org/?page_id=4

This blog focuses on software patterns, stable analysis and design
patterns, architectural patterns, pattern languages and how to
develop systems of patterns. In order to keep the spam at a minimum,
postings will be moderated. Also please avoid anonymous/spoofed
posting. The objective of this blog is to foster mature discussions
about issues that affect all software developers and practitioners
nowadays.

Feel more than welcome to participate! To start reading and
subscribing to the blog, click here
<http://pattern.ijop.org/wp-login.php?action=register>
.

Sincerely,

Eduardo M. Segura

Co-Founder and Project Manager

vrlSoft, Inc.

--
ijop.org

--
Powered by PHPlist, www.phplist.com --

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

IEEE/WIC/ACM WI-IAT'07: Call for Workshop Proposals

2007-02-21T18:20:42Z

[Apologies if you receive this more than once]

==============================================================
Call for Workshop Proposals

2007 IEEE/WIC/ACM International Joint
Conference on Web Intelligence and Intelligent Agent Technology
(WI-IAT'07)

Silicon Valley, USA, November 2-5, 2007.
http://www.cs.sjsu.edu/wi07/

*******************************************************************
Workshop Proposals Due: ** March 20 **, 2007

All papers accepted for workshops will be included in the Workshop
Proceedings published by the IEEE Computer Society Press,
which are indexed by EI.
===================================================================

The Program Committees of the 2007 IEEE/WIC/ACM International Joint
Conference on Web Intelligence and Intelligent Agent Technology
(WI-IAT'07) invite proposals for Workshops. The Workshops will be
held within the Conference, November 2-5, 2007 at Silicon Valley, USA.

The workshop organizers will be responsible for advertising the
workshop, forming the program committees, reviewing and selecting the
papers, and guaranteeing a high quality worthy of the prestige and
range of the Conference. All papers accepted for workshops will be
included in the Workshop Proceedings published by the IEEE Computer Society
Press and will be available at the workshops.

The workshop organizers will also have the discretion of editing
selected papers (after their expansion and revision) into books or
special journal issues. Workshops may be full-day or half-day. A
full-day workshop should select 20-25 regular papers, while a half-day
workshop should select 10-13 regular papers, from a large number of
submissions. The workshop organizers should ensure the presence of
authors of accepted papers at the workshops.

I. Workshop Topics

Each workshop subject will focus on new research challenges and
initiatives in Web Intelligence (WI) and Intelligent Agent Technology
(IAT). The workshops should provide an informal and vibrant forum for
researchers and industry practitioners to share their research results
and practical development experiences in these two fields. Suggested,
but not limited to, workshop topics include:

- Intelligent E-Technology (including E-Science, E-Business,
E-Learning, E-Finance, E-Government, E-Community)
- Intelligent Human-Web Interaction
- Knowledge Grids and Grid Intelligence
- Semantics and Ontology Engineering
- Social Networks and Social Intelligence
- Ubiquitous Computing
- Web Agents
- Web Information Filtering and Retrieval
- Web Mining and Farming
- Web Security, Integrity, Privacy and Trust
- Web Services and Grid Services
- Web Support Systems
- World Wide Wisdom Web (W4)
- Agent Systems Modeling and Methodology
- Autonomous Knowledge and Information Agents
- Autonomous Auctions and Negotiation
- Autonomy-Oriented Computing (AOC)
- Learning and Self-Adapting Agents
- Distributed Intelligence

II. Workshop Proposal Submission

Workshop proposals should include the following elements:

- Title of the workshop
- Your name, affiliation, mailing address and e-mail address
- A description of the topic of the workshop (not exceeding 200 words)
- Type of the workshop (full-day or half-day)
- A description of how the workshop will contribute to the field of
Web Intelligence and/or Intelligent Agent Technology
- A short description on how the workshop will be advertised so as
to ensure a sufficiently wide range of authors and high quality papers

After the acceptance of a workshop proposal the organizer(s) should:

- Create a "Call for papers/participation" for the workshop
- Create a Web page for the workshop, the link of which will be published
on the Conference Web site
- Create a Board of Reviewers (Program Committee)
- Review and select papers
- Schedule the workshop activities

Those papers selected by the organizer(s) will also be reviewed by
the Workshop Co-Chairs for final acceptance.

All submitted papers will be reviewed on the basis of technical
quality, relevance, significance, and clarity.

We will provide an online paper submission and review system
to support the workshops.

III. Important Dates

- March 20, 2007: Workshop proposal submission due
(Please send proposals by e-mail to both Workshop Co-Chairs)
- April 1, 2007: Notification to workshop proposers
- April 10, 2007: Each workshop organizer sends out Call for Workshops Papers
- June 20, 2007: Due date for full workshop papers submission
(at least two reviews for each paper)
- August 2, 2007: Final acceptance by Workshop Co-Chairs
- August 3, 2007: Notification of paper acceptance to authors
- August 17, 2007: Camera-ready of accepted papers
- November 2-5, 2007: Workshops

We look forward to your support in making 2007 IEEE/WIC/ACM WI-IAT
workshops an exciting event.

Workshop Co-Chairs:

Vijay Raghavan, University of Louisiana
E-mail: raghavan@...

Yuefeng Li, Queensland University of Technology, Australia
E-mail: y2.li@...

Note: we will not have a separate workshop registration fee this year
(i.e., only one conference registration covers everything).

For your information, the WI-IAT'07 conference will be co-located with
the IEEE International Conference on BioInformation and BioMedicine
(BIBM'07) and IEEE International Conference on Granular Computing
(GrC'07) for providing synergism among the four research areas. It
will provide opportunities for technical collaboration beyond that of
previous conferences. The four conferences will have the joint
opening, keynote, reception, and banquet. Attendees only need to
register one conference and can attend sessions across the four
conferences. We are planning to have a joint panel and joint paper
sessions that discuss common problems in the four areas.

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

Loom 2.1 [p243] Loom 3.0 [p191] Loom 4.0 [p75]

2006-12-23T14:24:53Z

As of Sat Dec 23 14:24:43 PST 2006, the current status of Loom patch files is

Loom 2.1: Patch level 243 from 11-Sep-2002
Loom 3.0: Patch level 191 from 23-Jul-2003
Loom 4.0: Patch level 75 from 08-May-2006
_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

need semantic nets n frames open softwares

2006-09-20T04:30:30Z

hi all, i couldnt find semantic nets n frames open softwares in google... Can anyone direct me to the link to download???? thanks in advance.....

CFP: IEEE ICDM'06 Workshop

2006-07-25T06:10:45Z

[Apologies if you receive this more than once]

==================================================================
Call for Workshop Papers

ICDM'06: The 6th IEEE International Conference on Data Mining

Hong Kong Convention and Exhibition Centre, Hong Kong, China,
18-22 December 2006

Sponsored by the IEEE Computer Society
http://www.comp.hkbu.edu.hk/iwi06/icdm/?index=workshop

(Full Workshop Papers Due: 30 July 2006)
Accepted papers will be published in the conference proceedings
by the IEEE Computer Society Press that are indexed by EI.

Note: we will not have a separate workshop registration fee this year
(i.e., conference registration covers everything).
===================================================================

As an important part of the conference, the workshop program will
focus on new research challenges and initiatives. All papers accepted
for workshops will be included in the Workshop Proceedings published
by the IEEE Computer Society Press that are indexed by EI,
which will be available at the workshops.

-------------------
Accepted Workshops:
-------------------

1. ICDM 2006 Workshop on Ontology Mining and Knowledge Discovery
from Semistructured Documents
(http://sky.fit.qut.edu.au/~nayak/MSD06/overview.html)

2. ICDM 2006 Workshop on Data Mining in Bioinformatics
(http://icdm06.biomap.org/)

3. ICDM 2006 Workshop on Mining Complex Data
(http://eric.univ-lyon2.fr/~mcd06/)

4. ICDM 2006 Workshop on Mining Spatial and Spatio-temporal Data
(http://www.cs.hku.hk/~nikos/sstdm06/)

5. ICDM 2006 Workshop on Foundation of Data Mining and Novel Techniques
in High Dimensional Structural and Unstructured Data
(http://www.cs.sjsu.edu/~tylin/ICDM06/index.html)

6. ICDM 2006 Workshop on Privacy Aspects of Data Mining
(http://www-kdd.isti.cnr.it/padm06/)
7. ICDM 2006 Workshop on Data Mining for Design and Marketing
(http://www2.ipcku.kansai-u.ac.jp/~yada/conf/dmdm06/)

8. ICDM 2006 Workshop on Mining Stream/Evolving Data
(http://www.csse.monash.edu.au/~mgaber/iwmesd/)

9. ICDM 2006 Workshop on Risk Mining
(http://www.med.shimane-u.ac.jp/med_info/risk_mining/cfp.html)

10. ICDM 2006 Workshop on Reliability Issues in Knowledge Discovery
(http://www3.it.deakin.edu.au/~hdai/RIKD06/)

11. ICDM 2006 Workshop on Data Mining and Wireless Sensor Networks
(http://cs.acadiau.ca/~shussain/dm-wsn/cfp.html)

12. ICDM 2006 Workshop on Optimization-based Data Mining Techniques
with Applications
(http://www.dtke.ac.cn/meeting/meeting_5.htm)

Note: we will not have a separate workshop registration fee this year
(i.e., conference registration covers everything).

For more information, please visit the conference website at
http://www.comp.hkbu.edu.hk/iwi06/icdm/?index=workshop.

++++++++++++++++++++++++++
Workshop Paper Submission
++++++++++++++++++++++++++
http://wi-lab.com/cyberchair/icdm06/scripts/ws_submit.php
(Until Jul 30, 2006, 11.59pm *Pacific Daylight Time*.)

*** Contact Information ***

Yiuming Cheung
Hong Kong Baptist University, HK
E-mail: ymc@...

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum

CFP: IEEE/WIC/ACM WI-IAT'06 Workshop

2006-07-25T05:49:02Z

[Apologies if you receive this more than once]

==============================================================
Call for Workshop Papers

2006 IEEE/WIC/ACM International Joint
Conference on Web Intelligence and Intelligent Agent Technology
(WI-IAT'06)

Hong Kong Convention and Exhibition Centre, Hong Kong, China,
18-22 December 2006
http://www.comp.hkbu.edu.hk/iwi06/wi/?index=workshop
or
http://www.comp.hkbu.edu.hk/iwi06/iat/?index=workshop

(Full Workshop Papers Due: 30 July 2006)
Accepted papers will be published in the conference proceedings
by the IEEE Computer Society Press that are indexed by EI.

Note: we will not have a separate workshop registration fee this year
(i.e., conference registration covers everything).
===================================================================

As an important part of the conference, the workshop program will
focus on new research challenges and initiatives. All papers accepted
for workshops will be included in the Workshop Proceedings published
by the IEEE Computer Society Press that are indexed by EI, and will be
available at the workshops. Detailed information is available at the
conference homepage.

We will not have a separate workshop registration fee this year
(i.e., conference registration covers everything).

---------------------------------
I. Accepted as Fullday Workshops:
---------------------------------

1. International Workshop on Agent and Data Mining Interaction (ADMI)
(http://datamining.it.uts.edu.au/iadm/about.php)

2. International Workshop on Web Privacy Intelligence
(http://cusp.smu.ca/Workshop/)

3. International Workshop on Service Composition
(http://events.deri.at/sercomp2006/)

4. The 3rd International Workshop on Web-based Support Systems (WSS'06)
(http://www2.cs.uregina.ca/~wss/wss06/index.html)

----------------------------------
II. Accepted as Halfday Workshops:
----------------------------------

5. International Workshop on Intelligent Agents in Wireless Sensor Networks
(IA-WSN)
(http://cs.acadiau.ca/~eshakshu/IA-WSN-2006.htm)

6. International Workshop on Adaptation and Personalisation for e-Business
Intelligence
(http://www.ru5.cti.gr/WI06/)

7. International Workshop on Semantics in VO and WS
(http://www.dur.ac.uk/w.w.song/SVO&WS2006-main.html)

8. International Workshop on Communication between Human and Artificial
Agents
(http://www.cs.umanitoba.ca/~ckemke/IAT06Workshop/workshop.html)

9. International Workshop on Intelligent Web Interaction (IWI-2006)
(http://ymd.ex.nii.ac.jp/ws/iwi/06/)

10. International Workshop on P2P Computing and Autonomous Agents
(http://www.yl.is.s.u-tokyo.ac.jp/~ragab/P2PAA2006_WI.html)

11. International Workshop on GrC and Brain Informatics (BI) for WI

(http://cs.tongji.edu.cn/prog/InforWeb/publish/newsdetail.jsp?newsno=716)

12. International Workshop on Multi-Agent Systems in E-Business: Concepts,
Technologies and Applications (MASeB'06)
(http://software.ucv.ro/%7Ebadica_costin/maseb2006/)

13. International Workshop on Research of Agent-based Government Horizon
Business Integration Management Systems
(http://management.dlut.edu.cn/wi-iat/index.htm)

14. International Workshop on Technologies and Applications of
Knowledge Computing on the Web
(http://charade.kuis.kyoto-u.ac.jp/%7Esyed/KCW.html)

Note: we will not have a separate workshop registration fee this year
(i.e., conference registration covers everything).

For more information, please visit the conference website at
http://www.comp.hkbu.edu.hk/iwi06/wi/?index=workshop
or
http://www.comp.hkbu.edu.hk/iwi06/iat/?index=workshop

++++++++++++++++++++++++++
Workshop Paper Submission
++++++++++++++++++++++++++
http://wi-consortium.org/wiiat06/scripts/ws_submit.php
(Until Jul 30, 2006, 11.59pm *Pacific Standard Time*.)

*** Contact Information ***

Yiuming Cheung
Hong Kong Baptist University, HK
E-mail: ymc@...

_______________________________________________
Loom Knowledge Representation Language Forum
loom-forum@...
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum