http://blog.gmane.org/gmane.comp.misc.ontology.protege.owl hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37032 <pre>Hi all, I am working in an ontology which relates concepts from two other ontologies defining this relations as restricted classes. What I want is to make the reasoner infer the implicit inverse object property. For example: I define my Class MyAmygdala to relate the imported class Amygdala with other imported class Function with restrictions "*hasAnatomicalEntity some Amygdala and hasCognitiveFunction Function*" So the DL Query *Anatomical_Functional and hasAnatomicalEntity some Amygdala* Returns MyAmygdala as expected. The property *hasAnatomicalEntity* has the inverse *isAnatomicalEntityOf*, but as far as I know there's no way to infer directly this relation so the query *'Anatomical entity' that isAnatomicalEntityOf some Anatomical_Functional* Returns Amygdala I should not alter the imported ontologies, so I decided to add a SWRL rule indicating that if a anatomical_functional has an anatomical entity the this entity is anatomical entity of this anatomical_functional: *'Anatomical entity'(?y), Anato</pre> Santiago Timón 2012-05-24T15:49:42 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37031 <pre>Sepublica (http://sepublica.mywikipaper.org) Dear all, Robert Stevens will be our keynote speaker. The tittle of his talk will be "Semantic publishing: What does it all mean anyway?" Robert will open our afternoon session. From 2 to 5pm we will be discussing issues related to semantics in publications and semantic publications. You are all invited to attend our discussion, we are planning to generate a communique out of this session. SePublica 2012 … the scientific publication as an interface to the web of data… semantics in scientific publications, is it just about linking? what does a scientific publication in the semantic web look like what should it deliver, how should it change the user experience what do we want the next generation of scholarly communication to be like? </pre> Alexander Garcia Castro 2012-05-24T14:15:38 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37027 <pre>Dear Mr Timothy and all Finally I can solve the problem of "inconsistency" in my ontologies. Thank you very much for your help. My next question is about SPARQL in protege 4.2 beta. I was using DL query, and it is easier to understand than SPARQL syntax and always supported OWl entailment :-) but I also want to use SPARQl syntax. Example 1 I use DL query : People and (hasSalary some int [&gt;=0]) and (hasSalary some int [&lt;=100]) and I also use Sparql syntax : Prefix :&lt;http://www.semanticweb.org/CO.owl#&gt; PREFIX rdf: &lt;http://www.w3.org/1999/02/22-rdf-syntax-ns#&gt; PREFIX owl: &lt;http://www.w3.org/2002/07/owl#&gt; PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt; PREFIX rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; SELECT ?People ?Salary WHERE { ?People :hasSalary ?Salary . FILTER (?Salary &gt;= 0 &amp;&amp; ?Salary &lt;= 70) } *and the result is equal (Figure 1)* --&gt; no problem in this example Example 2: then I try to making a query again DL : Person and hasConditionOfFloor value "BAD"^^string SPARQL : Prefix : &lt;http://www.semanticw</pre> jayadianti herlina 2012-05-21T13:28:48 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37024 <pre>Hello all, I am reading through the Manchester Pizza Ontology Tutorial. After setting the 'domain' and 'range' for the 'hasTopping' property, I look at the 'isToppingOf' property, which is the inverse property of 'hasTopping'. The tutorial says Protege automatically fills in the 'domain' and 'range' of the 'isToppingOf' property, because the domain and range of its inverse property were specified. This doesn't happen in mine. How do I update the framework to make this happen? Thank you, _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Miri, Hossein 2012-05-21T07:59:46 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37023 <pre>Hi Protégé devs, I'm having trouble in displaying inferred individual memberships in Protégé 4.1 with both HermIT 1.3.6 and Fact++ as reasoners. I'm using a vanilla configuration (see below). The attached screenshots show that the inferred class membership of the individual "IntegralNumbersUnderAddition" is correctly shown in the classes tab but not in the individuals tab (see the empty members list of the "AbelianGroup" superclass). I'm also attaching the ontology that allows me to reproduce the problem. Can you give me a hint what I'm doing wrong or is this a bug? Florian Here's my configuration: Protege 4 OWL Editor (Version 4.1.0, Build = 239) Platform: Java: JVM 1.6.0_24-b24 Memory: 466M Language: en, Country: US Framework: Apache Software Foundation (1.5) OS: linux (3.2.0-24-generic) Processor: x86-64 Installed plugin The Protege 4 OWL Editor Installed plugin Dlquery Installed plugin The OWL API Installed plugin Owlviz Plug-in Installed plugin OntoGraf Plug</pre> Florian Grandel 2012-05-20T23:07:10 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37022 <pre>Hi All, I was creating an ontology where in for each instance of pizza I have given a calori value. I have another class PERSON. What I am interested in doing protege is , if an instance of this person eats 2 different tyes of pizza, I would like to get the total calorie value consumed. Is it possible in protege 4.2. Pls help me.This is for my studies. Regards, MU _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Meena Unni 2012-05-19T21:40:38 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37016 <pre>Hi, I have a question about the expressiveness of OWL2. Is it possible to state that an individual (e.g. peter) can know everything (the individuals of the class Thing): Person(peter) and peter knows "all Individuals of Thing"? In SWRL it would be: Thing(?x) -&gt; knows(peter, ?x) But I am not sure, if it is possible to use peter in such a way in an SWRL rule. Best Regards, Stephan -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Can-somebody-know-everything-tp4644375.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Stephan Opfer 2012-05-18T11:31:38 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37013 <pre> ==================================================================================== 2nd International Conference on Green Communications and Networking - GreeNets 2012 24th and 26th October 2012 Gandia, Spain http://greenets.org/ ==================================================================================== HIGHLIGHTS - The event is endorsed by the European Alliance for Innovation (www.eai.eu), a leading community-based organisation devoted to the advancement of innovation in the field of ICT - All accepted papers will be published by Springer and made available through SpringerLink Digital Library, one of the world's largest scientific libraries - Proceedings will be submitted for indexing by Google Scholar, ISI, EI Compendex, Scopus and many more - Best papers will be selected to be included in one of the special issues that will be published in: Future Internet, Network Protocols and Algorithms, Recent Patent in Te lecommunications CALL FOR PAPERS [Scope] Global warming and cli</pre> Sandra Sendra 2012-05-18T07:35:22 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37006 <pre>Hi, I have a N-Ary Relation designed as suggested by the http://www.w3.org/TR/swbp-n-aryRelations/#pattern1 w3c design pattern 1 . The name of the relation class is InRelation and it has 4 parameters, which are instances of the following classes: Agent, Plan, Task, State. E.g., "In(peter, cookingPasta, boilNudles, heatWater)" means that Agent peter is executing the cookingPasta plan and that peter is assigned to the task boilNudles. Within this task he is at the state of heating the water. Now my question: Is it possible to restrict the InRelation-Class such that the Task and State parameter has to be part of the Plan parameter. My naive formalisation of that would be: InRelation isSubClassOf ( inRelPlan P and inRelState S and inRelTask T and P hasState S and P hasTask T ) inRelPlan, inRelTask, inRelState are relation between the InRelation and its paramters. Best Regards, Stephan -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/N-Ary-R</pre> Stephan Opfer 2012-05-16T12:17:47 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37004 <pre>Hello       I am a beginner to Protege software. I would like to convert the information in a .xml file to ontology(.owl) file. Please let me know whether there is any option in Protege for this conversion. If not, is there any other procedure by which i can achieve my goal. regards_______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> divya udayan 2012-05-15T22:48:44 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36998 <pre> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to UBICOMM 2012. The submission deadline is set to May 18, 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== UBICOMM 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS UBICOMM 2012, The Sixth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies September 23 - 28, 2012 - Barcelona, Spain General page: http://www.iaria.org/conferences2012/UBICOMM12.html Call for Papers: http://www.iaria.org/conferences2012/CfPUBICOMM12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitUBICOMM12.html Submission deadline: May 18, 2012 Proceedings: ISBN: 978-1-61208-2</pre> Cristina Pascual 2012-05-14T16:32:15 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36996 <pre>Hi, I was wondering if it is possible to create your own datatype in Protégé 3.4.7. If so, how is it done? Thanks. Laura. -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Create-own-datatype-in-protege-3-4-7-tp4631906.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Laura 2012-05-14T10:13:44 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36992 <pre> INVITATION: ================= Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ADVCOMP 2012. The submission deadline is set to May 18, 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ADVCOMP 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ADVCOMP 2012, The Sixth International Conference on Advanced Engineering Computing and Applications in Sciences September 23 - 28, 2012 - Barcelona, Spain General page: http://www.iaria.org/conferences2012/ADVCOMP12.html Call for Papers: http://www.iaria.org/conferences2012/CfPADVCOMP12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitADVCOMP12.html Submission deadline: May 18, 2012 Proceedings: ISBN: 978-1-61208-237</pre> Cristina Pascual 2012-05-11T15:13:38 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36988 <pre>======================================================== 6th Int'l Workshop on Modular Ontologies (WoMO) Graz, Austria, July 24, 2012 held in conjunction with FOIS 2012 --- Final Call for Papers --- ======================================================== +++ EXTENDED SUBMISSION DEADLINE: May 18, 2012 +++ ======================================================== +++ Following requests, we have extended the submission deadline to MAY 18, 2012. +++ INVITED SPEAKERS: * Thomas Eiter, Vienna University of Technology, Austria Title TBA * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy Multi context logics: a formal support for structuring knowledge and beliefs (Tentative title) http://www.informatik.uni-bremen.de/~ts/womo2012 MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is </pre> WoMO 2012 2012-05-10T21:53:29 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36987 <pre> ==================================================================================== 2nd International Conference on Green Communications and Networking - GreeNets 2012 24th and 26th October 2012 Gandia, Spain http://greenets.org/ ==================================================================================== HIGHLIGHTS - The event is endorsed by the European Alliance for Innovation (www.eai.eu), a leading community-based organisation devoted to the advancement of innovation in the field of ICT - All accepted papers will be published by Springer and made available through SpringerLink Digital Library, one of the world's largest scientific libraries - Proceedings will be submitted for indexing by Google Scholar, ISI, EI Compendex, Scopus and many more - Best papers will be selected to be included in one of the special issues that will be published in: Future Internet, Network Protocols and Algorithms, Recent Patent in Telecommunications CALL FOR PAPERS [Scope] Global warming and climate change </pre> Sandra Sendra 2012-05-10T17:16:14 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36983 <pre>We are pleased to announce availability of the first beta build of Protege 3.5: http://protege.stanford.edu/download/registered.html#p3.5 The main focus of the 3.5 series is the SWRLTab's [1] support of the Drools [2] rule engine, thus providing a completely free and open source solution for executing SWRL rules in Protege-OWL. Release notes ------------------- - Collection of minor bug fixes for the SWRLTab. - Removed the Algernon, UMLS tab, and WordNet tab plug-ins from the distribution, as they are no longer maintained. Other helpful links -------------------------- Online version of these release notes: http://protegewiki.stanford.edu/wiki/Protege_3.5_Beta_Release_Notes Release notes archive: http://protegewiki.stanford.edu/wiki/Protege_Release_Notes Protege 3 documentation: http://protegewiki.stanford.edu/wiki/Protege3UserDocs Protege on Facebook: https://www.facebook.com/pages/Protege-Project/136205016405270 Protege on Twitter: https://twitter.com/#!/protegeproject &lt;https://twitter.com/#%2</pre> Jennifer Vendetti 2012-05-09T22:58:08 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36982 <pre>Hi, I had downloaded Protégé 4.2 beta source code from the SVN repository. I could build the source code and run the Protégé 4.2 beta version. I wanted to use Ontograf plugin with this version with some modifications. Hence I downloaded the source code of the Ontograf plugin from the SVN rrepository. However while building this plugin I found that the Ontograf plugin is referring to different version of org.semanticweb.owl.owlapi plugin (3.x.x). The default plugins are in Protégé 4.2 beta are referring to version 2.x of org.semanticweb.owl.owlapi plugin. Due to this difference I am not able to build Ontograf plugin as there is difference between import statements. E.g. OWLClass is imported differently in 2.x and 3.x. 2.x -&gt; import org.semanticweb.owl.model.OWLClass; 3.x -&gt; import org.semanticweb.owlapi.model.OWLClass; Please let me know where can I get the source code of Ontograf plugin compatible with 2.x version of org.semanticweb.owl.owlapi plugin. Thanks and regards, Krishnasagar ************</pre> Krishnasagar Mohan Kulkarni 2012-05-09T10:06:34 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36981 <pre>Dear Protege users/developers, OWL reasoners typically have some limitations in the features they support. When encountering an unsupported feature (e.g., a new datatype), reasoners can still derive many entailments that are certainly correct, but they may miss some entailments that are produced by the new feature. Moreover, even if the reasoner can guarantee sound and complete reasoning, an input may violate constraints of the OWL standard (example: EL reasoners do not care about regularity of property chain axioms, but OWL EL and DL disallow them.) How should a reasoner plugin for Protege (4.1) behave in such cases? Here are some options: (1) Keep calm and carry on: produce as many results as possible (2) Panic: throw an exception (terminate, report no results) (3) Be honest: report "Unknown" (which is a valid return value of OWL reasoners according to spec) whenever you cannot be sure (4) Warning: produce whatever results you can get, but warn the user (5) Mix and match: adopt a different stra</pre> Markus Krötzsch 2012-05-09T09:01:26 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36977 <pre>======================================================== 6th Int'l Workshop on Modular Ontologies (WoMO) Graz, Austria, July 24, 2012 held in conjunction with FOIS 2012 --- Third Call for Papers --- ======================================================== Submission deadline: May 11, 2012 ======================================================== INVITED SPEAKERS: * Thomas Eiter, Vienna University of Technology, Austria Title TBA * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy Multi context logics: a formal support for structuring knowledge and beliefs (Tentative title) http://www.informatik.uni-bremen.de/~ts/womo2012 MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitatin</pre> WoMO 2012 2012-05-07T15:06:44 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36975 <pre>============================================================== CALL FOR PAPERS OR EXTENDED ABSTRACT Epistemological Perspecitves on Simulation 2012 (EPOS V) San Antonio, Texas, USA October 10-12, 2012 trinity.edu/epos Manuscript Submission: July 1, 2012. ============================================================== Epistemological Perspecitves on Simulation 2012 EPOS V Call for papers Like its predecessors the workshop wants to provide a forum for researchers from various disciplines, such as the social sciences, economics, computer science, engineering or the natural sciences, who are interested in discussing epistemological aspects of simulation across disciplinary boundaries. Philosophers are highly welcome, too. Topics to be addressed in the workshop include, but are not restricted to issues such as the epistemology of simulation, credentials for model building, and standards for presenting and analyzing simulation results. Following the tradition of most of the previous EPOS workshops, we inten</pre> Yu Zhang 2012-05-06T16:53:09 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36973 <pre>Call for papers: The 2012 International Symposium on Privacy and Security in Cloud and Social Networks (PriSecCSN 2012), 1-3 Nov. 2012, Xiangtan, China. The website is: http://www.swinflow.org/confs/prisec2012/. Important dates: Deadline for Paper Submission: June 25, 2012 Notification of Acceptance: July 30, 2012 Camera Ready Copies: August 10, 2012 Submission site and requirements: https://www.easychair.org/conferences/?conf=prisec2012. Submit your paper(s) in PDF file. Papers should be limited up to 8 pages in IEEE CS format. The template files for LATEX or WORD can be downloaded from the symposium website. All papers will be peer reviewed by two or three pc members. Submitting a paper to the symposium means that if the paper is accepted, at least one author should register to CGC2012 and attend the conference to present the paper. Publications: All accepted papers will appear in the proceedings published by IEEE Computer Society (EI indexed). Selected papers will be invited to special issues of CGC20</pre> Chang Liu 2012-05-06T10:32:53 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.misc.ontology.protege.owl