Picon
Favicon

Re: Description Logic of OWL DL: SROIQ vs. ALCHIQ?

Dear Matthew,

Thank you very much for the answer! I already read the primer and the details about SROIQ, but I was confused
about ALCHIQ. However, Protégé is absolutely right, I am not using transitivity.

Best regards,
christine

-----Original Message-----
From: protege-owl-bounces <at> lists.stanford.edu [mailto:protege-owl-bounces <at> lists.stanford.edu]
On Behalf Of Matthew Horridge
Sent: Dienstag, 31. Jänner 2012 16:41
To: User support for the Protege-OWL editor
Subject: Re: [protege-owl] Description Logic of OWL DL: SROIQ vs. ALCHIQ?

Hi Christine,

Protege calculates the description logic from the constructs used in your ontology.  If you don't use the
full array of OWL constructs (which of course you don't need to do) then the expressivity will be something
less than SROIQ.  In your case, you've not used transitivity because if you had the ALC part of ALCHIQ(D)
would be replaced by S to give SHIQ(D).  ALC is one of the basic description logics.  ALCHIQ(D) starts from
ALC and add property hierarchy H, inverse properties I, and qualified cardinality restrictions Q, and
datatypes (D). 

There was recently an announcement about a new DL primer - see the post by Markus Krötzsch pasted in below. 
The primer is at http://arxiv.org/abs/1201.4089

Cheers,

Matthew
(Continue reading)

2nd Call for Papers of OSEMA in FOIS 2012

Call for papers OSEMA 2012


2nd International Workshop on Ontology and Semantic web for Manufacturing (OSEMA 2012): http://www.osema.org.ve/
at the 7th International Conference on Formal Ontologies in Information Systems (FOIS 2012): http://www.kr-med.org/icbofois2012/fois.htm
July 24th or 25th Graz, Austria

SUBMISSION DEADLINE March 15th


Developing innovative and competitive products in a globalized world requires an orchestrated Product Life Cycle Management (PLM). Apart from enterprise policies and good human-based communication channels, appropriate technologies which support representing, managing and reusing the PLM knowledge as well as inferring implicit knowledge in large and geographically distributed knowledge bases are mandatory. Some requirements, related with knowledge, are considered in Ontology and the Semantic Web framework. That is causing an increasing interest in using them into the manufacturing domain. Design for Manufacturing (DfM), Concurrent Engineering (CE) and Flexible Manufacturing Systems (FMS) are modern manufacturing approaches in which the search of orchestration becomes evident. Today there is still the necessity of methodologies, frameworks, software tools and more use cases to support industrial implementations. Ontologies have been used to model products and more recently other resources (machine-tools). In the same way the Semantic Web could support the workflow and decision making in the PLM, enabling automatic information retrieval and reasoning. It is necessary to provide a discussion scenario where theoretical positions, best practices, implementations, proposals of standards, and frameworks are presented. It will deserve special interest to discuss how the manufacturing industry can take advantage of Semantic Web technologies.



QUESTIONS AND TOPICS OF INTEREST

- How can the Semantic Web support the development of new products?
- Ontological framework for manufacturing and interoperability
- A CAD ontology per standard? Or a CAD upper ontology?
- Description Logic, First Order Logic, or Common Logic in the manufacturing domain?
-  One enterprise ontology or modular enterprise ontology?
- How can OWL be used to represent processes in the manufacturing domain?
- Knowledge management over the manufacturing "Know how".
- How can the versioning of products be managed? Can ontology help? How?
- How can raw materials be semantically described?
- Semantic search over the manufacturing information space.
- How can tagging techniques be applied within the manufacturing domain?
-Ontology repositories for the manufacturing domain.

AUDIENCE
We want to bring together researchers and practitioners active in the design, development, and application of ontologies and the Semantic Web in the manufacturing domain, as well as industrial representatives in Computer Aided Design (CAD), Computer Aided Process Planning (CAPP), and Computer Aided Manufacturing (CAM) industry who are interested in integrating the Product Life Cycle management into their software tools.

IMPORTANT DATES
Submission deadline:               15 March (23:59 Hawaii Time)
Notification of acceptance:      15 April
Camera-ready submission:        30 April (23:59 Hawaii Time)
Date of workshop:                 24 July or 25 July

SUBMISSION AND PROCEEDINGS

Only electronic submissions will be considered. All submissions should be submitted in pdf format, to https://www.easychair.org/conferences/?conf=osema2012 <about:blank>.
Submissions should not exceed 14 pages and Papers should be submitted electronically as PDF files prepared in accordance with the IOS formatting guidelines.  (http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/)
The workshop proceedings will be uploaded to CEUR (http://ceur-ws.org/) .

PROGRAM COMMITTEE
Adila A. Krisnadhi, Wright State University, United States of America.
Aristeidis Matsokis, Holcim, Switzerland.
Amina Chniti, IBM Software Group, AIM Division. France.
Aziz Bouras, University Claude Bernard Lyon II, France.
George Tsinarakis, Intelligent Systems and Robotic Laboratory. Greece.
Hilmer Palomares, Universidad Nacional Abierta, Venezuela.
Katariina Nyberg, Aalto University, Dept. of Media Technology, and
University of Helsinki, Finnland.
Marcela Vegetti, Institute of Design and Development, Argentina.
Oliver Eck, Department of Computer Science, HTWG Konstanz, Germany.
Parisa Ghoudous, University Claude Bernard Lyon I, France.
Richard Gil Herrera, University Simón Bolivar. Venezuela.
Suvodeep Mazumdar, University of Sheffield. United Kingdom.
Thomas Moser, Vienna University of Technology, Vienna, Austria.

ORGANIZING COMMITTEE
Luis Enrique Ramos García, University of Bremen, Germany. (Contact person) Email: s_7dns7r <at> uni-bremen.de
Sylvere Krima, National Institute of Standards and Technology (NIST)
Dimitra Anastasiou, University of Bremen
Yuh-Jen Chen (to be confirmed), National Kaohsiung First University of Science and Technology, Taiwan.


_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
Matthew Horridge | 1 Feb 20:32
Picon
Favicon

Re: Pellet + OWLAPI + SWRL Rules

Hi Mar,

You may need to flush the changes into the reasoner (if the reasoner is buffering the changes).

Cheers,

Matthew

On 31 Jan 2012, at 07:45, mar wrote:

> Hi
> 
> I have an ontology with a few SWRL rules included. I load the ontology into
> an OWLAPI OWLOntology class, then realize the ontology with the following
> command in order for it to run the SWRL rules and get inferred properties: 
> 
> getReasoner().getKB().realize();
> 
> After that I change my ontology by changing one of the Object Properties.
> Then I wish the SWRL rules to run again and get the new inferred properties,
> hence I try to use the mentioned command (getReasoner().getKB().realize())
> again but it doesn't get the new inferred properties.
> How is this possible to achieve?
> 
> Thank you in advance.
> 
> Mar
> 
> --
> View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Pellet-OWLAPI-SWRL-Rules-tp4344871p4344871.html
> Sent from the Protege OWL mailing list archive at Nabble.com.
> _______________________________________________
> protege-owl mailing list
> protege-owl <at> lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

Matthew Horridge | 1 Feb 20:40
Picon
Favicon

Re: I can read my Ontology but I can't add any resource or property

Hi,

Is there a particular reason as to why you need to use the protege-owl api?  If not, can I suggest that you use
the OWL API (http://owlapi.sourceforge.net).  This is a more modern API for dealing with OWL.  It also
underpins Protege 4 and will eventually underpin Web Protege.

Cheers,

Matthew

On 30 Jan 2012, at 01:10, NoussaB wrote:

> Hello,
> 
> I'm a biginner in protege-owl api and i try to write some example program, i
> am working with eclipse and I am trying to create/retrieve/view resources
> from existing ontology. My problem is that i can't add any thing in my owl
> file but i can read and do test.
> waiting of your response. 
> 
> My code is:
> package onto ;
> import edu.stanford.smi.protegex.owl.ProtegeOWL;
> import
> edu.stanford.smi.protegex.owl.inference.pellet.ProtegePelletOWLAPIReasoner;
> import edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager;
> import edu.stanford.smi.protegex.owl.inference.reasoner.ProtegeReasoner;
> import edu.stanford.smi.protegex.owl.model.*;
> import java.io.FileInputStream; 
> import java.io.InputStream; 
> import java.util.Collection;
> import java.util.Iterator;
> public class Ontology {
> public static void main(String[] args) {
> 
>                   try {
> 	               InputStream inp = new FileInputStream("C:\\Program
> Files\\Protege_3.4.8\\MyOntology.owl"); 
>                   OWLModel owlModel =
> ProtegeOWL.createJenaOWLModelFromInputStream(inp);
>                   OWLNamedClass classeA =
> owlModel.getOWLNamedClass("ClasseA");
>                   if(classeA!= null) {
>                           Collection assertedSubclasses =classeA
> .getNamedSubclasses();
>                           System.out.println("Number of asserted classeA :
> " + assertedSubclasses.size());
>                           ReasonerManager reasonerManager =
> ReasonerManager.getInstance();
>                       	   ProtegeReasoner reasoner =
> reasonerManager.createProtegeReasoner(owlModel,
> ProtegePelletOWLAPIReasoner.class);
>       	                   // Now get the inferred subclasses of classA
>                           Collection inferredSubclasses =
> reasoner.getSubclasses(classeA);
>                           System.out.println("Number of inferred classeA :
> " + inferredSubclasses.size());
>                           for(Iterator it = inferredSubclasses.iterator();
> it.hasNext();) {
>                                   OWLNamedClass curClass = (OWLNamedClass)
> it.next();
>                                   System.out.println("\t" +
> curClass.getName());
>                           }}
>                             	   
>            	      	   
>            	  	OWLNamedClass personClass =
> owlModel.createOWLNamedClass("Person");
> 
>            	    OWLDatatypeProperty ageProperty =
> owlModel.createOWLDatatypeProperty("age");
>            	    ageProperty.setRange(owlModel.getXSDint());
>            	    ageProperty.setDomain(personClass);
> 
>            	    OWLObjectProperty childrenProperty =
> owlModel.createOWLObjectProperty("children");
>            	    childrenProperty.setRange(personClass);
>            	    childrenProperty.setDomain(personClass);
> 
>            	    RDFIndividual darwin =
> personClass.createRDFIndividual("Darwin");
>            	    darwin.setPropertyValue(ageProperty, new Integer(0));
> 
>            	    RDFIndividual holgi =
> personClass.createRDFIndividual("Holger");
>            	    holgi.setPropertyValue(childrenProperty, darwin);
>            	    holgi.setPropertyValue(ageProperty, new Integer(33));
> 	                } catch (Exception e) {
> 	                        e.printStackTrace();
> 	                }
> 	        }
> 	
> 	
> 	       
> 	
> 	
> 	      
> 	
> 	
> 	       
> 	
> 	
> 	       
> 	
> }
> 
> --
> View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/I-can-read-my-Ontology-but-I-can-t-add-any-resource-or-property-tp4340437p4340437.html
> Sent from the Protege OWL mailing list archive at Nabble.com.
> _______________________________________________
> protege-owl mailing list
> protege-owl <at> lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

Matthew Horridge | 1 Feb 20:42
Picon
Favicon

Re: How to use Add to Ontology option in protege 4.1

Hi Vanaja,

It seems like there is a bug here.  I'll add a bug report to the tracker.

Cheers,

Matthew

On 29 Jan 2012, at 23:06, vanaja jayaraman wrote:

> Dear Sir,
>   
>     When I create a DL Query and choose Add to ontology, a new class is created. But, the class is empty and I
cannot use it again as a query. Where is the problem? And I also need to categorize the results into two classes.
> Pls reply.. 
> 
> 
> -- 
> Vanaja. J
> 
> _______________________________________________
> protege-owl mailing list
> protege-owl <at> lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

Martin O'Connor | 1 Feb 22:58
Picon
Favicon

Re: distinguish between "inferred individuals" from "asserted individuals"


There is no way do distinguish between asserted and SWRL-inferred individuals in Protege 3.

BTW, I would upgrade to the latest 3.4.8; 3.4.4 is quite old by now.

Martin

On 1/31/2012 5:21 AM, samane abdi wrote:
> Dear Experts,
> I am designing an ontology in protege 3.4.4. I am wondering is there a way to distinguish between "inferred 
> individuals" from "asserted individuals" of a class within SWRL rule?
>
> For example: Class A has individuals "a,b,c" where individual "a" is asserted individual and
individuals "b and c" are 
> inferred individuals from a subclass, say Class B. The goal is to define a property relation (for example:
"implies") 
> between asserted individuals and inferred individuals such that "a implies b" and "a implies C"?
>
> Thanks,
> Samane
>
> -- 
> Samane
>
>
> _______________________________________________
> protege-owl mailing list
> protege-owl <at> lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

Martin O'Connor | 1 Feb 23:01
Picon
Favicon

Re: error running SQWRL queries


In the current 3.4.8 version, the built-in is called tbox:isClass.

cf. http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTBoxBuiltIns

Martin

On 1/31/2012 12:18 PM, samane abdi wrote:
> dear experts,
>
> I have this query in the swrlTab :
> "" tbox:isOWLNamedClass(?c1) ∧ tbox:isOWLNamedClass(?c2) ∧
> tbox:isSubClassOf(?c2, ?c1) ∧ abox:isIndividual(?i1) ∧
> abox:hasIndividual(?c2, ?i1) ∧ abox:isIndividual(?i2) ∧
> abox:hasIndividual(?c1, ?i2)  ∧ differentFrom(?i1,?i2) →
> sqwrl:select(?i2, ?i1) ∧ sqwrl:columnNames("MainPermission", "Implies") ""
>
>
> And I get the following error when running the query in protege GUI.
>
> "Exception when running SQWRL query 'Rule-2': error running SQWRL queries: error running Jess rule
engine: Jess 
> reported an error in routine invokeSWRLBuiltIn
> while executing (invokeSWRLBuiltIn ?ruleName ?builtInName ?index false $?dependsOnVariables
$?variableNames $?arguments)
> while executing defrule MAIN::InvokeSWRLBuiltInRule.
>   Message: exception thrown by built-in tbox:isOWLNamedClass in rule Rule-2: 
> edu.stanford.smi.protegex.owl.swrl.bridge.exceptions.UnresolvedBuiltInMethodException:
unresolved built-in method 
> 'tbox:isOWLNamedClass' in rule 'Rule-2'. 
> edu.stanford.smi.protegex.owl.swrl.bridge.builtins.tbox.SWRLBuiltInLibraryImpl.isOWLNamedClass(java.util.List)."
>
> Is there a solution?
>
> Thanks,
> -- 
> Samane
>
>
> _______________________________________________
> protege-owl mailing list
> protege-owl <at> lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
Yu Zhang | 1 Feb 23:05

[Deadline extended to 2/6/2012] CFP Agent-Directed Simulation, March 26-29, 2012, Orlando, FL, USA


[Note that the deadline has been extended to 2/6/2012]

===============================================================
CALL FOR PAPERS and POSTERS
Agent-Directed Simulation Symposium (ADS'12)
Florida Hotel and Conference Center, Orlando, FL, USA
March 26-29, 2012

http://www.scs.org/springsim/2012?q=node/205
Manuscript Submission: February 6, 2012.

Sponsored by The Society for Modeling and Simulation
International (SCS).
Co-located with the 2012 SISO Spring Simulation Interoperability Workshop (SIW)
==============================================================

As part of the 2012 Spring Simulation Multi-conference (SpringSim'12)
   http://www.scs.org/springsim/2012

the 2012 Agent-Directed Simulation Symposium is a premier platform to
explore all three aspects of the synergy of simulation and agent
technologies. Hence, it has a special place within simulation and
agent conferences, including agent-based (social) simulation
conferences. Therefore the ADS symposium fills a gap in the agent
community as well as the simulation community.

The purpose of the ADS symposium is to facilitate dissemination of the
most recent advancements in the theory, methodology, application, and
toolkits of agent-directed simulation. Agent-directed simulation is
comprehensive in the integration of agent and simulation technologies,
by including models that use agents to develop domain-specific
simulations, i.e., agent simulation (this is often referred to as
agent-based simulation -when other two important aspects are not
considered), and by also including the use of agent technology to
develop simulation techniques and toolkits that are subsequently
applied, either with or without agents.

Hence, agent-directed simulation consists of three distinct, yet
related areas that can be grouped under two categories as follows:

   1. Simulation for Agents (agent simulation): simulation of agent
      systems in engineering, human and social dynamics, military
      applications etc.
   2. Agents for Simulation (which has two aspects): agent-supported
      simulation deals with the use of agents as a support facility to
      enable computer assistance in problem solving or enhancing
      cognitive capabilities; and agent-based simulation that focuses
      on the use of agents for the generation of model behavior in a
      simulation study.

Through the theme of agent-directed simulation, the symposium will
bring together agent technologies, tools, toolkits, platforms,
languages, methodologies, and applications in a pragmatic manner. In
this symposium, established researchers, educators, and students are
encouraged to come together and discuss the benefits of agent
technology in their use and application for simulation. It is a way
for people to discuss why and how they have used agent technology in
their simulations, and describe the benefit of having done so.

The theme of ADS'12 is based on the observation of the following
premises.

   * The growth of new advanced distributed computing standards along
     with the rapid rise of e-commerce are providing a new context that
     acts as a critical driver for the development of next generation
     systems. These standards revolve around service-oriented
     technologies, pervasive computing, web-services, Grid, autonomic
     computing, ambient intelligence etc. The supporting role that
     intelligent agents play in the development of such systems is
     becoming pervasive, and simulation plays a critical role in the
     analysis and design of such systems.

   * The use of emergent agent technologies at the organization,
     interaction (e.g., coordination, negotiation, communication) and
     agent levels (i.e. reasoning, autonomy) are expected to advance
     the state of the art in various application technologies is
     difficult. Using agent-supported simulation techniques for
     testing complex agent systems is up and coming field.

   * To facilitate bridging the gap between research and application,
     there is a need for tools, agent programming languages, and
     methodologies to analyze, design, and implement complex,
     non-trivial agent-based simulations. Existing agent-based
     simulation tools are still not mature enough to enable developing
     agents with varying degrees cognitive and reasoning capabilities.

ADS 2012 will provide a leading forum to bring together researchers and
practitioners from diverse simulation societies within computer science,
social sciences, engineering, business, education, human factors, and
systems engineering. The involvement of various agent-directed
simulation groups will enable the cross-fertilization of ideas and
development of new perspectives by fostering novel advanced solutions,
as well as enabling technologies for agent-directed simulation

AUTHOR GUIDELINES

   * Technical papers provide a longer format for presenting experience
     reports, research results, or descriptions of  "work in progress".
     They are limited to 8 pages.

   * Short position papers are targeted at raising a question or framing
     an issue for discussion during the symposium. Position papers are
     limited to 3 pages.

   * Poster presentations present an opportunity to present work in
     progress and receive feedback from colleagues. A one page write-up
     of the poster presentations will be included in the proceedings.

Formatting guidelines and author instructions are available at
     http://www.scs.org/conferences .
Papers should be submitted electronically to
     http://www.softconf.com/scs/ADS12 .
All papers will be subject to a peer-reviewing process by three program 
committee members. (Please see the key dates listed below)

FINAL PAPER SUBMISSION GUIDELINES

All prospective authors, whose papers are accepted for inclusion in the 
program, will be invited to submit their position or technical papers to 
ADS'12. Accepted and registered papers will be published in the conference 
proceedings by the SCS. The committee will select a set of best papers. Authors 
of these papers will be encouraged to submit appropriately expanded versions of 
these papers for journal publication.

KEY DATES
   Feb 6, 2012: Manuscript submission
   Feb 15, 2012: Notification of acceptance
   Mar 1,  2012: Full Camera-ready papers
   Mar 26-29, 2012: ADS'12 Symposium along with SpringSim'12 Conference

General Co-Chairs
   Levent Yilmaz, Auburn University
   Tuncer Oren, University of Ottawa
Program Co-Chairs
   Gregory Madey, University of Notre Dame
   Maarten Sierhuis, Carnegie Mellon University, NASA Ames Research Center
   Yu Zhang, Trinity University
_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

Brice Sommacal | 2 Feb 17:11
Picon

InstanceTree slot widget - Show only one property

Hello, 


I have recently discovered the instanceTree slot Widget. 
This is a wonderful widget because we are able to navigate in our model without opening every times a new window. 

When manipulating classes with many properties, it's quite difficult to quickly see the instance referenced by a specific property.
As I didn't see a option panel in the Configure window, I think that it's not configurable ...

> Indeed, I was wondering if someone already faces this kind of mis-behavior and how it has been resolved...

I'm pretty sure that it's a new functionnality... that we will need to implement by our own. 
> Would anyone be interested in this kind of behavior?

Any feedbacks appreciated,
regards, 


brice
_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
vanaja jayaraman | 3 Feb 07:21
Picon

Algorithms Implementing in protege 4.1

Dear Sir,

Can anyone say how can made queries in protege 4.1
I have created an ontology with some subject names for library search.
I need to list out the subjects with some keywords. For example, If I
search "Economic Ethics", the results should contain the list of
subjects with the names "Economic" and "Ethics".

From the list of subjects displayed I want to categorize into two
classes.For this I think the Add to Ontology option in DLquerytab is
useful. But When I click it a new class was created with no selected
subjects.

Finally I want to visualize the ontology in a special way like
ontosphere3D or TGviz. But I dont know how to install the plugin.

Pls help and reply me soon..
--

-- 
*Vanaja. J
*
_______________________________________________
protege-owl mailing list
protege-owl <at> lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03


Gmane