From benoit.gaillard at coupdepuce.fr Fri Mar 2 07:16:32 2018 From: benoit.gaillard at coupdepuce.fr (benoit gaillard) Date: Fri, 2 Mar 2018 16:16:32 +0100 Subject: [protege-user] unexpected jump to rdfs References: <002001d3af15$a34e5470$e9eafd50$@coupdepuce.fr> <8704DA31-52F6-413D-8792-F8D55D53A25E@stanford.edu> Message-ID: <00d301d3b239$730ba7a0$5922f6e0$@coupdepuce.fr> Hi again, So, unfortunately, I am not allowed to share the ontologies I work on... Fortunately, however, I installed 5.2.0 prot?g? version, and it doesn?t seem to have broken anything yet. I?ll keep you updated if I run into this wild change of format again. Thanks again for your help, Beno?t De : benoit gaillard [mailto:benoit.gaillard at coupdepuce.fr] Envoy? : mardi 27 f?vrier 2018 10:36 ? : 'User support for WebProtege and Protege Desktop' Objet : RE: [protege-user] unexpected jump to rdfs Hi Matthew, Michael, Thank you for your quick replies. I have asked for the permission to hare the ontology online. It doesn?t belong to me? There is no reason for me to use 5.1.0 rather than 5.2.0. I think I just did not update it when I should have. About ald?baran, by ?class, property or individual with the IRI http://www.cnes.fr/OntologieCNES.owl#Ald?baran.?, do you mean something like that (copied from the rdf file) : or oui ? Cheers, B PS: shall we go Private Message to not clutter the list, or stay on the list to share knowledge with everyone? De : protege-user [mailto:protege-user-bounces at lists.stanford.edu] De la part de Michael DeBellis Envoy? : lundi 26 f?vrier 2018 21:32 ? : User support for WebProtege and Protege Desktop > Objet : Re: [protege-user] unexpected jump to rdfs Beno?t, one place you can upload your ontology is on the Web Protege site: http://webprotege.stanford.edu/ If you upload the full ontology there and then edit the settings to make it public you can share a link with the group and we can view it via Web Protege or download the ontology to our desktops and try to load it using the Desktop version of Protege. Michael On Mon, Feb 26, 2018 at 11:35 AM, Matthew Horridge > wrote: Hi, I?m not sure what the issue is exactly. I could do with seeing the complete ontology. If you could upload it somewhere and share the link that would be great. What I do notice is that you have annotations on IRIs, for example http://www.cnes.fr/OntologieCNES.owl#Ald?baran but then there is no corresponding entity for the IRI i.e. there is no class, property or individual with the IRI http://www.cnes.fr/OntologieCNES.owl#Ald?baran . These annotations won?t show up in the Protege UI. Without seeing the complete file it?s impossible to know whether this is intentional or not. Is there a reason why you?re using Protege 5.1.0 and not 5.2.0? Cheers, Matthew On 26 Feb 2018, at 07:22, benoit gaillard > wrote: Good day to you, Protege User List I?m writing to you because something happens with my ontology, which I don?t understand. I?m using Prot?g? 5.1.0 under Windows. Sometimes (I couldn?t reproduce the behaviour deterministically), the owl file I am working on becomes a non-owl rdfs file (I think), like the attached 20180207_short_CNES.owl file. When it so becomes, I can open it in Prot?g? but Prot?g? doesn?t seem to be able to read any information from it. When everything is working properly, I have files such as the attached 20180206_short_CNES.owlfile, which are great, perfectly functional. Note that the files are too big to travel over emails, so I have removed their bulk, leaving only the heading, the end and a sample of content. So my questions are: * Is my understanding of the issue accurate? * Is it an identified behaviour of Protege? * What causes it, how can I avoid it? * How can I recover the information that is still present in the ?rdfs? file (convert it to the legit owl file that Prot?g? handles)? Feel free to request more details if that can help us understanding the issue. Thank you for your attention, Best regards, Beno?t Gaillard Beno?t Gaillard 05-61-14-77-17 <20180206_short_CNES.owl><20180207_short_CNES.owl>_______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From katerina.gkirtzou at gmail.com Fri Mar 2 07:27:49 2018 From: katerina.gkirtzou at gmail.com (Katerina Gkirtzou) Date: Fri, 2 Mar 2018 17:27:49 +0200 Subject: [protege-user] Cannot login to Webprotege Message-ID: <0ce5feac-2cf7-3bf1-2869-c211538509f4@gmail.com> Hello, I tried to login to webprotege today, but I couldn't. I entered my username and password, but nothing happens. No error message. I tried to reset password and providing the one receive via email, but nothing. I have tried both firefox and chromium, in normal window and in private one, removing cache, but nothing seems to help. Any suggestions or advice on what's going on? Thanks in advance Katerina From matthew.horridge at stanford.edu Fri Mar 2 10:28:31 2018 From: matthew.horridge at stanford.edu (Matthew Horridge) Date: Fri, 2 Mar 2018 18:28:31 +0000 Subject: [protege-user] unexpected jump to rdfs In-Reply-To: <00d301d3b239$730ba7a0$5922f6e0$@coupdepuce.fr> References: <002001d3af15$a34e5470$e9eafd50$@coupdepuce.fr> <8704DA31-52F6-413D-8792-F8D55D53A25E@stanford.edu> <00d301d3b239$730ba7a0$5922f6e0$@coupdepuce.fr> Message-ID: Hi Beno?t, Ok thanks for letting us know. Cheers, Matthew On 2 Mar 2018, at 07:16, benoit gaillard > wrote: Hi again, So, unfortunately, I am not allowed to share the ontologies I work on... Fortunately, however, I installed 5.2.0 prot?g? version, and it doesn?t seem to have broken anything yet. I?ll keep you updated if I run into this wild change of format again. Thanks again for your help, Beno?t De : benoit gaillard [mailto:benoit.gaillard at coupdepuce.fr] Envoy? : mardi 27 f?vrier 2018 10:36 ? : 'User support for WebProtege and Protege Desktop' > Objet : RE: [protege-user] unexpected jump to rdfs Hi Matthew, Michael, Thank you for your quick replies. I have asked for the permission to hare the ontology online. It doesn?t belong to me? There is no reason for me to use 5.1.0 rather than 5.2.0. I think I just did not update it when I should have. About ald?baran, by ?class, property or individual with the IRI http://www.cnes.fr/OntologieCNES.owl#Ald?baran.?, do you mean something like that (copied from the rdf file) : or oui ? Cheers, B PS: shall we go Private Message to not clutter the list, or stay on the list to share knowledge with everyone? De : protege-user [mailto:protege-user-bounces at lists.stanford.edu] De la part de Michael DeBellis Envoy? : lundi 26 f?vrier 2018 21:32 ? : User support for WebProtege and Protege Desktop > Objet : Re: [protege-user] unexpected jump to rdfs Beno?t, one place you can upload your ontology is on the Web Protege site: http://webprotege.stanford.edu/ If you upload the full ontology there and then edit the settings to make it public you can share a link with the group and we can view it via Web Protege or download the ontology to our desktops and try to load it using the Desktop version of Protege. Michael On Mon, Feb 26, 2018 at 11:35 AM, Matthew Horridge > wrote: Hi, I?m not sure what the issue is exactly. I could do with seeing the complete ontology. If you could upload it somewhere and share the link that would be great. What I do notice is that you have annotations on IRIs, for example http://www.cnes.fr/OntologieCNES.owl#Ald?baran but then there is no corresponding entity for the IRI i.e. there is no class, property or individual with the IRI http://www.cnes.fr/OntologieCNES.owl#Ald?baran. These annotations won?t show up in the Protege UI. Without seeing the complete file it?s impossible to know whether this is intentional or not. Is there a reason why you?re using Protege 5.1.0 and not 5.2.0? Cheers, Matthew On 26 Feb 2018, at 07:22, benoit gaillard > wrote: Good day to you, Protege User List I?m writing to you because something happens with my ontology, which I don?t understand. I?m using Prot?g? 5.1.0 under Windows. Sometimes (I couldn?t reproduce the behaviour deterministically), the owl file I am working on becomes a non-owl rdfs file (I think), like the attached 20180207_short_CNES.owl file. When it so becomes, I can open it in Prot?g? but Prot?g? doesn?t seem to be able to read any information from it. When everything is working properly, I have files such as the attached 20180206_short_CNES.owlfile, which are great, perfectly functional. Note that the files are too big to travel over emails, so I have removed their bulk, leaving only the heading, the end and a sample of content. So my questions are: * Is my understanding of the issue accurate? * Is it an identified behaviour of Protege? * What causes it, how can I avoid it? * How can I recover the information that is still present in the ?rdfs? file (convert it to the legit owl file that Prot?g? handles)? Feel free to request more details if that can help us understanding the issue. Thank you for your attention, Best regards, Beno?t Gaillard Beno?t Gaillard 05-61-14-77-17 <20180206_short_CNES.owl><20180207_short_CNES.owl>_______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From katerinatzaf at gmail.com Sat Mar 3 13:58:18 2018 From: katerinatzaf at gmail.com (katetzaf) Date: Sat, 3 Mar 2018 14:58:18 -0700 (MST) Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl Message-ID: <1520114298814-0.post@n4.nabble.com> Dear team, I am new in Protege and i am trying to assign some literal value to a data type property using swrl rules. How can i see the change done in my ontology? Can i use sqwrl to select and view somehow the newly assigned value? My rule looks like the following: User (?u) ^ someDataProp(?u, ?dvalue) . sqwrl:makeSet(?s, ?dvalue) . sqwrl:avg(?avg, ?s) ^ swrlb:greaterThan(?dvalue, ?s) -> anOtherdataProp (?u, "High") That is, I want the data property 'anOtherdataProp' gets a value of "High" if the value of the first data property (someDataProp) is larger than average. All data properties are already constructed and assigned in their domains. Range of 'anOtherdataProp':Literal Thank you in advance -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From buehmann at informatik.uni-leipzig.de Sun Mar 4 00:46:39 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Sun, 4 Mar 2018 09:46:39 +0100 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <1520114298814-0.post@n4.nabble.com> References: <1520114298814-0.post@n4.nabble.com> Message-ID: Where do you add the SWRL rule? The rules tab or the SWRL tab? For the first, an OWL reasoner has to be enabled. For the second, result will only be vissible in the SWRL tab resp. via SQWRL as a Drools engine will be used instead of an OWL reasoner. On 03.03.2018 22:58, katetzaf wrote: > Dear team, > > I am new in Protege and i am trying to assign some literal value to a data > type property using swrl rules. > How can i see the change done in my ontology? Can i use sqwrl to select and > view somehow the newly assigned value? > > My rule looks like the following: > User (?u) ^ someDataProp(?u, ?dvalue) . sqwrl:makeSet(?s, ?dvalue) . > sqwrl:avg(?avg, ?s) ^ swrlb:greaterThan(?dvalue, ?s) -> anOtherdataProp (?u, > "High") > > That is, I want the data property 'anOtherdataProp' gets a value of "High" > if the value of the first data property (someDataProp) is larger than > average. > > All data properties are already constructed and assigned in their domains. > Range of 'anOtherdataProp':Literal > > Thank you in advance > > > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user From katerinatzaf at gmail.com Sun Mar 4 02:09:40 2018 From: katerinatzaf at gmail.com (katetzaf) Date: Sun, 4 Mar 2018 03:09:40 -0700 (MST) Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> Message-ID: <1520158180327-0.post@n4.nabble.com> I use SQWRL tab since i also use some SQWRL build for comparison (avg). But in resp. tabs i get informed that no result is generated. "/SQWRL query test_makeBag did not generate any result/." I have to select some entity i guess but sqwrl:select(?u) lets me view the user who satisfies the rule, not the new data type property value. I thought to bind this assigned value to a new variable to query it later using select. I also tried Rules tab and Pellet Reasoner but cannot understand where to view the assigned value. Sorry if it sounds confusing, maybe i have not understood something basic regarding the rules' result logic. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From katerinatzaf at gmail.com Sun Mar 4 03:52:28 2018 From: katerinatzaf at gmail.com (katetzaf) Date: Sun, 4 Mar 2018 04:52:28 -0700 (MST) Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <1520158180327-0.post@n4.nabble.com> References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> Message-ID: <1520164348913-0.post@n4.nabble.com> Solved it! i have to run Drool Engine every time after i run sqwrl rule. Even if i cannot select-check the rule is SWRL tab, it seems to work. Thank you. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From sunid at stanford.edu Sun Mar 4 14:31:56 2018 From: sunid at stanford.edu (Martin O'Connor) Date: Sun, 4 Mar 2018 22:31:56 +0000 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <1520164348913-0.post@n4.nabble.com> References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> Message-ID: <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> Note that SQWRL operators should not be used in SWRL rules. SQWRL operators are designed for querying only and do not support inference. You are attempting to express closed world inference using a SWRL rule. See: https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageFAQ#Does_SWRL_adopt_the_Open_World_Assumption Martin On Mar 4, 2018, at 3:52 AM, katetzaf > wrote: Solved it! i have to run Drool Engine every time after i run sqwrl rule. Even if i cannot select-check the rule is SWRL tab, it seems to work. Thank you. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From pr-aksw at informatik.uni-leipzig.de Mon Mar 5 02:22:47 2018 From: pr-aksw at informatik.uni-leipzig.de (Sebastian Hellmann) Date: Mon, 5 Mar 2018 11:22:47 +0100 Subject: [protege-user] SEMANTiCS 2018, Vienna, Sep 10-13, Open Calls Message-ID: <32c2be47-10bb-96fb-9f98-d81b894d1574@informatik.uni-leipzig.de> Apologies for cross-posting Call for Papers, Posters & Workshops and Tutorials SEMANTiCS 2018 - The Linked Data Conference 14th International Conference on Semantic Systems Vienna, Austria September 10 -13, 2018 http://2018.semantics.cc Important Dates (Research & Innovation incl. Data Science Track) Abstract Submission Deadline:??? April 15, 2018 (11:59 pm, Hawaii time) Paper Submission Deadline:??? April 22, 2018 (11:59 pm, Hawaii time) Notification of Acceptance: ??? June 4, 2018 (11:59 pm, Hawaii time) Camera-Ready Paper: ??? ??? August 6, 2018 (11:59 pm, Hawaii time) Submission via Easychair on https://easychair.org/conferences/?conf=semantics2018 SEMANTiCS?18 proceedings will be published as Open Access by Elsevier Procedia Computer Science. The annual SEMANTiCS conference is the meeting place for professionals who make semantic computing work, understand its benefits, and encounter its limitations. Every year, SEMANTiCS attracts information managers, IT-architects, software engineers and researchers from a wide spectrum of organisations ranging from SMEs and non-profit organizations, to public administration bodies, to the largest companies in the world. Attendees learn from industry experts and top researchers about emerging trends and topics in the fields of semantic software, including enterprise data, linked data & open data strategies, methodologies in knowledge modelling and text & data analytics. The SEMANTiCS community is highly diverse; attendees routinely interlinking areas such as knowledge management, technical documentation, e-commerce, big data analysis, enterprise search, document management, business intelligence and enterprise vocabulary management. Given the success of last year?s conference in Amsterdam, which attracted more than 370 attendees from 28 countries, SEMANTiCS 2018 is bound to continue a long tradition of bringing together a community from around the world. There will be presentations on industry implementations, use case prototypes, best practices, panels, papers and posters to discuss semantic systems in a broad range of regular as well as informal settings. SEMANTiCS addresses problems common among information managers, software engineers, IT-architects and various specialist departments working to develop, implement and evaluate semantic software systems. The SEMANTiCS program will provide a rich mix of technical talks, panel discussions on emerging topics and presentations by people who make things work - just like you. In addition, attendees will have a unique opportunity to network with experts in a variety of fields. These relationships provide great value to organisations as they encounter technical challenges in any stage of implementation. The expertise gained by SEMANTiCS attendees has a long-term impact on their careers and organisations. These factors make SEMANTiCS the key event across Europe for a diverse community of industry leaders and academic experts alike. Following the success of the previous year, this year?s SEMANTiCS will also again feature a special Data Science track, which offer a unique opportunity to bring together researchers and practitioners interested in the intersection of Semantic Technologies, Linked Data and Data Science and provide a platform to present their ideas and discuss the most important scientific, technical and socio-economic challenges in this emerging field. SEMANTiCS 2018 particularly welcomes submissions on the following key topics: *Web Semantics, Linked (Open) Data & schema.org *Corporate Knowledge Graphs *Knowledge Integration and Language Technologies *Data Quality Management *Economics of Data, Data Services and Data Ecosystems *Ethics and Explainable AI *Data Science (special track, see below) Following the success of previous years, we welcome any submissions related, but not limited to, the following ?horizontal? (research) and ?vertical? (industries) topics: Horizontals *Enterprise Linked Data & Data Integration *Knowledge Discovery & Intelligent Search *Business Models, Governance & Data Strategies *Semantics in Big Data *Text Analytics *Data Portals & Knowledge Visualization *Semantic Information Management *Document Management & Content Management *Terminology, Thesaurus & Ontology Management *Smart Connectivity, Networking & Interlinking *Smart Data & Semantics in IoT *Semantic Services *Semantics for IT Safety & Security *Semantic Rules, Policies & Licensing *Community, Social & Societal Aspects Verticals *Industry & Engineering *Life Sciences & Health Care *Public Administration *e-Science *Digital Humanities *Galleries, Libraries, Archives & Museums (GLAM) *Education & eLearning *Media & Data Journalism *Publishing, Marketing & Advertising *Tourism & Recreation *Financial & Insurance Industry *Telecommunication & Mobile Services *Sustainable Development: Climate, Water, Air, Ecology *Energy, Smart Homes & Smart Grids *Food, Agriculture & Farming *Safety, Security & Privacy *Transport, Environment & Geospatial We invite contributions to the following tracks: # Research and Innovation Track The Research & Innovation track at SEMANTiCS welcomes papers on novel scientific research and/or innovations relevant to the topics of the conference. Submissions must be original and must not have been submitted for publication elsewhere. Papers must not exceed 12 pages in length for full papers and 6 pages for short papers, including references and optional appendices. Important Dates: Abstract Submission Deadline:??? April 15, 2018 (11:59 pm, Hawaii time) Paper Submission Deadline:??? April 22, 2018 (11:59 pm, Hawaii time) Notification of Acceptance: ??? June 4, 2018 (11:59 pm, Hawaii time) Camera-Ready Paper: ??? ??? August 6, 2018 (11:59 pm, Hawaii time) Author instructions: Proceedings should follow the guidelines of the Elsevier Procedia Computer Science format.? Details will be provided soon. # Data Science Track Following the success of last year?s inaugural edition, SEMANTiCS will again feature a Data Science track that provides a unique opportunity to bring together researchers and practitioners interested in the intersection between data science and Semantic Technologies. Semantics will provide a forum to present their ideas and discuss the most important scientific, technical and socio-economic challenges of this emerging field. The detailed Call for Data Science papers is available here: https://2018.semantics.cc/calls Important Dates: Abstract Submission Deadline:??? April 15, 2018 (11:59 pm, Hawaii time) Paper Submission Deadline:??? April 22, 2018 (11:59 pm, Hawaii time) Notification of Acceptance: ??? June 4, 2018 (11:59 pm, Hawaii time) Camera-Ready Paper: ??? ??? August 6, 2018 (11:59 pm, Hawaii time) Author instructions: Proceedings should follow the guidelines of the Elsevier Procedia Computer Science format. Details will be provided soon. # Posters and Demos Track The Posters & Demonstrations Track invites innovative work in progress, late-breaking research and innovation results, and smaller contributions in all fields related to the Semantic Web in a broader sense. These include submissions on innovative applications with impact on end users, such as demos of solutions that users may test or that are yet in the conceptual phase, but are worth discussing, and also applications or pieces of code that may attract developers and potential research or business partners. The detailed Call for Poster & Demos papers is available here: https://2018.semantics.cc/calls Important Dates: Paper Submission Deadline:??? ??? June 11, 2018 (11:59 pm, Hawaii time) Notification of Acceptance: ??? July 2, 2018 (11:59 pm, Hawaii time) Camera-Ready Paper: ??? ??? August 6, 2018 (11:59 pm, Hawaii time) Author instructions: Proceedings should follow the guidelines of the CEUR Workshop proceedings format. Details will be provided soon. # Industry and Use Case Track Focusing strongly on industry needs, SEMANTICS invites presentations on enterprise solutions that deal with semantic processing of data and/or information in areas like Linked Data, Data Publishing, Semantic Search, Recommendation Services, Sentiment Detection, Search Engine Add-Ons, Thesaurus and/or Ontology Management, Text Mining, Data Mining and any related fields. All submissions have a strong focus on real world applications beyond the prototypical stage and demonstrate the power of semantic systems! The detailed Call for Industry and Use Case Presentations is available here: https://2018.semantics.cc/calls Important Dates: Abstract Submission Deadline:??? May 6, 2018 (11:59 pm, Hawaii time) Paper Submission Deadline:??? ??? May 28, 2018 (11:59 pm, Hawaii time) Notification of Acceptance: ??? August 22, 2018 (11:59 pm, Hawaii time) # Workshops and Tutorials Workshops and tutorials at SEMANTiCS 2018 allow your organisation or project to advance and promote your topics and gain increased visibility. The workshops and tutorials will provide a forum for presenting widely recognized contributions and findings to a diverse and knowledgeable community. Furthermore, the event can be used as a dissemination activity in the scope of large research projects or as a closed format for research/commercial project consortia meetings. A detailed call for workshops and tutorials is available here: https://2018.semantics.cc/calls Important Dates for Workshops: Workshop Proposals due: ??? ??? April 1, 2018 (23:59 Hawaii Time) Notification of Acceptance: ??? April 14,? 2018 (23:59 Hawaii Time) Important Dates for Tutorials (and other meetings, e.g. seminars, show-cases, etc., without call for papers): Submission deadline: ??? ??? July 1,? 2018 (23:59 Hawaii Time) Notifications: ??? ??? ??? July 10,? 2018 (23:59 Hawaii Time) # Vocarnival Bootstrap your new Vocabulary project: At the carnival you can present your ideas and early stage vocabs to find the right people to get the Vocab discussion going. For this event we use a very open definition of what a vocabulary is. Ontologies, classifications, thesauri, concept and metadata schemes, whatever their format, in RDF or not, are all welcome. We require at least a project website. Details to follow. The detailed calls will be available on the conference website http://2018.semantics.cc From katerinatzaf at gmail.com Mon Mar 5 12:45:05 2018 From: katerinatzaf at gmail.com (Katerina Tzafilkou) Date: Mon, 5 Mar 2018 22:45:05 +0200 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> Message-ID: I see, so only swrl makes changes in the ontology. I have to work more on this. Thank you ???? 5 ??? 2018 12:32 ?.?., ? ??????? "Martin O'Connor" ??????: > > Note that SQWRL operators should not be used in SWRL rules. SQWRL > operators are designed for querying only and do not support inference. > > You are attempting to express closed world inference using a SWRL rule. > See: > > https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageFAQ#Does_SWRL_ > adopt_the_Open_World_Assumption > > Martin > > > On Mar 4, 2018, at 3:52 AM, katetzaf wrote: > > Solved it! > i have to run Drool Engine every time after i run sqwrl rule. Even if i > cannot select-check the rule is SWRL tab, it seems to work. > > Thank you. > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From sunid at stanford.edu Mon Mar 5 13:41:49 2018 From: sunid at stanford.edu (Martin O'Connor) Date: Mon, 5 Mar 2018 21:41:49 +0000 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> Message-ID: I see, so only swrl makes changes in the ontology. I have to work more on this. Actually, to be more precise: SWRL allows you to make new inferences in an ontology - it does not support ontology modification. See: https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageFAQ#Does_SWRL_support_Nonmonotonic_Inference Martin Thank you ???? 5 ??? 2018 12:32 ?.?., ? ??????? "Martin O'Connor" > ??????: Note that SQWRL operators should not be used in SWRL rules. SQWRL operators are designed for querying only and do not support inference. You are attempting to express closed world inference using a SWRL rule. See: https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageFAQ#Does_SWRL_adopt_the_Open_World_Assumption Martin On Mar 4, 2018, at 3:52 AM, katetzaf > wrote: Solved it! i have to run Drool Engine every time after i run sqwrl rule. Even if i cannot select-check the rule is SWRL tab, it seems to work. Thank you. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From mimran646 at gmail.com Mon Mar 5 15:18:22 2018 From: mimran646 at gmail.com (mimran) Date: Mon, 5 Mar 2018 16:18:22 -0700 (MST) Subject: [protege-user] Data Property Query in DL Query Message-ID: <1520291902778-0.post@n4.nabble.com> Hi everyone, I am new to Protege and am having some problem with DL query. I am actually trying to query in DL tab using one simple data property called hasDimension. The domain for this property is a class called "Part" and range is "integer". What I am expecting is, the query should return the integer value that I have asserted as a fact. For example, individual part01 (instance of the Part class) has dimension 10, so I expect the system to return a value 10, but it doesn't work (even the execution tab remains disable). I wrote my query as follows: inverse hasDimension some {part01} However, when I write the query like hasDimension some {10}, it returns me the expected result which is part01. Thanks. Imran -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From katerinatzaf at gmail.com Mon Mar 5 16:01:22 2018 From: katerinatzaf at gmail.com (Katerina Tzafilkou) Date: Tue, 6 Mar 2018 02:01:22 +0200 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> Message-ID: As I can tell from the wiki post swrl does not support ontology modification, i.e. I cannot alter the value of a data property. If I attempt to do it then the property owns two values, the previous and the newly added one . However, I can add a value to an empty data property. Or I can add an individual to a class. Am I right? This is also considered modification? ???? 5 ??? 2018 11:42 ?.?., ? ??????? "Martin O'Connor" ??????: > > I see, so only swrl makes changes in the ontology. I have to work more on > this. > > > Actually, to be more precise: SWRL allows you to make new inferences in an > ontology - it does not support ontology modification. > > See: > > https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageFAQ#Does_SWRL_ > support_Nonmonotonic_Inference > > Martin > > Thank you > ???? 5 ??? 2018 12:32 ?.?., ? ??????? "Martin O'Connor" < > sunid at stanford.edu> ??????: > >> >> Note that SQWRL operators should not be used in SWRL rules. SQWRL >> operators are designed for querying only and do not support inference. >> >> You are attempting to express closed world inference using a SWRL rule. >> See: >> >> https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageF >> AQ#Does_SWRL_adopt_the_Open_World_Assumption >> >> Martin >> >> >> On Mar 4, 2018, at 3:52 AM, katetzaf wrote: >> >> Solved it! >> i have to run Drool Engine every time after i run sqwrl rule. Even if i >> cannot select-check the rule is SWRL tab, it seems to work. >> >> Thank you. >> >> >> >> -- >> Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f46598 >> 18.html >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From sunid at stanford.edu Mon Mar 5 16:11:45 2018 From: sunid at stanford.edu (Martin O'Connor) Date: Tue, 6 Mar 2018 00:11:45 +0000 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> Message-ID: SWRL supports the addition of new assertions to an ontology. It does not support the modification of existing assertions. There is no such thing as 'an empty data property'. A data property assertion exists in an ontology for an individual/property/value combination or it does not. One needs to be intimately aware of the consequences of monotonicity when working with SWRL (and OWL). Monotonicity essentially means that you cannot retract or modify an existing assertion. You can add as many new assertions as you would like - with the caveat that these assertions should not (directly or indirectly) contradict existing assertions. Martin On Mar 5, 2018, at 4:01 PM, Katerina Tzafilkou > wrote: As I can tell from the wiki post swrl does not support ontology modification, i.e. I cannot alter the value of a data property. If I attempt to do it then the property owns two values, the previous and the newly added one . However, I can add a value to an empty data property. Or I can add an individual to a class. Am I right? This is also considered modification? ???? 5 ??? 2018 11:42 ?.?., ? ??????? "Martin O'Connor" > ??????: I see, so only swrl makes changes in the ontology. I have to work more on this. Actually, to be more precise: SWRL allows you to make new inferences in an ontology - it does not support ontology modification. See: https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageFAQ#Does_SWRL_support_Nonmonotonic_Inference Martin Thank you ???? 5 ??? 2018 12:32 ?.?., ? ??????? "Martin O'Connor" > ??????: Note that SQWRL operators should not be used in SWRL rules. SQWRL operators are designed for querying only and do not support inference. You are attempting to express closed world inference using a SWRL rule. See: https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageFAQ#Does_SWRL_adopt_the_Open_World_Assumption Martin On Mar 4, 2018, at 3:52 AM, katetzaf > wrote: Solved it! i have to run Drool Engine every time after i run sqwrl rule. Even if i cannot select-check the rule is SWRL tab, it seems to work. Thank you. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Mon Mar 5 16:23:05 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Mon, 5 Mar 2018 16:23:05 -0800 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> Message-ID: Katerina, the technical term is that SWRL doesn't support non-monotonic reasoning. So for example if Joe was 17 but just had a birthday so you want to update his age to be 18 you can't do that kind of reasoning in SWRL. SWRL absolutely can define the values of object or data properties though and can create new individuals or change the class that an individual belongs to. So if I want to say that all humans with age under 18 belong to the class Minor that's the kind of thing that SWRL can support (although you could also do that with a DL definition). Here is a presentation from Martin that describes the difference. I think the whole presentation is worth studying but if you want to just see details about monotonic vs non-monotonic do a search for "Monotonic": https://protege.stanford.edu/conference/2009/slides/SWRL2009ProtegeConference.pdf I know this is confusing, at least it confused me at first and still does some times. One way I like to think of it is as the difference between Declarative and Procedural knowledge. If it's Declarative, i.e., if it's about the various definitions in the data and the logical consequences that they have than SWRL can probably represent it. If it's procedural, if it's how the Data changes as a result of various processes that use the data then it's probably non-monotonic. But the clearest explanation with examples IMO is in that presentation. Michael On Mon, Mar 5, 2018 at 4:01 PM, Katerina Tzafilkou wrote: > As I can tell from the wiki post swrl does not support ontology > modification, i.e. I cannot alter the value of a data property. If I > attempt to do it then the property owns two values, the previous and the > newly added one . > However, I can add a value to an empty data property. Or I can add an > individual to a class. Am I right? This is also considered modification? > ???? 5 ??? 2018 11:42 ?.?., ? ??????? "Martin O'Connor" < > sunid at stanford.edu> ??????: > >> >> I see, so only swrl makes changes in the ontology. I have to work more on >> this. >> >> >> Actually, to be more precise: SWRL allows you to make new inferences in >> an ontology - it does not support ontology modification. >> >> See: >> >> https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageF >> AQ#Does_SWRL_support_Nonmonotonic_Inference >> >> Martin >> >> Thank you >> ???? 5 ??? 2018 12:32 ?.?., ? ??????? "Martin O'Connor" < >> sunid at stanford.edu> ??????: >> >>> >>> Note that SQWRL operators should not be used in SWRL rules. SQWRL >>> operators are designed for querying only and do not support inference. >>> >>> You are attempting to express closed world inference using a SWRL rule. >>> See: >>> >>> https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageF >>> AQ#Does_SWRL_adopt_the_Open_World_Assumption >>> >>> Martin >>> >>> >>> On Mar 4, 2018, at 3:52 AM, katetzaf wrote: >>> >>> Solved it! >>> i have to run Drool Engine every time after i run sqwrl rule. Even if i >>> cannot select-check the rule is SWRL tab, it seems to work. >>> >>> Thank you. >>> >>> >>> >>> -- >>> Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f46598 >>> 18.html >>> _______________________________________________ >>> protege-user mailing list >>> protege-user at lists.stanford.edu >>> https://mailman.stanford.edu/mailman/listinfo/protege-user >>> >>> >>> >>> _______________________________________________ >>> protege-user mailing list >>> protege-user at lists.stanford.edu >>> https://mailman.stanford.edu/mailman/listinfo/protege-user >>> >>> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Mon Mar 5 16:24:33 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Mon, 5 Mar 2018 16:24:33 -0800 Subject: [protege-user] Data Property Query in DL Query In-Reply-To: <1520291902778-0.post@n4.nabble.com> References: <1520291902778-0.post@n4.nabble.com> Message-ID: Imran, if the Execute button is disabled that means something is wrong with the syntax of your query. A good trick is to remember to use CNTRL+SPACE at any point, that will show you the possible legal completions. It works in the DL Query and in any Protege screen that is expecting input that follows a specific syntax such as a SWRL rule or a Class expression. Here is the documentation for the Manchester Syntax which is used in the DL Query tab: https://www.w3.org/TR/owl2-manchester-syntax/ If I'm understanding the query you are trying to make correctly then I don't think it's possible. It sounds like you are expecting the number 10 as a result. I.e., give all the numbers that are the value of hasDimension for Part01. If that is what you are trying to do it won't work because you can't have inverses for data properties. Things like numbers and strings aren't tracked by the Reasoner as first class objects the way individuals in the knowledge base are. That's the difference between a data property and an object property. An object property can have an inverse (or be reflexive, transitive, or symmetric) but a data property can't. If you think about it, it would be a huge requirement to do things the other way, it would mean that essentially any number or string would have to be treated as a first class object with all the overhead that requires. Michael On Mon, Mar 5, 2018 at 3:18 PM, mimran wrote: > Hi everyone, > I am new to Protege and am having some problem with DL > query. I am actually trying to query in DL tab using one simple data > property called hasDimension. The domain for this property is a class > called > "Part" and range is "integer". What I am expecting is, the query should > return the integer value that I have asserted as a fact. For example, > individual part01 (instance of the Part class) has dimension 10, so I > expect > the system to return a value 10, but it doesn't work (even the execution > tab > remains disable). I wrote my query as follows: > > inverse hasDimension some {part01} > > However, when I write the query like hasDimension some {10}, it returns me > the expected result which is part01. > > > Thanks. > > Imran > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From www.fofa at live.com Mon Mar 5 16:52:14 2018 From: www.fofa at live.com (Foziah Gazzawe) Date: Tue, 6 Mar 2018 00:52:14 +0000 Subject: [protege-user] Inquiry In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu>, Message-ID: Hi, I need help as I need to develop a framework by using ontology. I have done all works on the Prot?g?, but the problem is that I do not know how to link it to my HTML user interfaces as I finished them as well. Could you please provide me with tutorial or the steps that help me to link them. Sent from my iPhone On 5 Mar 2018, at 8:45 pm, Katerina Tzafilkou > wrote: I see, so only swrl makes changes in the ontology. I have to work more on this. Thank you ???? 5 ??? 2018 12:32 ?.?., ? ??????? "Martin O'Connor" > ??????: Note that SQWRL operators should not be used in SWRL rules. SQWRL operators are designed for querying only and do not support inference. You are attempting to express closed world inference using a SWRL rule. See: https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageFAQ#Does_SWRL_adopt_the_Open_World_Assumption Martin On Mar 4, 2018, at 3:52 AM, katetzaf > wrote: Solved it! i have to run Drool Engine every time after i run sqwrl rule. Even if i cannot select-check the rule is SWRL tab, it seems to work. Thank you. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Mon Mar 5 17:27:16 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Mon, 5 Mar 2018 17:27:16 -0800 Subject: [protege-user] Inquiry In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> Message-ID: Protege is a data modeling tool not a full scale application development suite. The way most people develop applications is to use Java and to use frameworks like Jenna to access the ontology and then use the various UI libraries in Java to develop the GUI. But you could also use Python or many other programming languages and the various OWL and UI frameworks that come with those languages (although for OWL frameworks I think Java is best and Python second). I suggest you get a book on Semantic Web programming. Two good ones are Semantic Web Programming by John Hebeler et. al. (they focus on Java) and Programming the Semantic Web by Colin Evans et. al. (they focus on Python). Michael On Mon, Mar 5, 2018 at 4:52 PM, Foziah Gazzawe wrote: > Hi, > I need help as I need to develop a framework by using ontology. I have > done all works on the Prot?g?, but the problem is that I do not know how to > link it to my HTML user interfaces as I finished them as well. Could you > please provide me with tutorial or the steps that help me to link them. > > > Sent from my iPhone > > On 5 Mar 2018, at 8:45 pm, Katerina Tzafilkou > wrote: > > I see, so only swrl makes changes in the ontology. I have to work more on > this. > Thank you > ???? 5 ??? 2018 12:32 ?.?., ? ??????? "Martin O'Connor" < > sunid at stanford.edu> ??????: > >> >> Note that SQWRL operators should not be used in SWRL rules. SQWRL >> operators are designed for querying only and do not support inference. >> >> You are attempting to express closed world inference using a SWRL rule. >> See: >> >> https://github.com/protegeproject/swrlapi/wiki/SWRLLanguageF >> AQ#Does_SWRL_adopt_the_Open_World_Assumption >> >> Martin >> >> >> On Mar 4, 2018, at 3:52 AM, katetzaf wrote: >> >> Solved it! >> i have to run Drool Engine every time after i run sqwrl rule. Even if i >> cannot select-check the rule is SWRL tab, it seems to work. >> >> Thank you. >> >> >> >> -- >> Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f46598 >> 18.html >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From buehmann at informatik.uni-leipzig.de Mon Mar 5 22:50:02 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Tue, 6 Mar 2018 07:50:02 +0100 Subject: [protege-user] Data Property Query in DL Query In-Reply-To: References: <1520291902778-0.post@n4.nabble.com> Message-ID: <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> Impossible with DL Query. Use SPARQL, which is a query language on the RDF triple level. With the Snap SPARQL plugin you'll also get inference support (yet, limited to some extend) On 06.03.2018 01:24, Michael DeBellis wrote: > Imran, if the Execute button is disabled that means something is wrong > with the syntax of your query.? A good trick is to remember to use > CNTRL+SPACE at any point, that will show you the possible legal > completions. It works in the DL Query and in any Protege screen that > is expecting input that follows a specific syntax such as a SWRL rule > or a Class expression.? > > Here is the documentation for the Manchester Syntax which is used in > the DL Query tab:?https://www.w3.org/TR/owl2-manchester-syntax/ > > > If I'm understanding the query you are trying to make correctly then I > don't think it's possible. It sounds like you are expecting the number > 10 as a result. I.e., give all the numbers that are the value of > hasDimension for Part01. If that is what you are trying to do it won't > work because you can't have inverses for data properties. Things like > numbers and strings aren't tracked by the Reasoner as first class > objects the way individuals in the knowledge base are. That's the > difference between a data property and an object property. An object > property can have an inverse (or be reflexive, transitive, or > symmetric) but a data property can't. If you think about it, it would > be a huge requirement to do things the other way, it would mean that > essentially any number or string would have to be treated as a first > class object with all the overhead that requires.? > > Michael > > > > On Mon, Mar 5, 2018 at 3:18 PM, mimran > wrote: > > Hi everyone, > ? ? ? ? ? ? ? ? ? I am new to Protege and am having some problem > with DL > query. I am actually trying to query in DL tab using one simple data > property called hasDimension. The domain for this property is a > class called > "Part" and range is "integer". What I am expecting is, the query > should > return the integer value that I have asserted as a fact. For example, > individual part01 (instance of the Part class) has dimension 10, > so I expect > the system to return a value 10, but it doesn't work (even the > execution tab > remains disable). I wrote my query as follows: > > inverse hasDimension some {part01} > > However, when I write the query like hasDimension some {10}, it > returns me > the expected result which is part01. > > > Thanks. > > Imran > > > > > -- > Sent from: > http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From kivs at bultreebank.org Tue Mar 6 02:01:03 2018 From: kivs at bultreebank.org (=?utf-8?Q?Kiril=20Simov?=) Date: Tue, 06 Mar 2018 10:01:03 +0000 Subject: [protege-user] =?utf-8?q?ESSLLI_2018=3A_Application_for_Grants_is?= =?utf-8?q?_open?= In-Reply-To: <20180207165853.1921.qmail@s481.sureserver.com> References: <20180207165853.1921.qmail@s481.sureserver.com> Message-ID: <20180306100103.819.qmail@s481.sureserver.com> [Apologies for cross-postings] 30th European Summer School in Logic, Language and Information ESSLLI 2018 Sofia University "St. Kl. Ohridski" Sofia, BULGARIA August 6-17, 2018 http://esslli2018.folli.info/ http://esslli2018.folli.info/registration/ http://esslli2018.folli.info/grants/ The 30th edition of ESSLLI (European Summer School in Logic, Language and Information) will take place from 6 August to 17 August 2018 at Sofia University ?St. Kl. Ohridski?, Sofia, Bulgaria. The European Summer School in Logic, Language and Information is an event organized every year in a different European country under the auspices of the Association for Logic, Language and Information (FoLLI). Sofia University ?St. Kl. Ohridski? and the Institute of Information and Communication Technologies, Bulgarian Academy of Sciences (IICT-BAS), will jointly host ESSLLI 2018. ESSLLI 2018 will be held under the patronage of Mrs. Yordanka Fandakova, Mayor of Sofia Capital Municipality. We are pleased to announce that the program schedule is now available for the two weeks of the school. Under 'Program' section you can also check the information about the satellite Formal Grammar Conference as well as the Student Session. The ESSLLI 2018 Organization Team From katerinatzaf at gmail.com Tue Mar 6 06:37:31 2018 From: katerinatzaf at gmail.com (katetzaf) Date: Tue, 6 Mar 2018 07:37:31 -0700 (MST) Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> Message-ID: <1520347051964-0.post@n4.nabble.com> Thank you for explaining this to me. So there is no way to use non monotonic reasoning in Protege? I only found a NoHR plugin but not sure what it can do, Is there anything similar to SWRL that supports ontology modification? There is no way to use SQWRL buit-ins (like average, max ect.) as variables in my SWRL rules? If it's No to all the above then I possibly need to find some other methodology and tool or to 'compromise' my model to a monotonic reasoning; but this will make it loose much of its usefulness and functionality I guess. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From mdebellissf at gmail.com Tue Mar 6 07:13:21 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Tue, 6 Mar 2018 07:13:21 -0800 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <1520347051964-0.post@n4.nabble.com> References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> <1520347051964-0.post@n4.nabble.com> Message-ID: "So there is no way to use non monotonic reasoning in Protege?" I don't know all the plugins so I can't say for sure. But you can definitely do non-monotonic reasoning with OWL ontologies (which of course is what Protege creates). You just can't do so in SWRL. For example, I think SPARQL besides doing queries can also (it's sort of the SQL of the semantic web) assert new data into the ontology and I think that data can be non-monotonic. Or you can write Java programs that access the data and of course you can certainly do non-monotonic reasoning that way. "Is there anything similar to SWRL that supports ontology modification? There is no way to use SQWRL buit-ins (like average, max ect.) as variables in my SWRL rules?" SWRL supports ontology modification, just not non-monotonic reasoning. SWRL is actually incredibly powerful and you can do a lot with it once you get comfortable with it. If you have ever programmed in Prolog it kind of has that feel to it only (just my personal opinion) I find SWRL to be more intuitive than Prolog. If you know some First Order Logic SWRL is very much like programming in FOL which for the right problem can be extremely elegant and powerful. You can't use SQWRL built-ins except to query the ontology (so no you can't use them in SWRL rules that modify the ontology) but there are a lot of SWRL built-ins for Time, Math, string manipulation,... see: https://www.w3.org/Submission/SWRL/#8 As I said above, I think SPARQL can do non-monotonic reasoning but I've never used it except to do some sample queries and understand the basic syntax. Also, FYI, the basic SPARQL plugin that comes with Protege has some limitations as I understand it. If you use SPARQL you might want to check out a different more complete implementation. If you go that route you might want to check out the book: Learning SPARQL by Bob DuCharme. I developed a very basic SWRL tutorial that you might want to take a look at: http://symbolicshacker.blogspot.com/2017/06/swrl-process-modeling-tutorial.html This is just something I did to provide a very basic intro to SWRL. It's not part of the official Protege materials so if you do use it and have questions please just address them directly to me: mdebellissf at gmail.com rather than the whole group. I usually check my email very frequently so I should respond in a day if you have questions on the tutorial. But I would really recommend looking at Java or Python and how to write objects that manipulate the ontology as described in those books I mentioned in a previous message. Good luck! Michael On Tue, Mar 6, 2018 at 6:37 AM, katetzaf wrote: > Thank you for explaining this to me. > So there is no way to use non monotonic reasoning in Protege? I only found > a > NoHR plugin but not sure what it can do, > Is there anything similar to SWRL that supports ontology modification? > There is no way to use SQWRL buit-ins (like average, max ect.) as variables > in my SWRL rules? > If it's No to all the above then I possibly need to find some other > methodology and tool or to 'compromise' my model to a monotonic reasoning; > but this will make it loose much of its usefulness and functionality I > guess. > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From alessia.battisti at hotmail.it Tue Mar 6 08:50:28 2018 From: alessia.battisti at hotmail.it (Ale B) Date: Tue, 6 Mar 2018 16:50:28 +0000 Subject: [protege-user] Problem by saving - Protege5 Ubuntu16.04. Message-ID: Hi, I'm running Protege 5.2. on Ubuntu 16.04. Every time I want to save my ontology, Protege stops running and I cannot do anythig except for closing the program with the terminal. I have Java version "1.8.0_151". Any advice? Thank you very much. Ale From katerinatzaf at gmail.com Tue Mar 6 09:45:14 2018 From: katerinatzaf at gmail.com (katetzaf) Date: Tue, 6 Mar 2018 10:45:14 -0700 (MST) Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> <1520347051964-0.post@n4.nabble.com> Message-ID: <1520358314079-0.post@n4.nabble.com> This is really helpful, thank you so much! -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From csongor.nyulas at stanford.edu Tue Mar 6 10:12:37 2018 From: csongor.nyulas at stanford.edu (Csongor Nyulas) Date: Tue, 6 Mar 2018 10:12:37 -0800 Subject: [protege-user] Problem by saving - Protege5 Ubuntu16.04. In-Reply-To: References: Message-ID: <22cfb62e-2c4d-2b8d-676c-2c5e3e334dcd@stanford.edu> How much memory have you allocated to Protege? (You can find this on the terminal window where Protege runs, in the logs, or through the Help -> About menu) How big is your ontology? Does Protege have difficulty loading the ontology? Do you see the Protege java process being stuck in the System Monitor (or running top)? Do you have write permission in the directory where you try to save your ontology? Is it possible that you are trying to do "Save as" (or you did not open an ontology from a location that it is writable for you), and there is a pop-up window that should appear, but that window is not visible? Sometimes pop-up windows appear outside of the currently visible screen (e.g. on a screen that was visible at some point, but it is not any more). You can use ALT+SPACE to get access to the menu of such windows, and you can move them to the visible area of your desktop. I hope that some of this will give you a clue to fix the problem you encounter. Csongor On 03/06/2018 08:50 AM, Ale B wrote: > Hi, > I'm running Protege 5.2. on Ubuntu 16.04. > Every time I want to save my ontology, Protege stops running and I cannot do > anythig except for closing the program with the terminal. I have Java version "1.8.0_151". > Any advice? > Thank you very much. > Ale > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From sunid at stanford.edu Tue Mar 6 11:22:54 2018 From: sunid at stanford.edu (Martin O'Connor) Date: Tue, 6 Mar 2018 19:22:54 +0000 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> <1520347051964-0.post@n4.nabble.com> Message-ID: <5A99C3B5-E2F7-42ED-B8C6-087A64A2B675@stanford.edu> Note that SPARQL is an RDF-based language. It has no native understanding of OWL (though some extensions of it recognize a small number of OWL axiom types). It typically operates on OWL ontologies at the RDF serialization level only - and will happily allow you (via its CONSTRUCT clause) to produce semantically invalid assertions. The deeper question here is whether OWL is a suitable representation language for your application. Open world reasoning is baked into the language. Effort is required to allow it to coexist with a closed world reasoning mechanisms. See the following, for example: https://www.researchgate.net/publication/320169190_C-SWRL_A_Unique_Semantic_Web_Framework_for_Reasoning_Over_Stream_Data Martin On Mar 6, 2018, at 7:13 AM, Michael DeBellis > wrote: "So there is no way to use non monotonic reasoning in Protege?" I don't know all the plugins so I can't say for sure. But you can definitely do non-monotonic reasoning with OWL ontologies (which of course is what Protege creates). You just can't do so in SWRL. For example, I think SPARQL besides doing queries can also (it's sort of the SQL of the semantic web) assert new data into the ontology and I think that data can be non-monotonic. Or you can write Java programs that access the data and of course you can certainly do non-monotonic reasoning that way. "Is there anything similar to SWRL that supports ontology modification? There is no way to use SQWRL buit-ins (like average, max ect.) as variables in my SWRL rules?" SWRL supports ontology modification, just not non-monotonic reasoning. SWRL is actually incredibly powerful and you can do a lot with it once you get comfortable with it. If you have ever programmed in Prolog it kind of has that feel to it only (just my personal opinion) I find SWRL to be more intuitive than Prolog. If you know some First Order Logic SWRL is very much like programming in FOL which for the right problem can be extremely elegant and powerful. You can't use SQWRL built-ins except to query the ontology (so no you can't use them in SWRL rules that modify the ontology) but there are a lot of SWRL built-ins for Time, Math, string manipulation,... see: https://www.w3.org/Submission/SWRL/#8 As I said above, I think SPARQL can do non-monotonic reasoning but I've never used it except to do some sample queries and understand the basic syntax. Also, FYI, the basic SPARQL plugin that comes with Protege has some limitations as I understand it. If you use SPARQL you might want to check out a different more complete implementation. If you go that route you might want to check out the book: Learning SPARQL by Bob DuCharme. I developed a very basic SWRL tutorial that you might want to take a look at: http://symbolicshacker.blogspot.com/2017/06/swrl-process-modeling-tutorial.html This is just something I did to provide a very basic intro to SWRL. It's not part of the official Protege materials so if you do use it and have questions please just address them directly to me: mdebellissf at gmail.com rather than the whole group. I usually check my email very frequently so I should respond in a day if you have questions on the tutorial. But I would really recommend looking at Java or Python and how to write objects that manipulate the ontology as described in those books I mentioned in a previous message. Good luck! Michael On Tue, Mar 6, 2018 at 6:37 AM, katetzaf > wrote: Thank you for explaining this to me. So there is no way to use non monotonic reasoning in Protege? I only found a NoHR plugin but not sure what it can do, Is there anything similar to SWRL that supports ontology modification? There is no way to use SQWRL buit-ins (like average, max ect.) as variables in my SWRL rules? If it's No to all the above then I possibly need to find some other methodology and tool or to 'compromise' my model to a monotonic reasoning; but this will make it loose much of its usefulness and functionality I guess. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From katerinatzaf at gmail.com Tue Mar 6 12:14:05 2018 From: katerinatzaf at gmail.com (katetzaf) Date: Tue, 6 Mar 2018 13:14:05 -0700 (MST) Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <5A99C3B5-E2F7-42ED-B8C6-087A64A2B675@stanford.edu> References: <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> <1520347051964-0.post@n4.nabble.com> <5A99C3B5-E2F7-42ED-B8C6-087A64A2B675@stanford.edu> Message-ID: <1520367245210-0.post@n4.nabble.com> Martin I found the example's full paper and indeed it seems really close to my application logic. Actually what i am trying to do is to create an ontology-based user model (similar to the learner model). The difference is that i want to use some rule based reasoning to assign/add new values (e.g. "low", "high", True/False, etc.) to the individuals' (i.e. users) assigned data properties. These assignments will be used to represent my final owl user ontology. SWRL seems to work to some level. But now, as I see i need some non monotonic reasoning since i want my values be updated in every session of the user-system interaction. I also need to use some sparql query results to build my rules on. Holding multiple values (by using swrl) will might be confusing for my model's final composition. Things seem a bit more clear to me now, thank you! -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From mimran646 at gmail.com Tue Mar 6 12:20:28 2018 From: mimran646 at gmail.com (mimran) Date: Tue, 6 Mar 2018 13:20:28 -0700 (MST) Subject: [protege-user] Data Property Query in DL Query In-Reply-To: <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> References: <1520291902778-0.post@n4.nabble.com> <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> Message-ID: <1520367628459-0.post@n4.nabble.com> Thanks Michael and Lorenz for your valuable comments. As Michael said, I actually expect some numbers as a result of the query (dimension of the part in my case) which does not seem possible through DL query. @Lorenz Does the SNAP SPARQL query support querying SWRL based inferences? Because, I would also require some inference rules to model my ontology. Also, if you can please refer me to some tutorials or help material related to SNAP SPARQL as I could only found one relevant paper. Thanks. Imran -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From buehmann at informatik.uni-leipzig.de Tue Mar 6 23:56:52 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Wed, 7 Mar 2018 08:56:52 +0100 Subject: [protege-user] Data Property Query in DL Query In-Reply-To: <1520367628459-0.post@n4.nabble.com> References: <1520291902778-0.post@n4.nabble.com> <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> <1520367628459-0.post@n4.nabble.com> Message-ID: <72bb1896-6dc8-f60b-8974-22852b1ef63d@informatik.uni-leipzig.de> AFAIK, it does use the reasoner which you selected in Protege to do the entailment part, thus, if you're using Pellet it might work. Matthew Horridge knows better, he's the developer of it.? I don't think that there is a tutorial because it's just a view where you can run SPARQL queries and implicitly the OWL reasoner is used (to some extend) during query evaluation following SPARQL 1.1 entailment regime definition. Can't you simply try it out with your ontology? The SPARQL query would be pretty trivial. On 06.03.2018 21:20, mimran wrote: > Thanks Michael and Lorenz for your valuable comments. As Michael said, I > actually expect some numbers as a result of the query (dimension of the part > in my case) which does not seem possible through DL query. > > @Lorenz Does the SNAP SPARQL query support querying SWRL based inferences? > Because, I would also require some inference rules to model my ontology. > Also, if you can please refer me to some tutorials or help material related > to SNAP SPARQL as I could only found one relevant paper. > > Thanks. > > Imran > > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user From buehmann at informatik.uni-leipzig.de Tue Mar 6 23:59:58 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Wed, 7 Mar 2018 08:59:58 +0100 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> <1520347051964-0.post@n4.nabble.com> Message-ID: <7884a006-4f1b-36a2-4406-c2d2b06291f1@informatik.uni-leipzig.de> > As I said above, I think SPARQL can do non-monotonic reasoning but > I've never used it except to do some sample queries and understand the > basic syntax. Also, FYI, the basic SPARQL plugin that comes with > Protege has some limitations as I understand it. If you use SPARQL you > might want to check out a different more complete implementation. If > you go that route you might want to check out the book:?Learning > SPARQL by Bob?DuCharme.? > You can only modify an ontology if SPARQL 1.1 Update (INSERT, DELETE) would be supported, which is, afaik, not the case in Protege. On 06.03.2018 16:13, Michael DeBellis wrote: > "So there is no way to use non monotonic reasoning in Protege?" > > I don't know all the plugins so I can't say for sure. But you can > definitely do non-monotonic reasoning with OWL ontologies (which of > course is what Protege creates). You just can't do so in SWRL. For > example, I think SPARQL besides doing queries can also (it's sort of > the SQL of the semantic web) assert new data into the ontology and I > think that data can be non-monotonic. Or you can write Java programs > that access the data and of course you can certainly do non-monotonic > reasoning that way.? > > "Is there anything similar to SWRL that supports ontology modification? > There is no way to use SQWRL buit-ins (like average, max ect.) as > variables > in my SWRL rules?" > > SWRL supports ontology modification, just not non-monotonic reasoning. > SWRL is actually incredibly powerful and you can do a lot with it once > you get comfortable with it. If you have ever programmed in Prolog it > kind of has that feel to it only (just my personal opinion) I find > SWRL to be more intuitive than Prolog. If you know some First Order > Logic SWRL is very much like programming in FOL which for the right > problem can be extremely elegant and powerful. You can't use SQWRL > built-ins except to query the ontology (so no you can't use them in > SWRL rules that modify the ontology) but there are a lot of SWRL > built-ins for Time, Math, string manipulation,... > see:??https://www.w3.org/Submission/SWRL/#8? As I said above, I think > SPARQL can do non-monotonic reasoning but I've never used it except to > do some sample queries and understand the basic syntax. Also, FYI, the > basic SPARQL plugin that comes with Protege has some limitations as I > understand it. If you use SPARQL you might want to check out a > different more complete implementation. If you go that route you might > want to check out the book:?Learning SPARQL by Bob?DuCharme.? > > I developed a very basic SWRL tutorial that you might want to take a > look > at:?http://symbolicshacker.blogspot.com/2017/06/swrl-process-modeling-tutorial.html? > This is just something I did to provide a very basic intro to SWRL. > It's not part of the official Protege materials so if you do use it > and have questions please just address them directly to me: > mdebellissf at gmail.com rather than the > whole group. I usually check my email very frequently so I should > respond in a day if you have questions on the tutorial. But I would > really recommend looking at Java or Python and how to write objects > that manipulate the ontology as described in those books I mentioned > in a previous message. Good luck! > > Michael > > > On Tue, Mar 6, 2018 at 6:37 AM, katetzaf > wrote: > > Thank you for explaining this to me. > So there is no way to use non monotonic reasoning in Protege? I > only found a > NoHR plugin but not sure what it can do, > Is there anything similar to SWRL that supports ontology modification? > There is no way to use SQWRL buit-ins (like average, max ect.) as > variables > in my SWRL rules? > If it's No to all the above then I possibly need to find some other > methodology and tool or? to 'compromise' my model to a monotonic > reasoning; > but this will make it loose much of its usefulness and functionality I > guess. > > > > -- > Sent from: > http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From buehmann at informatik.uni-leipzig.de Wed Mar 7 00:02:57 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Wed, 7 Mar 2018 09:02:57 +0100 Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <7884a006-4f1b-36a2-4406-c2d2b06291f1@informatik.uni-leipzig.de> References: <1520114298814-0.post@n4.nabble.com> <1520158180327-0.post@n4.nabble.com> <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> <1520347051964-0.post@n4.nabble.com> <7884a006-4f1b-36a2-4406-c2d2b06291f1@informatik.uni-leipzig.de> Message-ID: <0ff097e2-3850-679c-8be0-75db35ebf433@informatik.uni-leipzig.de> Regarding non-monotonic reasoning, SPARQL can do a lots of things, right. Note, reasoning is only supported via Snap SPARQL. On the other hand, the default SPARQL plugin supports full SPARQL 1.1 via RDF4J API. On 07.03.2018 08:59, Lorenz Buehmann wrote: > >> As I said above, I think SPARQL can do non-monotonic reasoning but >> I've never used it except to do some sample queries and understand >> the basic syntax. Also, FYI, the basic SPARQL plugin that comes with >> Protege has some limitations as I understand it. If you use SPARQL >> you might want to check out a different more complete implementation. >> If you go that route you might want to check out the book:?Learning >> SPARQL by Bob?DuCharme.? >> > You can only modify an ontology if SPARQL 1.1 Update (INSERT, DELETE) > would be supported, which is, afaik, not the case in Protege. > > On 06.03.2018 16:13, Michael DeBellis wrote: >> "So there is no way to use non monotonic reasoning in Protege?" >> >> I don't know all the plugins so I can't say for sure. But you can >> definitely do non-monotonic reasoning with OWL ontologies (which of >> course is what Protege creates). You just can't do so in SWRL. For >> example, I think SPARQL besides doing queries can also (it's sort of >> the SQL of the semantic web) assert new data into the ontology and I >> think that data can be non-monotonic. Or you can write Java programs >> that access the data and of course you can certainly do non-monotonic >> reasoning that way.? >> >> "Is there anything similar to SWRL that supports ontology modification? >> There is no way to use SQWRL buit-ins (like average, max ect.) as >> variables >> in my SWRL rules?" >> >> SWRL supports ontology modification, just not non-monotonic >> reasoning. SWRL is actually incredibly powerful and you can do a lot >> with it once you get comfortable with it. If you have ever programmed >> in Prolog it kind of has that feel to it only (just my personal >> opinion) I find SWRL to be more intuitive than Prolog. If you know >> some First Order Logic SWRL is very much like programming in FOL >> which for the right problem can be extremely elegant and powerful. >> You can't use SQWRL built-ins except to query the ontology (so no you >> can't use them in SWRL rules that modify the ontology) but there are >> a lot of SWRL built-ins for Time, Math, string manipulation,... >> see:??https://www.w3.org/Submission/SWRL/#8? As I said above, I think >> SPARQL can do non-monotonic reasoning but I've never used it except >> to do some sample queries and understand the basic syntax. Also, FYI, >> the basic SPARQL plugin that comes with Protege has some limitations >> as I understand it. If you use SPARQL you might want to check out a >> different more complete implementation. If you go that route you >> might want to check out the book:?Learning SPARQL by Bob?DuCharme.? >> >> I developed a very basic SWRL tutorial that you might want to take a >> look >> at:?http://symbolicshacker.blogspot.com/2017/06/swrl-process-modeling-tutorial.html? >> This is just something I did to provide a very basic intro to SWRL. >> It's not part of the official Protege materials so if you do use it >> and have questions please just address them directly to me: >> mdebellissf at gmail.com rather than the >> whole group. I usually check my email very frequently so I should >> respond in a day if you have questions on the tutorial. But I would >> really recommend looking at Java or Python and how to write objects >> that manipulate the ontology as described in those books I mentioned >> in a previous message. Good luck! >> >> Michael >> >> >> On Tue, Mar 6, 2018 at 6:37 AM, katetzaf > > wrote: >> >> Thank you for explaining this to me. >> So there is no way to use non monotonic reasoning in Protege? I >> only found a >> NoHR plugin but not sure what it can do, >> Is there anything similar to SWRL that supports ontology >> modification? >> There is no way to use SQWRL buit-ins (like average, max ect.) as >> variables >> in my SWRL rules? >> If it's No to all the above then I possibly need to find some other >> methodology and tool or? to 'compromise' my model to a monotonic >> reasoning; >> but this will make it loose much of its usefulness and >> functionality I >> guess. >> >> >> >> -- >> Sent from: >> http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> >> >> >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Wed Mar 7 05:59:58 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Wed, 7 Mar 2018 05:59:58 -0800 Subject: [protege-user] Data Property Query in DL Query In-Reply-To: <1520367628459-0.post@n4.nabble.com> References: <1520291902778-0.post@n4.nabble.com> <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> <1520367628459-0.post@n4.nabble.com> Message-ID: Mimran, I apologize if this may have been covered already. But if all you want to do is to get info about data properties you can easily do that in SWRL and SQWRL. SQWRL is an extension of SWRL to get info from the ontology and also can be very helpful to test and debug rules. Just note that nothing in SQWRL can be asserted back into the ontology, but in SWRL things can be asserted into the ontology. Here is a small Car ontology I developed a while back as an example for someone else a while back. I added a SQWRL rule called CarInfoRule: Car(?x) ^ manufacturedOnDate(?x, ?d) -> sqwrl:select(?x, ?d) when you run this rule in SQWRL (go to the SQWRL tab, select the rule and click Run) it should print out two rows of data for the two example cars in the ontology. The car (which is bound to ?x) and the manufacturedOnDate (which is bound to ?d). manufacturedOnDate is a data property. I think you could do the same kind of thing to get the part information from your ontology. Note that it may include the name of the ontology as a prefix to each of the names in the rule. It does that sometimes but it doesn't effect the outcome. IMO SWRL and SQWRL are easier to use than SPARQL. Michael On Tue, Mar 6, 2018 at 12:20 PM, mimran wrote: > Thanks Michael and Lorenz for your valuable comments. As Michael said, I > actually expect some numbers as a result of the query (dimension of the > part > in my case) which does not seem possible through DL query. > > @Lorenz Does the SNAP SPARQL query support querying SWRL based inferences? > Because, I would also require some inference rules to model my ontology. > Also, if you can please refer me to some tutorials or help material related > to SNAP SPARQL as I could only found one relevant paper. > > Thanks. > > Imran > > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CarExample.owl Type: application/octet-stream Size: 23965 bytes Desc: not available URL: From cday at itidata.com Wed Mar 7 11:11:58 2018 From: cday at itidata.com (Chris Day) Date: Wed, 7 Mar 2018 19:11:58 -0000 Subject: [protege-user] Converting individuals/instances to class with Protege V5 Message-ID: <018101d3b648$2abcc070$80364150$@itidata.com> Hi - I'm trying to find an approach to convert individuals/instances to classes Back in 2008, Tania wrote a plugin for V3 http://protege-project.136.n4.nabble.com/Converting-individual-to-class-td98 68.html does anyone have a V5 compatible version of this ? Cheers Chris Chris Day Managing Director M: +44 7930 909 297 68 Lombard Street London EC3V 9LJ | UK map . website -------------- next part -------------- An HTML attachment was scrubbed... URL: From dipalitole at rediffmail.com Thu Mar 8 04:57:11 2018 From: dipalitole at rediffmail.com (Dipali) Date: 8 Mar 2018 12:57:11 -0000 Subject: [protege-user] =?utf-8?q?Plugin_for_NLP?= Message-ID: <20180308125711.6757.qmail@f4mail-235-143.rediffmail.com> Hello,All the plugin mentioned at below link are supporting protégé version below 5.0.https://protegewiki.stanford.edu/wiki/Natural_Language_Processing Currently I am using Protégé 5.2 version.Can you please tell me the  plugin which is supporting the Protégé latest version?  Thanks,Dipali  -------------- next part -------------- An HTML attachment was scrubbed... URL: From csongor.nyulas at stanford.edu Thu Mar 8 11:05:49 2018 From: csongor.nyulas at stanford.edu (Csongor Nyulas) Date: Thu, 8 Mar 2018 11:05:49 -0800 Subject: [protege-user] Plugin for NLP In-Reply-To: <20180308125711.6757.qmail@f4mail-235-143.rediffmail.com> References: <20180308125711.6757.qmail@f4mail-235-143.rediffmail.com> Message-ID: Most publicly advertised plug-ins that are compatible with the latest version of Protege can be installed through Protege's automatic update mechanism (accessible through the File -> Check for plugins... menu). If you are looking for other plugins that are not in the list, you can try to install them manually, to see if they work, or you can contact the plug-in authors to see what is the status of upgrading those plug-ins for Protege 5.x. Csongor On 03/08/2018 04:57 AM, Dipali wrote: > Hello, > > All the plugin mentioned at below link are supporting prot?g? version > below 5.0. > https://protegewiki.stanford.edu/wiki/Natural_Language_Processing > > Currently I am using Prot?g? 5.2 version. > Can you please tell me the ?plugin which is supporting the Prot?g? > latest version? > > Thanks, > Dipali > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From mimran646 at gmail.com Fri Mar 9 03:05:54 2018 From: mimran646 at gmail.com (mimran) Date: Fri, 9 Mar 2018 04:05:54 -0700 (MST) Subject: [protege-user] Data Property Query in DL Query In-Reply-To: References: <1520291902778-0.post@n4.nabble.com> <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> <1520367628459-0.post@n4.nabble.com> Message-ID: <1520593554039-0.post@n4.nabble.com> Michael, I really appreciate your useful comments on my queries. I saw you car ontology and it perfectly runs as per your explanation in your previous reply. I also tailored queries for my ontology and ran them on SQWRL and they provided me expected results (you can see the attachments). However, I want to make the rules as part of the ontology, so, I convert one of the SQWRL query into SWRL rule (s1 rule in the pic). When I start the reasoner (I am using HermiT1.3.8.413 reasoner and Protege 5.2 versions), it gives me an error which reads: /An error occurred during reasoning: A SWRL rule uses a built-in atom, but built-in atoms are not supported/. I think the error is due to one of the SWRL built-ins (swrlb:add in my case) that I used in the SWRL rule. I even, tried starting reasoner using your car ontology and it gave me the same error. Do you know why it gives me this error every time I start the reasoner. Thanks. Imran Data_Property_Fact_Assertions.jpg SQWRL_Query_for_Minimum_Allowable_Dimension.jpg -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From sweera20 at yahoo.com Fri Mar 9 04:00:08 2018 From: sweera20 at yahoo.com (SaraSweidan) Date: Fri, 9 Mar 2018 05:00:08 -0700 (MST) Subject: [protege-user] problem in saving ontology by fuzzyDL Message-ID: <1520596808139-0.post@n4.nabble.com> please I need help this message appears to me when needs to save my ontology with .fdl thanks -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From buehmann at informatik.uni-leipzig.de Fri Mar 9 04:37:01 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Fri, 9 Mar 2018 13:37:01 +0100 Subject: [protege-user] Data Property Query in DL Query In-Reply-To: <1520593554039-0.post@n4.nabble.com> References: <1520291902778-0.post@n4.nabble.com> <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> <1520367628459-0.post@n4.nabble.com> <1520593554039-0.post@n4.nabble.com> Message-ID: <2ba33b3f-7b26-4bb2-d4a2-f06ef7b99a1c@informatik.uni-leipzig.de> The error message is clear. Remove the SWRL built-in atom or use a different reasoner like Pellet. On 09.03.2018 12:05, mimran wrote: > Michael, I really appreciate your useful comments on my queries. I saw you > car ontology and it perfectly runs as per your explanation in your previous > reply. I also tailored queries for my ontology and ran them on SQWRL and > they provided me expected results (you can see the attachments). > > However, I want to make the rules as part of the ontology, so, I convert one > of the SQWRL query into SWRL rule (s1 rule in the pic). When I start the > reasoner (I am using HermiT1.3.8.413 reasoner and Protege 5.2 versions), it > gives me an error which reads: /An error occurred during reasoning: A SWRL > rule uses a built-in atom, but built-in atoms are not supported/. I think > the error is due to one of the SWRL built-ins (swrlb:add in my case) that I > used in the SWRL rule. I even, tried starting reasoner using your car > ontology and it gave me the same error. Do you know why it gives me this > error every time I start the reasoner. > > Thanks. > > Imran > Data_Property_Fact_Assertions.jpg > > > SQWRL_Query_for_Minimum_Allowable_Dimension.jpg > > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user From swt at stanford.edu Fri Mar 9 06:38:18 2018 From: swt at stanford.edu (Samson Tu) Date: Fri, 9 Mar 2018 14:38:18 +0000 Subject: [protege-user] problem in saving ontology by fuzzyDL In-Reply-To: <1520596808139-0.post@n4.nabble.com> References: <1520596808139-0.post@n4.nabble.com> Message-ID: Save the file in a folder where you have the permission to create files. With best regards, Samson On Mar 9, 2018, at 4:00 AM, SaraSweidan > wrote: please I need help this message appears to me when needs to save my ontology with .fdl thanks -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Fri Mar 9 08:24:26 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Fri, 9 Mar 2018 08:24:26 -0800 Subject: [protege-user] Data Property Query in DL Query In-Reply-To: <1520593554039-0.post@n4.nabble.com> References: <1520291902778-0.post@n4.nabble.com> <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> <1520367628459-0.post@n4.nabble.com> <1520593554039-0.post@n4.nabble.com> Message-ID: I'm not certain but I think the most likely reason is that you are using Hermit as your reasoner. Sorry, I should have told you Pellet (at least in my experience) works the best if you are going to use SWRL and SQWRL rules. I think Hermit doesn't yet support all the SWRL builtins but Pellet should. Try running Pellet -- you may need to load it, I think it's a plugin. And let me know if that still doesn't work. Michael On Fri, Mar 9, 2018 at 3:05 AM, mimran wrote: > Michael, I really appreciate your useful comments on my queries. I saw you > car ontology and it perfectly runs as per your explanation in your previous > reply. I also tailored queries for my ontology and ran them on SQWRL and > they provided me expected results (you can see the attachments). > > However, I want to make the rules as part of the ontology, so, I convert > one > of the SQWRL query into SWRL rule (s1 rule in the pic). When I start the > reasoner (I am using HermiT1.3.8.413 reasoner and Protege 5.2 versions), it > gives me an error which reads: /An error occurred during reasoning: A SWRL > rule uses a built-in atom, but built-in atoms are not supported/. I think > the error is due to one of the SWRL built-ins (swrlb:add in my case) that I > used in the SWRL rule. I even, tried starting reasoner using your car > ontology and it gave me the same error. Do you know why it gives me this > error every time I start the reasoner. > > Thanks. > > Imran > Data_Property_Fact_Assertions.jpg > Data_Property_Fact_Assertions.jpg> > > SQWRL_Query_for_Minimum_Allowable_Dimension.jpg > SQWRL_Query_for_Minimum_Allowable_Dimension.jpg> > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From mimran646 at gmail.com Sat Mar 10 11:40:33 2018 From: mimran646 at gmail.com (mimran) Date: Sat, 10 Mar 2018 12:40:33 -0700 (MST) Subject: [protege-user] Data Property Query in DL Query In-Reply-To: References: <1520291902778-0.post@n4.nabble.com> <961b5495-815e-cc04-c87f-9cf06760637e@informatik.uni-leipzig.de> <1520367628459-0.post@n4.nabble.com> <1520593554039-0.post@n4.nabble.com> Message-ID: <1520710833060-0.post@n4.nabble.com> Thanks Michael and Lorenz.....Pellet reasoner works with SWRL built-ins. Imran -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From matthew.horridge at stanford.edu Mon Mar 12 09:53:20 2018 From: matthew.horridge at stanford.edu (Matthew Horridge) Date: Mon, 12 Mar 2018 16:53:20 +0000 Subject: [protege-user] Converting individuals/instances to class with Protege V5 In-Reply-To: <018101d3b648$2abcc070$80364150$@itidata.com> References: <018101d3b648$2abcc070$80364150$@itidata.com> Message-ID: Hi Chris, As far as I know there is no such functionality in Protege 5, either in the core system or via a third party plugin. I?ve added an issue for this in the Protege tracker, https://github.com/protegeproject/protege/issues/762 Cheers, Matthew On 7 Mar 2018, at 11:11, Chris Day > wrote: Hi ? I?m trying to find an approach to convert individuals/instances to classes Back in 2008, Tania wrote a plugin for V3 http://protege-project.136.n4.nabble.com/Converting-individual-to-class-td9868.html does anyone have a V5 compatible version of this ? Cheers Chris [ITI Data] Chris Day Managing Director M: +44 7930 909 297 68 Lombard Street London EC3V 9LJ | UK map ? website [LinkedIn][Facebook][Twitter][vCard][Email] _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From chernik97 at gmail.com Tue Mar 13 04:26:03 2018 From: chernik97 at gmail.com (Ivan Chernikau) Date: Tue, 13 Mar 2018 04:26:03 -0700 (MST) Subject: [protege-user] Protege SWRL duplicates subproperties and subclasses values Message-ID: <1520940363379-0.post@n4.nabble.com> Hi all! After execution following buttons on SWRLTab (or rule execution): 1. OWL+SWRL-> drools 2. run drools 3. drools -> owl The result ontology contains duplication of data between subproperties (ObjectProperties, DataProperties) and subclasses. Example of hierarchy for Data properties: Instance before execution: Instance after execution: It also occurs the hierarchy for ObjectProperties and Classes. Example: if class C is subclass of B and class B is subclass of A, then C is subclass of B and A. /*Question is:*/* is it possible to make data displayed without duplication of data between all hierarchy elements? is there any other plugin to write rules without duplication?* -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From mdebellissf at gmail.com Tue Mar 13 07:01:25 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Tue, 13 Mar 2018 07:01:25 -0700 Subject: [protege-user] Protege SWRL duplicates subproperties and subclasses values In-Reply-To: <1520940363379-0.post@n4.nabble.com> References: <1520940363379-0.post@n4.nabble.com> Message-ID: Ivan, I don't think what you are seeing has anything to do with SWRL. I think it's just a result of the way you've defined your properties. Properties in OWL are not like Properties in OOP. In OOP a property is always associated with a class. That doesn't have to be the case in OWL where properties are first class concepts that can stand alone. Also, in OOP you don't have the concept of properties subsuming each other. That's because OWL is based on Description Logic which is a subset of First Order Logic. So a property in OWL is like a relation in logic and just like a relation one property can subsume another. Here is an example of how I use that in my ontology that may make things clear: I have the concept of an Event class and one of it's properties is hasParticipant. hasParticipant has domain Event and range Agent, it's any Agent that is involved in an Event. But hasResponsibleAgent is a sub-property of hasParticipant. It is a relation that describes the Agent who caused the Event and is responsible for it. This means two things: the domain and range of hasResponsibleAgent must be the same as (or subclasses of) the domain and range of hasParticipant. Also, it means that any time I assert that an an Event hasResponsibleAgent (say Event E1 hasResponsibleAgent A1) then E1 also hasParticipant A1. I.e., if an Agent is the responsible agent for an event then she must also be a participant of the event. I think that is what's happening in your case. You've defined Data Properties like cash and age to be sub properties of PersonProperties. So when you say that the age of some individual is 21 the reasoner is asserting that a PersonProperties value of that Person is also 21. The ability to have property hierarchies can be valuable if (as in my example above) you actually want that behavior but if (which is more common) you don't want that behavior you don't need to and probably shouldn't define your data properties to be sup properties as you have. I think the same is true for your class example. Classes in OWL are sets in logic. If I say that the set Dog is a subset of Mammal and that Mammal is a subset of Animal I'm also saying that Dog is a subset of Animal. BTW, I had exactly the same confusing when I first started working with properties in OWL because I had done a lot of OOP and was thinking of properties as though they had to associated with some class. (Note that you still can associate properties with a class by declaring their Domain). I'm including a link that I found helpful that describes the differences between objects in OWL and those in OOP. https://www.w3.org/2001/sw/BestPractices/SE/ODSD/ Michael On Tue, Mar 13, 2018 at 4:26 AM, Ivan Chernikau wrote: > Hi all! > > After execution following buttons on SWRLTab (or rule execution): > 1. OWL+SWRL-> drools > 2. run drools > 3. drools -> owl > > The result ontology contains duplication of data between subproperties > (ObjectProperties, DataProperties) > and subclasses. > > Example of hierarchy for Data properties: > > > > > Instance before execution: > > before_execution.jpg> > > Instance after execution: > > > > > It also occurs the hierarchy for ObjectProperties and Classes. > > Example: > if class C is subclass of B and class B is subclass of A, then C is > subclass > of B and A. > > /*Question is:*/* is it possible to make data displayed without duplication > of > data between all hierarchy elements? is there any other plugin to write > rules without duplication?* > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Tue Mar 13 07:37:38 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Tue, 13 Mar 2018 07:37:38 -0700 Subject: [protege-user] Protege SWRL duplicates subproperties and subclasses values In-Reply-To: <1520940363379-0.post@n4.nabble.com> References: <1520940363379-0.post@n4.nabble.com> Message-ID: Ivan, a couple other things you might find useful. I've developed a short tutorial for SWRL: http://symbolicshacker.blogspot.com/2017/06/swrl-process-modeling-tutorial.html Also, on that same page I've added a PDF from a book. The book is Mathematical Methods in Linguistics but the PDF is just the first chapter which is a very good refresher on the basics of logic and set theory. That link is at the bottom of the page above and is: Partee, et. al. Basic Concepts of Set Theory. If it's been a while since you studied the topic it might be worth reading that chapter as a refresher. Michael On Tue, Mar 13, 2018 at 4:26 AM, Ivan Chernikau wrote: > Hi all! > > After execution following buttons on SWRLTab (or rule execution): > 1. OWL+SWRL-> drools > 2. run drools > 3. drools -> owl > > The result ontology contains duplication of data between subproperties > (ObjectProperties, DataProperties) > and subclasses. > > Example of hierarchy for Data properties: > > > > > Instance before execution: > > before_execution.jpg> > > Instance after execution: > > > > > It also occurs the hierarchy for ObjectProperties and Classes. > > Example: > if class C is subclass of B and class B is subclass of A, then C is > subclass > of B and A. > > /*Question is:*/* is it possible to make data displayed without duplication > of > data between all hierarchy elements? is there any other plugin to write > rules without duplication?* > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From chernik97 at gmail.com Tue Mar 13 09:23:50 2018 From: chernik97 at gmail.com (Ivan Chernikau) Date: Tue, 13 Mar 2018 09:23:50 -0700 (MST) Subject: [protege-user] Protege SWRL duplicates subproperties and subclasses values In-Reply-To: References: <1520940363379-0.post@n4.nabble.com> Message-ID: <1520958230543-0.post@n4.nabble.com> Hi Michael, thank you for providing so much details and explanation! cheers! -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From katerinatzaf at gmail.com Thu Mar 15 04:40:36 2018 From: katerinatzaf at gmail.com (katetzaf) Date: Thu, 15 Mar 2018 04:40:36 -0700 (MST) Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <0ff097e2-3850-679c-8be0-75db35ebf433@informatik.uni-leipzig.de> References: <1520164348913-0.post@n4.nabble.com> <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> <1520347051964-0.post@n4.nabble.com> <7884a006-4f1b-36a2-4406-c2d2b06291f1@informatik.uni-leipzig.de> <0ff097e2-3850-679c-8be0-75db35ebf433@informatik.uni-leipzig.de> Message-ID: <1521114036118-0.post@n4.nabble.com> Hello again, I am trying these days to modify my ontology via SPARQL. As i understood i can build some 'update' queries to update data property values. Knowing SQL it seems quite simple. However, snap sparql does not return any results for my concepts (only the basic ones e.g. select...WHERE.. rdf:type owl:Class). Also, as Martin and Michael mentioned the basic Sparql query tab has limitations and does not 'accept' any update queries (construct, insert) nor any math functions (e.g. COUNT(), AVG()). Could you please provide me with some basic examples on how to use snap sparql reasoning or SPARQL 1.1. using via RDF4J API? Thank you, Katerina -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From katerinatzaf at gmail.com Thu Mar 15 07:10:55 2018 From: katerinatzaf at gmail.com (katetzaf) Date: Thu, 15 Mar 2018 07:10:55 -0700 (MST) Subject: [protege-user] assign a value to data property using swrl and retrive it using sqwrl In-Reply-To: <1521114036118-0.post@n4.nabble.com> References: <64BEFC4E-E749-43ED-A9AB-A391CF2D0D39@stanford.edu> <1520347051964-0.post@n4.nabble.com> <7884a006-4f1b-36a2-4406-c2d2b06291f1@informatik.uni-leipzig.de> <0ff097e2-3850-679c-8be0-75db35ebf433@informatik.uni-leipzig.de> <1521114036118-0.post@n4.nabble.com> Message-ID: <1521123055548-0.post@n4.nabble.com> After reinstalling Protege snap sparql seems to work fine! I can finally make modifications to my ontology! -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From announce at cs.ucy.ac.cy Thu Mar 15 09:40:37 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 15 Mar 2018 18:40:37 +0200 Subject: [protege-user] Research Centre on Interactive Media, Smart System and Emerging Technologies (RISE): Research Vacancies Message-ID: Research Centre on Interactive Media, Smart System and Emerging Technologies (RISE): Research Vacancies (H2020 TEAMING Project) http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=cHJvdGVnZS11c2VyCQkJcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdQlSZXNlYXJjaCBDZW50cmUgb24gSW50ZXJhY3RpdmUgTWVkaWEsIFNtYXJ0IFN5c3RlbSBhbmQgRW1lcmdpbmcgVGVjaG5vbG9naWVzIChSSVNFKTogUmVzZWFyY2ggVmFjYW5jaWVzCTE1OAlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rise.org.cy%2Fen-gb%2Fvacancies%2F Research Positions: Research Associates No. of Positions: Twenty (20) Positions Category: Employment contract Location: RISE, Nicosia, Cyprus The Research Centre on Interactive Media, Smart System and Emerging Technologies (RISE), announces twenty (20) positions for junior researchers under various Multidisciplinary Research Groups. RISE is a newly founded research centre in Cyprus aiming to become a centre of excellence empowering knowledge and technology transfer in the region. It is a joint venture between the Municipality of Nicosia, the Max Planck Institute for Informatics (Germany), the University College London (UK) and the three public universities of Cyprus - University of Cyprus, Cyprus University of Technology, and Open University of Cyprus. The centre has received funding from the European Union's Horizon 2020 research and innovation programme H2020-WIDESPREAD-01-2016-2017 (Teaming Phase 2) under grant agreement No. 739578, as well as from the Cypriot Government, local and international partners and other sponsors. The research focus of RISE is on interactive media and it integrates the Visual Sciences, Human Factors & Design, and Communications & Artificial Intelligence, in a tight synergy that provides a unique interdisciplinary research perspective that emphasizes an "Inspired by Humans, Designed for Humans" philosophy. RISE is designed to act as an integrator of academic research and industrial innovation, towards the sustainable fuelling of the scientific, technological, and economic growth of Cyprus and Europe. For more details please visit: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=cHJvdGVnZS11c2VyCQkJcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdQlSZXNlYXJjaCBDZW50cmUgb24gSW50ZXJhY3RpdmUgTWVkaWEsIFNtYXJ0IFN5c3RlbSBhbmQgRW1lcmdpbmcgVGVjaG5vbG9naWVzIChSSVNFKTogUmVzZWFyY2ggVmFjYW5jaWVzCTE1OAlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rise.org.cy%2Fen-gb%2Fvacancies%2F -------------- next part -------------- An HTML attachment was scrubbed... URL: From sreekar.goutham.arg at gmail.com Fri Mar 16 06:17:21 2018 From: sreekar.goutham.arg at gmail.com (Goutham Sreekar A. R.) Date: Fri, 16 Mar 2018 18:47:21 +0530 Subject: [protege-user] "swrlb:contains" built-in for named individuals Message-ID: Hi, Is there a way to convert the named individual of the ontology into a string and search for a particular character using "swrlb:contains" built-in? For example, I want the rule to be as follows: swrlb:contains(namedIndividual:sreekar,"a") -> hasCharacter(namedIndividual:sreekar,"a"). Thank you! Sincerely, A. R. Goutham Sreekar Indian Institute of Technology Madras, Chennai, India-600036. -------------- next part -------------- An HTML attachment was scrubbed... URL: From razisyed4 at gmail.com Fri Mar 16 11:10:16 2018 From: razisyed4 at gmail.com (RazaSyed) Date: Fri, 16 Mar 2018 11:10:16 -0700 (MST) Subject: [protege-user] Sparql Query not Working Message-ID: <1521223816221-0.post@n4.nabble.com> I have Created an ontology Which has Three Classes User Location and Task. User has Instances User1 and User2 Location has Instances Roadside and Ground Task has Instances Driving and Playing I have Object Property HasLocation *Domain:User* *Range Location* Data property "Age" Domain:User Range:Integer I want get the result by Querying that Which User is at Roadside and Which User is atGround. I try this Query as my prefix is user PREFIX User:<> SELECT ?individual ?HasLocation ?Age WHERE { ?individual User:HasLocation "RoadSide". User:Age "20".} But Sparql Runs and Shows no error. But also no no output only tabs of Individual, HasLocation,Age. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From razisyed4 at gmail.com Fri Mar 16 23:45:19 2018 From: razisyed4 at gmail.com (RazaSyed) Date: Fri, 16 Mar 2018 23:45:19 -0700 (MST) Subject: [protege-user] Data properties of data objects In-Reply-To: References: <1516815026518-0.post@n4.nabble.com> Message-ID: <1521269119187-0.post@n4.nabble.com> What will be the Query For getting Location Frankfurt? -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From buehmann at informatik.uni-leipzig.de Sat Mar 17 02:47:12 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Sat, 17 Mar 2018 10:47:12 +0100 Subject: [protege-user] Data properties of data objects In-Reply-To: <1521269119187-0.post@n4.nabble.com> References: <1516815026518-0.post@n4.nabble.com> <1521269119187-0.post@n4.nabble.com> Message-ID: <4952ea1f-9381-d027-f59c-e528bfe65188@informatik.uni-leipzig.de> ... wrong thread, or not? And what is this for a question? Do we know your ontology? Wait, let me guess SELECT * {?s ?p } or maybe PREFIX ex: SELECT * {ex:Frankfurt ex:location ?l } or ... hm, not sure - difficult... On 17.03.2018 07:45, RazaSyed wrote: > What will be the Query For getting Location Frankfurt? > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user From buehmann at informatik.uni-leipzig.de Sat Mar 17 02:50:12 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Sat, 17 Mar 2018 10:50:12 +0100 Subject: [protege-user] Sparql Query not Working In-Reply-To: <1521223816221-0.post@n4.nabble.com> References: <1521223816221-0.post@n4.nabble.com> Message-ID: Answered on Stackoverflow [1] By the way, it MUST show exceptions, this query is illegal syntax. [1] https://stackoverflow.com/questions/49326473/kindly-help-in-sparql-query-for-getting-individual On 16.03.2018 19:10, RazaSyed wrote: > I have Created an ontology Which has Three Classes User Location and Task. > > User has Instances User1 and User2 > Location has Instances Roadside and Ground > Task has Instances Driving and Playing > > > I have Object Property HasLocation *Domain:User* *Range Location* > > Data property "Age" Domain:User Range:Integer > > > I want get the result by Querying that Which User is at Roadside and Which > User is atGround. > > I try this Query as my prefix is user > PREFIX User:<> > SELECT ?individual ?HasLocation ?Age > WHERE { ?individual User:HasLocation "RoadSide". User:Age "20".} > > But Sparql Runs and Shows no error. But also no no output only tabs of > Individual, HasLocation,Age. > > > > > > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user From wdduncan at gmail.com Sat Mar 17 08:33:52 2018 From: wdduncan at gmail.com (Bill Duncan) Date: Sat, 17 Mar 2018 11:33:52 -0400 Subject: [protege-user] Protege multiple equivalentTo axioms vs union of axioms Message-ID: I posted this on Stackoverflow: https://stackoverflow.com/questions/49210547/protege-multiple-equivalentto-axioms-vs-union-of-axioms But I didn't understand the comments. Can you help? Here's what I posted: I am trying to understand the difference between using multiple equivalentTo axioms and using a union (i.e., disjunction) of those axioms. I have set up a toy ontology with this structure: ``` Class_A - Class_A.1 Class_B Class_C Class_D - Class_D.1 ``` with an object property named `has_part`. `Class_A.1` is defined using the equivalence axiom: ``` EquivalentTo (Class_A and (has_part some Class_B)) or (Class_A and (has_part some Class_C)) ``` `Class_D1` is defined using two equivalence axioms: ``` EquivalentTo Class_D and (has_part some Class_B) ``` ``` EquivalentTo Class_D and (has_part some Class_C) ``` Using HermiT 1.3.8.413, I execute the DL Query `has_part some Class_B`. This returns subclass `Class_D.1`, which makes sense. However, I do not understand why `Class_A.1` was not returned. I thought since the equivalence axioms for `Class_A.1` was a disjunction, it was be subsumed by the `has_part some Class_B` disjunct. -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Sat Mar 17 13:51:36 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Sat, 17 Mar 2018 13:51:36 -0700 Subject: [protege-user] Problem installing Protege on Windows 10 Message-ID: I just bought an HP All in One desktop. It's 64 bit running Windows 10 Home Version 1709 OS Build 16299.309 12GB RAM 1TB hard drive (with almost all of it free). I downloaded the Protege Windows version and everything seemed to work. Then after I opened Protege I selected to download the Pellet and SWRLTab plugins. That seemed to work and I got the standard "updates will take effect next time you open Protege". Then I closed Protege and opened it again to have the plugins. But when I click on the Protege icon I see a swirling blue circle and then nothing happens. When I bring up the Task manager (haven't worked in Windows in a long time, but at least I remembered cntl-alt-delete) I don't even see a Protege task in the Task manager. I can't really share any error logs because for some reason I don't think it's even getting to that point. I've tried this several times and have tried both rebooting and completely shutting down and restarting the computer and still the same behavior. Should I try uninstalling and reinstalling or something else? Michael -------------- next part -------------- An HTML attachment was scrubbed... URL: From razisyed4 at gmail.com Sat Mar 17 14:13:24 2018 From: razisyed4 at gmail.com (Razi Syed) Date: Sun, 18 Mar 2018 02:13:24 +0500 Subject: [protege-user] Problem installing Protege on Windows 10 In-Reply-To: References: Message-ID: Kindly Run it From Batch File (run.exe) ? Virus-free. www.avast.com <#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> Thanks Best Regards Syed Muhammad Raza On 18 March 2018 at 01:51, Michael DeBellis wrote: > I just bought an HP All in One desktop. It's 64 bit running Windows 10 > Home Version 1709 OS Build 16299.309 12GB RAM 1TB hard drive (with almost > all of it free). I downloaded the Protege Windows version and everything > seemed to work. Then after I opened Protege I selected to download the > Pellet and SWRLTab plugins. That seemed to work and I got the standard > "updates will take effect next time you open Protege". > > Then I closed Protege and opened it again to have the plugins. But when I > click on the Protege icon I see a swirling blue circle and then nothing > happens. When I bring up the Task manager (haven't worked in Windows in a > long time, but at least I remembered cntl-alt-delete) I don't even see a > Protege task in the Task manager. I can't really share any error logs > because for some reason I don't think it's even getting to that point. I've > tried this several times and have tried both rebooting and completely > shutting down and restarting the computer and still the same behavior. > > Should I try uninstalling and reinstalling or something else? > > Michael > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Sat Mar 17 14:40:52 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Sat, 17 Mar 2018 14:40:52 -0700 Subject: [protege-user] Problem installing Protege on Windows 10 In-Reply-To: References: Message-ID: That worked. Thanks. On Sat, Mar 17, 2018 at 2:13 PM, Razi Syed wrote: > > > Kindly Run it From Batch File (run.exe) > > ? > > > Virus-free. > www.avast.com > > <#m_8994679289633915818_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> > > Thanks > > Best Regards > > Syed Muhammad Raza > > On 18 March 2018 at 01:51, Michael DeBellis wrote: > >> I just bought an HP All in One desktop. It's 64 bit running Windows 10 >> Home Version 1709 OS Build 16299.309 12GB RAM 1TB hard drive (with almost >> all of it free). I downloaded the Protege Windows version and everything >> seemed to work. Then after I opened Protege I selected to download the >> Pellet and SWRLTab plugins. That seemed to work and I got the standard >> "updates will take effect next time you open Protege". >> >> Then I closed Protege and opened it again to have the plugins. But when I >> click on the Protege icon I see a swirling blue circle and then nothing >> happens. When I bring up the Task manager (haven't worked in Windows in a >> long time, but at least I remembered cntl-alt-delete) I don't even see a >> Protege task in the Task manager. I can't really share any error logs >> because for some reason I don't think it's even getting to that point. I've >> tried this several times and have tried both rebooting and completely >> shutting down and restarting the computer and still the same behavior. >> >> Should I try uninstalling and reinstalling or something else? >> >> Michael >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From shreyas.sp.patil at gmail.com Sun Mar 18 04:04:23 2018 From: shreyas.sp.patil at gmail.com (Shreyas) Date: Sun, 18 Mar 2018 04:04:23 -0700 (MST) Subject: [protege-user] Cellfie Plugin Help Message-ID: <1521371063789-0.post@n4.nabble.com> Hello, I am currently working on developing an information model in engineering domain. For ease of instantiation into ontology, I am trying to use Cellfie plugin. I am trying to actually read object properties from spreadsheet as well, but I am stuck due to limitations of cellfie plugin. Does anyone have a work around to do the same? Thanks, Shreyas -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From buehmann at informatik.uni-leipzig.de Sun Mar 18 05:44:31 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Sun, 18 Mar 2018 13:44:31 +0100 Subject: [protege-user] Protege multiple equivalentTo axioms vs union of axioms In-Reply-To: References: Message-ID: You got an answer there based on a simpler example: A EquivalentTo B OR C is syntactic sugar for A SubClassOf (B OR C) and (B OR C) SubClassOf A . The important part for your query is that A SubClassOf (B OR C) does **not** entail A SubClassOf B nor does it entail A SubClassOf C Saying Person SubClassOf Male OR Female clearly can't lead to Person SubClassOf Male (resp. Female) You can map this to your example, the reason remains the same. It's the set-based semantics of OWL resp. the underlying description logic SROIQ. Lorenz On 17.03.2018 16:33, Bill Duncan wrote: > I posted this on Stackoverflow:? > > https://stackoverflow.com/questions/49210547/protege-multiple-equivalentto-axioms-vs-union-of-axioms > > But I didn't understand the comments. > > Can you help? > > Here's what I posted: > > I am trying to understand the difference between using multiple > equivalentTo axioms and using a union (i.e., disjunction) of those > axioms. I have set up a toy ontology with this structure: > ``` > ? Class_A > ? ?- Class_A.1 > ? Class_B > ? Class_C > ? Class_D > ? ?- Class_D.1 > ``` > with an object property named `has_part`. > > `Class_A.1` is defined using the equivalence axiom: > ``` > ? EquivalentTo > ? (Class_A and (has_part some Class_B)) or (Class_A and (has_part some > Class_C)) > ``` > > `Class_D1` is defined using two equivalence axioms: > ``` > ? EquivalentTo > ? Class_D and (has_part some Class_B) > ``` > ``` > ? EquivalentTo > ? Class_D and (has_part some Class_C) > ``` > > Using HermiT 1.3.8.413, I execute the DL Query `has_part some Class_B`. > This returns subclass `Class_D.1`, which makes sense. > > However, I do not understand why `Class_A.1` was not returned. I > thought since the equivalence axioms for `Class_A.1` was a > disjunction, it was be subsumed by the `has_part some Class_B` disjunct. > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From tayyabbhatti156 at gmail.com Sun Mar 18 06:34:09 2018 From: tayyabbhatti156 at gmail.com (Tayyab Bhatti) Date: Sun, 18 Mar 2018 18:34:09 +0500 Subject: [protege-user] Sparql Query in jena fuseki working but not working in original protege file. Message-ID: Respected Sir, I am working on semantic web project. I am using jena fuseki server to query triples. I used insert and update query which is showing succeed in jena fuseki , and it is manipulating in the jena fuseki. The results after the query in the jena fuseki is also correct but the same changes are not done in protege file. The screenshot before query. The screenshot after query , showing succeed The screenshot of the result which is also correct But when I open the original protege file which is uploaded in the dataset. There are no changes made. Screenshot of protege file. Please help me regarding this. Kind regards, TAYYAB ISMAIL BHATTI -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Screen Shot 2018-03-18 at 6.19.48 PM.png Type: image/png Size: 236278 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Screen Shot 2018-03-18 at 6.19.58 PM.png Type: image/png Size: 252619 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Screen Shot 2018-03-18 at 6.21.05 PM.png Type: image/png Size: 219484 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Screen Shot 2018-03-18 at 6.33.08 PM.png Type: image/png Size: 272875 bytes Desc: not available URL: From tayyabbhatti156 at gmail.com Sun Mar 18 15:30:15 2018 From: tayyabbhatti156 at gmail.com (Tayyab Bhatti) Date: Mon, 19 Mar 2018 03:30:15 +0500 Subject: [protege-user] Mailman privacy alert In-Reply-To: References: Message-ID: Respected Sir, I am using protege to query rdf triples. My insert , update and delete query are working fine in Jena Fuseki Server which has a option to change SPARQL Endpoint. I am trying to execute queries in SPARQL Query tab of *Protege* but only SELECT query is working there. When I run same INSERT Query which was working in Jena Fuseki Server in *Protege Desktop *it shows error. Is there any option to change SPARQL Endpoint in Protege which sends the query to different endpoint? *I want to run insert , update and delete queries in protege.* SELECT Query working in Protege (SCREENSHOT) INSERT Query not working in Protege (SCREENSHOT). On Sun, Mar 18, 2018 at 6:26 PM, wrote: > An attempt was made to subscribe your address to the mailing list > protege-dev at lists.stanford.edu. You are already subscribed to this > mailing list. > > Note that the list membership is not public, so it is possible that a bad > person was trying to probe the list for its membership. This would be a > privacy violation if we let them do this, but we didn't. > > If you submitted the subscription request and forgot that you were already > subscribed to the list, then you can ignore this message. If you suspect > that > an attempt is being made to covertly discover whether you are a member of > this > list, and you are worried about your privacy, then feel free to send a > message > to the list administrator at protege-dev-owner at lists.stanford.edu. > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Screen Shot 2018-03-19 at 3.27.38 AM.png Type: image/png Size: 380621 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Screen Shot 2018-03-19 at 3.29.07 AM.png Type: image/png Size: 207108 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Screen Shot 2018-03-19 at 3.29.13 AM.png Type: image/png Size: 81794 bytes Desc: not available URL: From buehmann at informatik.uni-leipzig.de Mon Mar 19 00:27:33 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Mon, 19 Mar 2018 08:27:33 +0100 Subject: [protege-user] Sparql Query in jena fuseki working but not working in original protege file. In-Reply-To: References: Message-ID: <9133cb9c-5a0d-5bbc-f4d3-7c35442bb694@informatik.uni-leipzig.de> Already answered on Stackoverflow... You load the file in Fuseki into an in-memory model M, that means, changes are only applied to M but not reflected to the file. This perfectly makes sense as otherwise you'd always have some IO. You have to write the Fuseki model M back to disk. On 18.03.2018 14:34, Tayyab Bhatti wrote: > Respected Sir, > > I am working on semantic web project. I am using jena fuseki server to > query triples.? > > I used insert and update query? which is showing succeed in jena > fuseki , and it is manipulating in the jena fuseki. The results after > the query in the jena fuseki is also correct but the same changes are > not done in protege file. > > The screenshot before query. > > The screenshot after query , showing succeed? > > The screenshot of the result which is also correct > > But when I open the original protege file which is uploaded in the > dataset. There are no changes made. > > Screenshot of protege file. > > > Please help me regarding this. > > Kind regards, > TAYYAB ISMAIL BHATTI > > > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From elgamersitoing at gmail.com Mon Mar 19 03:04:29 2018 From: elgamersitoing at gmail.com (elgamersitom) Date: Mon, 19 Mar 2018 03:04:29 -0700 (MST) Subject: [protege-user] Importing Ontology that have imports Message-ID: <1521453869451-0.post@n4.nabble.com> Hi, I'm working with prot?g? 5.2, I want to develop an upper ontology and then use it in a domain-specific ontology. For the upper ontology I import 6 ontologies from other files and call it mContext. Then for the domain-specific ontology I want to import mContext and use it to generate complementary classes. The thing is that with the import assistant on the last step there doesn't appear any direction and not ontology is imported. I tried making mContext with only one import and it doesn't work, but if I don?t import any ontology and only put one class on the mContext the import assistant works perfectly. I also create a mContext merged ontology and it works but it's not a good solution because i need the resources to be independent. Here and here , users solve it but don?t work for me. I tried saving the domain-specific ontology in the same folder and registering it on the catalog... doesn?t work :( Any ideas? -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From mdebellissf at gmail.com Mon Mar 19 10:22:00 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Mon, 19 Mar 2018 10:22:00 -0700 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: <1521371063789-0.post@n4.nabble.com> References: <1521371063789-0.post@n4.nabble.com> Message-ID: Shreyas, did you do the Celfie tutorial first? https://github.com/protegeproject/cellfie-plugin/wiki/Grocery-Tutorial It's hard for us to give you much feedback based on what you said in your message. What exactly are you trying to do and what error message are you getting? Michael On Sun, Mar 18, 2018 at 4:04 AM, Shreyas wrote: > Hello, > > I am currently working on developing an information model in engineering > domain. For ease of instantiation into ontology, I am trying to use Cellfie > plugin. I am trying to actually read object properties from spreadsheet as > well, but I am stuck due to limitations of cellfie plugin. Does anyone have > a work around to do the same? > > Thanks, > Shreyas > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From tayyabbhatti156 at gmail.com Mon Mar 19 12:14:52 2018 From: tayyabbhatti156 at gmail.com (Tayyab Bhatti) Date: Mon, 19 Mar 2018 19:14:52 +0000 Subject: [protege-user] Protege problem Message-ID: Sir, I searched the stackoverflow and did the same making TDB dataset which stores everything but still changes in protege file are not visible. Kind regards, TAYYAB BHATTI -------------- next part -------------- An HTML attachment was scrubbed... URL: From swt at stanford.edu Mon Mar 19 14:18:57 2018 From: swt at stanford.edu (Samson Tu) Date: Mon, 19 Mar 2018 21:18:57 +0000 Subject: [protege-user] Importing Ontology that have imports In-Reply-To: <1521453869451-0.post@n4.nabble.com> References: <1521453869451-0.post@n4.nabble.com> Message-ID: Hi, It?s difficult to understand and debug your difficulty without more specific information. Ideally, you should provide your ontologies so that other can replicate the problem and perhaps pinpoint its source. With best regards, Samson On Mar 19, 2018, at 3:04 AM, elgamersitom > wrote: Hi, I'm working with prot?g? 5.2, I want to develop an upper ontology and then use it in a domain-specific ontology. For the upper ontology I import 6 ontologies from other files and call it mContext. Then for the domain-specific ontology I want to import mContext and use it to generate complementary classes. The thing is that with the import assistant on the last step there doesn't appear any direction and not ontology is imported. I tried making mContext with only one import and it doesn't work, but if I don?t import any ontology and only put one class on the mContext the import assistant works perfectly. I also create a mContext merged ontology and it works but it's not a good solution because i need the resources to be independent. Here and here , users solve it but don?t work for me. I tried saving the domain-specific ontology in the same folder and registering it on the catalog... doesn?t work :( Any ideas? -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From csongor.nyulas at stanford.edu Mon Mar 19 20:31:45 2018 From: csongor.nyulas at stanford.edu (Csongor Nyulas) Date: Mon, 19 Mar 2018 20:31:45 -0700 Subject: [protege-user] Importing Ontology that have imports In-Reply-To: References: <1521453869451-0.post@n4.nabble.com> Message-ID: Also, you say that it works for others (which it should), but not for you. So I assume there is some problem with your configuration, most likely your catalog. Why don't you try to move all the ontologies that you want to work with in a new folder and try it to load it from there. Csongor On 03/19/2018 02:18 PM, Samson Tu wrote: > Hi, > > It?s difficult to understand and debug your difficulty without more > specific information. Ideally, you should provide your ontologies so > that other can replicate the problem and perhaps pinpoint its source. > > /With best regards,/ > /Samson/ >> On Mar 19, 2018, at 3:04 AM, elgamersitom > > wrote: >> >> Hi, >> I'm working with prot?g? 5.2, I want to develop an upper ontology and >> then >> use it in a domain-specific ontology. >> >> For the upper ontology I import 6 ontologies from other files and call it >> mContext. Then for the domain-specific ontology I want to import mContext >> and use it to generate complementary classes. The thing is that with the >> import assistant on the last step there doesn't appear any direction >> and not >> ontology is imported. >> I tried making mContext with only one import and it doesn't work, but >> if I >> don?t import any ontology and only put one class on the mContext the >> import >> assistant works perfectly. I also create a mContext merged ontology >> and it >> works but it's not a good solution because i need the resources to be >> independent. >> >> Here >> >> >> and ?here >> >> ?, >> users solve it but don?t work for me. >> >> I tried saving the domain-specific ontology in the same folder and >> registering it on the catalog... doesn?t work :( >> >> Any ideas? >> >> >> >> -- >> Sent from: >> http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From buehmann at informatik.uni-leipzig.de Tue Mar 20 02:20:26 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Tue, 20 Mar 2018 10:20:26 +0100 Subject: [protege-user] Protege problem In-Reply-To: References: Message-ID: <097e730c-6e2d-df54-20e5-6f0ffe4ff2a8@informatik.uni-leipzig.de> I already answered this in your previous email, but you didn't reply... Again, this does **not** work. Last time you used Fuseki with an in-memory - this time you say you're using TDB. This doesn't change anything. TDB is a proper RDF database, if you change something via SPARQL 1.1 Update queries, then only the data in TDB are modified. Do you understand this? data --load--> database Modifications will be done against the database, not the file. The database and the file are totally different things. If you're loading e.g. a CSV file into a MySQL database and modifiy the data in the database, is the file changed or the database? Right, the database. Conclusion, whatever you're doing it doesn't work as you hope. After each modification you'd have to dump the database (TDB in your case) to disk into the same file. That's the only way. It would be good if you reply to this thread this time... Lorenz On 19.03.2018 20:14, Tayyab Bhatti wrote: > Sir, > > I searched the stackoverflow and did the same making TDB dataset which > stores everything but still changes in protege file are not visible. > > Kind regards,? > TAYYAB BHATTI From elgamersitoing at gmail.com Tue Mar 20 02:32:38 2018 From: elgamersitoing at gmail.com (Cristian Narvaez) Date: Tue, 20 Mar 2018 10:32:38 +0100 Subject: [protege-user] Importing Ontology that have imports In-Reply-To: References: <1521453869451-0.post@n4.nabble.com> Message-ID: Hi, Well i tried moving all the ontologies on the same folder but that doesn't work, finally what is working is: 1- Create the domain ontology. 2- Load upper-ontology in the same work space *File>open>same window option* . 3- Go back to the domain ontology. 4- Import the upper-ontology in the domain ontology with the option "Import ontology already in work space" 5- Then, as you say, I edit the catalog with the *File>Edit active ontology catalog* and added the folder containing all the ontologies. The last step was necesary because if you close prot?g? and open the domain ontology the system will ask for the ontologies location (each time). Hope this helps someone out there! Libre de virus. www.avast.com <#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> 2018-03-20 4:31 GMT+01:00 Csongor Nyulas : > Also, you say that it works for others (which it should), but not for you. > So I assume there is some problem with your configuration, most likely your > catalog. > > Why don't you try to move all the ontologies that you want to work with in > a new folder and try it to load it from there. > > Csongor > > > > > On 03/19/2018 02:18 PM, Samson Tu wrote: > > Hi, > > It?s difficult to understand and debug your difficulty without more > specific information. Ideally, you should provide your ontologies so that > other can replicate the problem and perhaps pinpoint its source. > > *With best regards,* > *Samson* > > On Mar 19, 2018, at 3:04 AM, elgamersitom > wrote: > > Hi, > I'm working with prot?g? 5.2, I want to develop an upper ontology and then > use it in a domain-specific ontology. > > For the upper ontology I import 6 ontologies from other files and call it > mContext. Then for the domain-specific ontology I want to import mContext > and use it to generate complementary classes. The thing is that with the > import assistant on the last step there doesn't appear any direction and > not > ontology is imported. > I tried making mContext with only one import and it doesn't work, but if I > don?t import any ontology and only put one class on the mContext the import > assistant works perfectly. I also create a mContext merged ontology and it > works but it's not a good solution because i need the resources to be > independent. > > Here > > > and here > > , > users solve it but don?t work for me. > > I tried saving the domain-specific ontology in the same folder and > registering it on the catalog... doesn?t work :( > > Any ideas? > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > > _______________________________________________ > protege-user mailing listprotege-user at lists.stanford.eduhttps://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -- Cristian Narv?ez. Ingeniero en Multimedia Asistente docente Universidad Nacional de Colombia Bogot?-Colombia -------------- next part -------------- An HTML attachment was scrubbed... URL: From tayyabbhatti156 at gmail.com Tue Mar 20 09:15:05 2018 From: tayyabbhatti156 at gmail.com (Tayyab Bhatti) Date: Tue, 20 Mar 2018 21:15:05 +0500 Subject: [protege-user] Protege problem In-Reply-To: <097e730c-6e2d-df54-20e5-6f0ffe4ff2a8@informatik.uni-leipzig.de> References: <097e730c-6e2d-df54-20e5-6f0ffe4ff2a8@informatik.uni-leipzig.de> Message-ID: Hi, I am using SPARQL Query tab in *Protege 5.2.0* to get results. The SPARQL Query Tab only allows to use SELECT Query. But insert , update and delete are not working. I searched google and some are saying that Protege does not Support SPARQL 1.1 Language in which insert and update works. Only SELECT Query is working in protege but update insert and delete are not working. If I apply the same insert , update and delete queries in Fuseki Server then it works but not in the SPARQL Tab of protege. I want changes direct in the database of protege in individuals data properties. How can I do it. Following are the screenshots. Please provide any solution related to this. On Tue, Mar 20, 2018 at 2:20 PM, Lorenz Buehmann < buehmann at informatik.uni-leipzig.de> wrote: > I already answered this in your previous email, but you didn't reply... > > Again, this does **not** work. Last time you used Fuseki with an > in-memory - this time you say you're using TDB. This doesn't change > anything. TDB is a proper RDF database, if you change something via > SPARQL 1.1 Update queries, then only the data in TDB are modified. Do > you understand this? > > data --load--> database > > > Modifications will be done against the database, not the file. The > database and the file are totally different things. > > If you're loading e.g. a CSV file into a MySQL database and modifiy the > data in the database, is the file changed or the database? Right, the > database. > > Conclusion, whatever you're doing it doesn't work as you hope. After > each modification you'd have to dump the database (TDB in your case) to > disk into the same file. That's the only way. > > It would be good if you reply to this thread this time... > > > Lorenz > > On 19.03.2018 20:14, Tayyab Bhatti wrote: > > Sir, > > > > I searched the stackoverflow and did the same making TDB dataset which > > stores everything but still changes in protege file are not visible. > > > > Kind regards, > > TAYYAB BHATTI > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Individuals.png Type: image/png Size: 300509 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: SELECT Query Working in Protege SPARQL Tab.png Type: image/png Size: 225630 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: insert query not working in protege.png Type: image/png Size: 429329 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Error message.png Type: image/png Size: 339690 bytes Desc: not available URL: From mussa.omer at yahoo.co.uk Tue Mar 20 13:14:58 2018 From: mussa.omer at yahoo.co.uk (Mussa) Date: Tue, 20 Mar 2018 13:14:58 -0700 (MST) Subject: [protege-user] Access to Online ontology Message-ID: <1521576898080-0.post@n4.nabble.com> Dear Prot?g? users I am a new to use prot?g? and I am also a new to use the ontology. I would like to know how could I have an access to my ontology that is published online in a specific location and manipulate it ? Is there any software could help me to do this job. could I do it by using OWL API and how? Many thanks in advance Regards Mussa -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From mussa.omer at yahoo.co.uk Tue Mar 20 13:50:52 2018 From: mussa.omer at yahoo.co.uk (Mussa) Date: Tue, 20 Mar 2018 13:50:52 -0700 (MST) Subject: [protege-user] Access to Online ontology Message-ID: <1521579052340-0.post@n4.nabble.com> Dear Prot?g? users I am a new to use prot?g? and I am also a new to use the ontology. I would like to know how could I have an access to my ontology that is published online in a specific location and manipulate it ? Is there any software could help me to do this job. could I do it by using OWL API and how? Many thanks in advance Regards Mussa -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From csongor.nyulas at stanford.edu Tue Mar 20 20:51:30 2018 From: csongor.nyulas at stanford.edu (Csongor Nyulas) Date: Tue, 20 Mar 2018 20:51:30 -0700 Subject: [protege-user] Access to Online ontology In-Reply-To: <1521579052340-0.post@n4.nabble.com> References: <1521579052340-0.post@n4.nabble.com> Message-ID: <9bfc3e69-7c50-6232-dc6c-ada1680af7d4@stanford.edu> Hi Mussa, You can open an ontology that is available at a given URL by opening Protege and selecting the following menu item File -> Open from URL... (or using the associated key combination, which is Shift+Ctrl+O on a PC). Once you open the ontology, you can modify it in Protege and you can create a local copy of the modified ontology. And if you have write access to the server serving the ontology file, you can upload the update ontology there. Of course, you can't directly modify the file that is available at a given URL, just as you can't change an HTML file on an arbitrary web server, which you display in the browser. I hope that this makes sense. Csongor On 03/20/2018 01:50 PM, Mussa wrote: > Dear Prot?g? users > > I am a new to use prot?g? and I am also a new to use the ontology. I would > like to know how could I have an access to my ontology that is published > online in a specific location and manipulate it ? Is there any software > could help me to do this job. could I do it by using OWL API and how? > > > Many thanks in advance > > > Regards > Mussa > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From buehmann at informatik.uni-leipzig.de Tue Mar 20 21:33:03 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Wed, 21 Mar 2018 05:33:03 +0100 Subject: [protege-user] Protege problem In-Reply-To: References: <097e730c-6e2d-df54-20e5-6f0ffe4ff2a8@informatik.uni-leipzig.de> Message-ID: <765981ee-2bf7-f92d-c45a-8d0cafd97fac@informatik.uni-leipzig.de> I know that this doesn't work from the Protege SPARQL query tab(s). But it also doesn't work when you're using a different triple store like Fuseki + TDB, the file will be loaded, but afterwards INSERT, DELTETE queries will be applied to the database structures, not to the file that you loaded. You have dump the TDB database back to disk. Or you use e.g. Apache Jena CLI command bin/update --data PATH_TO_FILE --update PATH_TO_QUERY --dump > PATH_TO_FILE On 20.03.2018 17:15, Tayyab Bhatti wrote: > Hi, > > I am using SPARQL Query tab in *Protege 5.2.0* to get results. The > SPARQL Query Tab only allows to use SELECT Query. But insert , update > and delete are not working. I searched google and some are saying that > Protege does not Support SPARQL 1.1 Language in which insert and > update works.? > > Only SELECT Query is working in protege but update insert and delete > are not working. > > If I apply the same insert , update and delete queries in Fuseki > Server then it works but not in the SPARQL Tab of protege. I want > changes direct in the database of protege in individuals data > properties. How can I do it. > > > Following are the screenshots. > > Please provide any solution related to this. > > On Tue, Mar 20, 2018 at 2:20 PM, Lorenz Buehmann > > wrote: > > I already answered this in your previous email, but you didn't > reply... > > Again, this does **not** work. Last time you used Fuseki with an > in-memory - this time you say you're using TDB. This doesn't change > anything. TDB is a proper RDF database, if you change something via > SPARQL 1.1 Update queries, then only the data in TDB are modified. Do > you understand this? > > data --load--> database > > > Modifications will be done against the database, not the file. The > database and the file are totally different things. > > If you're loading e.g. a CSV file into a MySQL database and > modifiy the > data in the database, is the file changed or the database? Right, the > database. > > Conclusion, whatever you're doing it doesn't work as you hope. After > each modification you'd have to dump the database (TDB in your > case) to > disk into the same file. That's the only way. > > It would be good if you reply to this thread this time... > > > Lorenz > > On 19.03.2018 20:14, Tayyab Bhatti wrote: > > Sir, > > > > I searched the stackoverflow and did the same making TDB dataset > which > > stores everything but still changes in protege file are not visible. > > > > Kind regards,? > > TAYYAB BHATTI > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From mussa.omer at yahoo.co.uk Wed Mar 21 01:09:19 2018 From: mussa.omer at yahoo.co.uk (Mussa) Date: Wed, 21 Mar 2018 01:09:19 -0700 (MST) Subject: [protege-user] Access to Online ontology In-Reply-To: <9bfc3e69-7c50-6232-dc6c-ada1680af7d4@stanford.edu> References: <1521579052340-0.post@n4.nabble.com> <9bfc3e69-7c50-6232-dc6c-ada1680af7d4@stanford.edu> Message-ID: <1521619759269-0.post@n4.nabble.com> Thank you Csonger for your replying. I know how to open ontology from prot?g? using URL. What I am looking at is: How to manipulate ontology via Java code. For example, I have an ontology that published in a specific location on the web and I have the URL for the ontology. How could I access to the ontology via java code to explore the ontology, adding class, adding attributes. I have already done such job using OWL API but the ontology was on my own desktop. Now I would like to upload the ontology on the web, So there will be application on the web that can be access by every one. So every should be able to manipulate the ontology. So Please help me as much as you can or recommend any one who can help me. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From buehmann at informatik.uni-leipzig.de Wed Mar 21 03:39:42 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Wed, 21 Mar 2018 11:39:42 +0100 Subject: [protege-user] Access to Online ontology In-Reply-To: <1521619759269-0.post@n4.nabble.com> References: <1521579052340-0.post@n4.nabble.com> <9bfc3e69-7c50-6232-dc6c-ada1680af7d4@stanford.edu> <1521619759269-0.post@n4.nabble.com> Message-ID: <83870cd1-5a16-6cd4-626b-f934354177eb@informatik.uni-leipzig.de> OWL API mailing list: owlapi-developer at lists.sourceforge.net On 21.03.2018 09:09, Mussa wrote: > Thank you Csonger for your replying. I know how to open ontology from prot?g? > using URL. What I am looking at is: > > How to manipulate ontology via Java code. For example, I have an ontology > that published in a specific location on the web and I have the URL for the > ontology. How could I access to the ontology via java code to explore the > ontology, adding class, adding attributes. I have already done such job > using OWL API but the ontology was on my own desktop. Now I would like to > upload the ontology on the web, So there will be application on the web that > can be access by every one. So every should be able to manipulate the > ontology. So Please help me as much as you can or recommend any one who can > help me. > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > From csongor.nyulas at stanford.edu Wed Mar 21 09:09:15 2018 From: csongor.nyulas at stanford.edu (Csongor Nyulas) Date: Wed, 21 Mar 2018 09:09:15 -0700 Subject: [protege-user] Access to Online ontology In-Reply-To: <83870cd1-5a16-6cd4-626b-f934354177eb@informatik.uni-leipzig.de> References: <1521579052340-0.post@n4.nabble.com> <9bfc3e69-7c50-6232-dc6c-ada1680af7d4@stanford.edu> <1521619759269-0.post@n4.nabble.com> <83870cd1-5a16-6cd4-626b-f934354177eb@informatik.uni-leipzig.de> Message-ID: <38097335-7ea8-0b7b-fb85-0272aee9109a@stanford.edu> Also, if you want multiple people to edit the ontology, you should check out WebProtege: http://webprotege.stanford.edu/ And again, I don't see how the uploading a file to a fileserver is related to the ontology manipulation. Csongor On 03/21/2018 03:39 AM, Lorenz Buehmann wrote: > OWL API mailing list: owlapi-developer at lists.sourceforge.net > > > On 21.03.2018 09:09, Mussa wrote: >> Thank you Csonger for your replying. I know how to open ontology from prot?g? >> using URL. What I am looking at is: >> >> How to manipulate ontology via Java code. For example, I have an ontology >> that published in a specific location on the web and I have the URL for the >> ontology. How could I access to the ontology via java code to explore the >> ontology, adding class, adding attributes. I have already done such job >> using OWL API but the ontology was on my own desktop. Now I would like to >> upload the ontology on the web, So there will be application on the web that >> can be access by every one. So every should be able to manipulate the >> ontology. So Please help me as much as you can or recommend any one who can >> help me. >> >> >> >> -- >> Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user From elgamersitoing at gmail.com Thu Mar 22 01:51:52 2018 From: elgamersitoing at gmail.com (Cristian Narvaez) Date: Thu, 22 Mar 2018 09:51:52 +0100 Subject: [protege-user] Access to Online ontology In-Reply-To: <38097335-7ea8-0b7b-fb85-0272aee9109a@stanford.edu> References: <1521579052340-0.post@n4.nabble.com> <9bfc3e69-7c50-6232-dc6c-ada1680af7d4@stanford.edu> <1521619759269-0.post@n4.nabble.com> <83870cd1-5a16-6cd4-626b-f934354177eb@informatik.uni-leipzig.de> <38097335-7ea8-0b7b-fb85-0272aee9109a@stanford.edu> Message-ID: I think he wants to update the ontology in real time (something like web protege but making his own system), i have to do something like that so i will use JEna API but is just an idea now. 2018-03-21 17:09 GMT+01:00 Csongor Nyulas : > Also, if you want multiple people to edit the ontology, you should check > out WebProtege: > http://webprotege.stanford.edu/ > > And again, I don't see how the uploading a file to a fileserver is related > to the ontology manipulation. > > Csongor > > > > On 03/21/2018 03:39 AM, Lorenz Buehmann wrote: > >> OWL API mailing list: owlapi-developer at lists.sourceforge.net >> >> >> On 21.03.2018 09:09, Mussa wrote: >> >>> Thank you Csonger for your replying. I know how to open ontology from >>> prot?g? >>> using URL. What I am looking at is: >>> >>> How to manipulate ontology via Java code. For example, I have an ontology >>> that published in a specific location on the web and I have the URL for >>> the >>> ontology. How could I access to the ontology via java code to explore the >>> ontology, adding class, adding attributes. I have already done such job >>> using OWL API but the ontology was on my own desktop. Now I would like to >>> upload the ontology on the web, So there will be application on the web >>> that >>> can be access by every one. So every should be able to manipulate the >>> ontology. So Please help me as much as you can or recommend any one who >>> can >>> help me. >>> >>> >>> >>> -- >>> Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f46598 >>> 18.html >>> _______________________________________________ >>> protege-user mailing list >>> protege-user at lists.stanford.edu >>> https://mailman.stanford.edu/mailman/listinfo/protege-user >>> >>> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -- Cristian Narv?ez. Ingeniero en Multimedia Asistente docente Universidad Nacional de Colombia Bogot?-Colombia -------------- next part -------------- An HTML attachment was scrubbed... URL: From buehmann at informatik.uni-leipzig.de Thu Mar 22 02:05:45 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Thu, 22 Mar 2018 10:05:45 +0100 Subject: [protege-user] Access to Online ontology In-Reply-To: References: <1521579052340-0.post@n4.nabble.com> <9bfc3e69-7c50-6232-dc6c-ada1680af7d4@stanford.edu> <1521619759269-0.post@n4.nabble.com> <83870cd1-5a16-6cd4-626b-f934354177eb@informatik.uni-leipzig.de> <38097335-7ea8-0b7b-fb85-0272aee9109a@stanford.edu> Message-ID: <7f57e6d6-564b-772c-e0db-4e8cd4039c40@informatik.uni-leipzig.de> OWL ontology -> OWL API RDF data -> Apache Jena/RDF4J On 22.03.2018 09:51, Cristian Narvaez wrote: > I think he wants to update the ontology in real time (something like > web protege but making his own system), i have to do something like > that so i will use JEna API but is just an idea now. > > 2018-03-21 17:09 GMT+01:00 Csongor Nyulas >: > > Also, if you want multiple people to edit the ontology, you should > check out WebProtege: > http://webprotege.stanford.edu/ > > And again, I don't see how the uploading a file to a fileserver is > related to the ontology manipulation. > > Csongor > > > > On 03/21/2018 03:39 AM, Lorenz Buehmann wrote: > > OWL API mailing list: owlapi-developer at lists.sourceforge.net > > > > On 21.03.2018 09:09, Mussa wrote: > > Thank you Csonger for your replying. I know how to open > ontology from prot?g? > using URL. What I am looking at is: > > How to manipulate ontology via Java code. For example, I > have an ontology > that published in a specific location on the web and I > have the URL for the > ontology. How could I access to the ontology via java code > to explore the > ontology, adding class, adding attributes. I have already > done such job > using OWL API but the ontology was on my own desktop. Now > I would like to > upload the ontology on the web, So there will be > application on the web that > can be access by every one. So every should be able to > manipulate the > ontology. So Please help me as much as you can or > recommend any one who can > help me. > > > > -- > Sent from: > http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > > > -- > Cristian Narv?ez. > Ingeniero en Multimedia > Asistente docente Universidad Nacional de Colombia > Bogot?-Colombia > > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From buerger at uni-koblenz.de Thu Mar 22 03:29:09 2018 From: buerger at uni-koblenz.de (=?UTF-8?Q?Jens_B=c3=bcrger?=) Date: Thu, 22 Mar 2018 11:29:09 +0100 Subject: [protege-user] Load import hierarchy of ontology automatically? Message-ID: Dear people of Prot?g?, I am working on an ontology A which has the following import hierarchy: A imports B B imports C All three ontologies are local and reside in the same directory. When I open A, only the direct import of B is shown but not the indirect import of C by B. The only possibility I found by now is by manually loading B and C, which for example results in a warning that C is already defined and will be overwritten. I find this time-consuming, is there an option/preference I missed or a way to automate this? Kind regards, Jens B?rger -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5127 bytes Desc: S/MIME Cryptographic Signature URL: From buerger at uni-koblenz.de Thu Mar 22 03:53:27 2018 From: buerger at uni-koblenz.de (=?UTF-8?Q?Jens_B=c3=bcrger?=) Date: Thu, 22 Mar 2018 11:53:27 +0100 Subject: [protege-user] Load import hierarchy of ontology automatically? In-Reply-To: References: Message-ID: <3a2725d8-cd70-d084-3ba1-24366f8a9852@uni-koblenz.de> [?] > A imports B > B imports C > > All three ontologies are local and reside in the same directory. I discovered that adding B and C manually to the catalog, even though they are already in it because of automatic discovery, it lead to automatically loading the import hierarchy when loading ontology A. Is this supposed that way? Kind regards, Jens B?rger -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5127 bytes Desc: S/MIME Cryptographic Signature URL: From gokselmisirli at gmail.com Thu Mar 22 05:33:21 2018 From: gokselmisirli at gmail.com (Goksel Misirli) Date: Thu, 22 Mar 2018 12:33:21 +0000 Subject: [protege-user] UK Ontology Network (UKON) 2018 - Registration is open [Deadline: 16th April, 2018] Message-ID: The Sixth UK Ontology Network meeting (#ukon2018) will take place on Monday April 30th, 2018 at Keele University, Keele, Staffordshire. The aims of this meeting are as follows: To enable dissemination of ontology and related forms of knowledge representation relevant work from across multiple disciplines To encourage collaboration and cooperation between different members of UK organisations working in this area To help establish a research agenda in ontology and better communication with funding councils and industry needs The full programme is now available, and we have a fascinating series of talks, with demo and poster sessions. The meeting will also offer plenty of opportunities for networking. Registration for UKON 2018 is now available. Please register before 16th of April, using the link below: http://www.ukontology.org Best wishes, and we look forward to seeing you in Keele. Dr Goksel Misirli & Dr Allison Gardner (Keele University) Dr Phillip Lord & Dr Jennifer Warrender (Newcastle University) Dr James Malone (FactBio) Prof. Robert Stevens (Manchester University) UKON 2018 Organisers -------------- next part -------------- An HTML attachment was scrubbed... URL: From anapatricia at ppgi.ci.ufpb.br Thu Mar 22 06:40:31 2018 From: anapatricia at ppgi.ci.ufpb.br (=?UTF-8?Q?Ana_Patr=C3=ADcia_de_Sousa?=) Date: Thu, 22 Mar 2018 10:40:31 -0300 Subject: [protege-user] Plugin - Web Protege Message-ID: Hi, good morning! I am from Brazil and i am interested in build a Web Protege Plugin for my m asters research. Thus, i would like to know if exists some tutorial with the technologies and dependencies required to implement the plugin for the web version of Protege as it exists for the desktop version at: https://protegewiki.stanford.edu/wiki/PluginAnatomy. Thank you in advance! -- Ana Patr?cia de Sousa (86) 99830-0867 Estudante de p?s-gradua??o em Inform?tica a n?vel de mestrado Programa de P?s-gradua??o em Inform?tica (PPGI) Centro de Inform?tica (CI) Universidade Federal da Para?ba (UFPB) -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthew.horridge at stanford.edu Thu Mar 22 09:30:52 2018 From: matthew.horridge at stanford.edu (Matthew Horridge) Date: Thu, 22 Mar 2018 16:30:52 +0000 Subject: [protege-user] Plugin - Web Protege In-Reply-To: References: Message-ID: <9E0F4769-4526-4727-BABC-B527E1407659@stanford.edu> Hi Ana, There?s plugin examples in the Git repository here: https://github.com/protegeproject/protege-plugin-examples You can clone the repository and build the plugins following the instructions. Cheers, Matthew On 22 Mar 2018, at 06:40, Ana Patr?cia de Sousa > wrote: Hi, good morning! I am from Brazil and i am interested in build a Web Protege Plugin for my masters research. Thus, i would like to know if exists some tutorial with the technologies and dependencies required to implement the plugin for the web version of Protege as it exists for the desktop version at: https://protegewiki.stanford.edu/wiki/PluginAnatomy. Thank you in advance! -- Ana Patr?cia de Sousa (86) 99830-0867 Estudante de p?s-gradua??o em Inform?tica a n?vel de mestrado Programa de P?s-gradua??o em Inform?tica (PPGI) Centro de Inform?tica (CI) Universidade Federal da Para?ba (UFPB) _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthew.horridge at stanford.edu Thu Mar 22 09:34:20 2018 From: matthew.horridge at stanford.edu (Matthew Horridge) Date: Thu, 22 Mar 2018 16:34:20 +0000 Subject: [protege-user] Load import hierarchy of ontology automatically? In-Reply-To: <3a2725d8-cd70-d084-3ba1-24366f8a9852@uni-koblenz.de> References: <3a2725d8-cd70-d084-3ba1-24366f8a9852@uni-koblenz.de> Message-ID: Hi Jens, What is the ontology IRI of C? Also, what IRI does B use for the import of C? Cheers, Matthew > On 22 Mar 2018, at 03:53, Jens B?rger wrote: > > [?] >> A imports B >> B imports C >> All three ontologies are local and reside in the same directory. > I discovered that adding B and C manually to the catalog, even though they are already in it because of automatic discovery, it lead to automatically loading the import hierarchy when loading ontology A. > > Is this supposed that way? > > Kind regards, > Jens B?rger > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user From anapatricia at ppgi.ci.ufpb.br Thu Mar 22 09:38:49 2018 From: anapatricia at ppgi.ci.ufpb.br (=?UTF-8?Q?Ana_Patr=C3=ADcia_de_Sousa?=) Date: Thu, 22 Mar 2018 13:38:49 -0300 Subject: [protege-user] Plugin - Web Protege In-Reply-To: <9E0F4769-4526-4727-BABC-B527E1407659@stanford.edu> References: <9E0F4769-4526-4727-BABC-B527E1407659@stanford.edu> Message-ID: Hi Matthew, thank you for replying! On Mar 22, 2018 1:31 PM, "Matthew Horridge" wrote: > Hi Ana, > > There?s plugin examples in the Git repository here: > > https://github.com/protegeproject/protege-plugin-examples > > You can clone the repository and build the plugins following the > instructions. > > Cheers, > > Matthew > > > On 22 Mar 2018, at 06:40, Ana Patr?cia de Sousa < > anapatricia at ppgi.ci.ufpb.br> wrote: > > Hi, good morning! > > I am from Brazil and i am interested in build a Web Protege Plugin for my > masters research. Thus, i would like to know if exists some tutorial with > the technologies and dependencies required to implement the plugin for > the web version of Protege as it exists for the desktop version at: > https://protegewiki.stanford.edu/wiki/PluginAnatomy. > > Thank you in advance! > > -- > Ana Patr?cia de Sousa > (86) 99830-0867 > > Estudante de p?s-gradua??o em Inform?tica a n?vel de mestrado > Programa de P?s-gradua??o em Inform?tica (PPGI) > Centro de Inform?tica (CI) > Universidade Federal da Para?ba (UFPB) > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From yevgeny.kazakov at uni-ulm.de Fri Mar 23 03:13:42 2018 From: yevgeny.kazakov at uni-ulm.de (Yevgeny Kazakov) Date: Fri, 23 Mar 2018 11:13:42 +0100 Subject: [protege-user] Plugin - Web Protege In-Reply-To: <9E0F4769-4526-4727-BABC-B527E1407659@stanford.edu> References: <9E0F4769-4526-4727-BABC-B527E1407659@stanford.edu> Message-ID: Does *Web* Protege have plugins?? - Yevgeny On Thu, Mar 22, 2018 at 5:30 PM, Matthew Horridge < matthew.horridge at stanford.edu> wrote: > Hi Ana, > > There?s plugin examples in the Git repository here: > > https://github.com/protegeproject/protege-plugin-examples > > You can clone the repository and build the plugins following the > instructions. > > Cheers, > > Matthew > > > On 22 Mar 2018, at 06:40, Ana Patr?cia de Sousa < > anapatricia at ppgi.ci.ufpb.br> wrote: > > Hi, good morning! > > I am from Brazil and i am interested in build a Web Protege Plugin for my > masters research. Thus, i would like to know if exists some tutorial with > the technologies and dependencies required to implement the plugin for > the web version of Protege as it exists for the desktop version at: > https://protegewiki.stanford.edu/wiki/PluginAnatomy. > > Thank you in advance! > > -- > Ana Patr?cia de Sousa > (86) 99830-0867 > > Estudante de p?s-gradua??o em Inform?tica a n?vel de mestrado > Programa de P?s-gradua??o em Inform?tica (PPGI) > Centro de Inform?tica (CI) > Universidade Federal da Para?ba (UFPB) > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From rrovetto at buffalo.edu Fri Mar 23 08:13:25 2018 From: rrovetto at buffalo.edu (rrovetto at buffalo.edu) Date: Fri, 23 Mar 2018 16:13:25 +0100 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: References: <1521371063789-0.post@n4.nabble.com> Message-ID: I was able to use the Celfie to import content from a spreadsheet to generate instances in an ontology. But you want to generate object properties? ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From shreyas.sp.patil at gmail.com Fri Mar 23 08:16:43 2018 From: shreyas.sp.patil at gmail.com (Shreyas Patil) Date: Fri, 23 Mar 2018 15:16:43 +0000 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: References: <1521371063789-0.post@n4.nabble.com> Message-ID: Hello Michael, I did complete the Cellfie Grocery tutorial and am able to use spreadsheet for instantiation. My problem arises due to use of annotations to represent classes in ontology. I use annotations to be conformal to BFO ontology. For example I have a class named Test Class, I have to put in rule as Individual: @A Type: @B Facts: @C @D, Here C is the object property and D is what it links A with, example cell A has name of father, C has relation - is father to , D has name -example David. Because I want to use generalized spreadsheet i need help putting two cell references for Facts. Thanks again. Regards, Shreyas On Mon, Mar 19, 2018, 1:22 PM Michael DeBellis wrote: > Shreyas, did you do the Celfie tutorial first? > https://github.com/protegeproject/cellfie-plugin/wiki/Grocery-Tutorial > > It's hard for us to give you much feedback based on what you said in your > message. What exactly are you trying to do and what error message are you > getting? > > Michael > > On Sun, Mar 18, 2018 at 4:04 AM, Shreyas > wrote: > >> Hello, >> >> I am currently working on developing an information model in engineering >> domain. For ease of instantiation into ontology, I am trying to use >> Cellfie >> plugin. I am trying to actually read object properties from spreadsheet as >> well, but I am stuck due to limitations of cellfie plugin. Does anyone >> have >> a work around to do the same? >> >> Thanks, >> Shreyas >> >> >> >> -- >> Sent from: >> http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From shreyas.sp.patil at gmail.com Fri Mar 23 08:18:47 2018 From: shreyas.sp.patil at gmail.com (Shreyas Patil) Date: Fri, 23 Mar 2018 15:18:47 +0000 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: References: <1521371063789-0.post@n4.nabble.com> Message-ID: Hello Sir, Yes, not generate new, the object properties exist in ontology, it's just that I would like to refer to any object property I have in that column by using cell references. Regards, Shreyas On Fri, Mar 23, 2018, 11:13 AM wrote: > I was able to use the Celfie to import content from a spreadsheet to > generate instances in an ontology. > But you want to generate object properties? > ? > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From sunid at stanford.edu Fri Mar 23 08:55:11 2018 From: sunid at stanford.edu (Martin O'Connor) Date: Fri, 23 Mar 2018 15:55:11 +0000 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: References: <1521371063789-0.post@n4.nabble.com> Message-ID: <2CA08B6F-867C-4913-B592-BA608DBB809A@stanford.edu> Unfortunately, Cellfie does not yet support the language clauses for creating object and data properties. Martin On Mar 23, 2018, at 3:18 PM, Shreyas Patil > wrote: Hello Sir, Yes, not generate new, the object properties exist in ontology, it's just that I would like to refer to any object property I have in that column by using cell references. Regards, Shreyas On Fri, Mar 23, 2018, 11:13 AM > wrote: I was able to use the Celfie to import content from a spreadsheet to generate instances in an ontology. But you want to generate object properties? ? _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From vincent643 at gmail.com Fri Mar 23 08:56:31 2018 From: vincent643 at gmail.com (Vincent Henry) Date: Fri, 23 Mar 2018 16:56:31 +0100 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: References: <1521371063789-0.post@n4.nabble.com> Message-ID: Hi, When I use Cellfie, I first declare my object property (i.e. Go_to) and my object property is not on the table but I know what property exists between columns (i.e. A ans B). Then, for class, I use Cellfie like that: Class: @A* SubClassOf: Go_to some @B* If the property already exist in the ontology. It is important to take care of the IRI and not the label. Regards, Vincent On Fri, Mar 23, 2018 at 4:18 PM, Shreyas Patil wrote: > Hello Sir, > > Yes, not generate new, the object properties exist in ontology, it's just > that I would like to refer to any object property I have in that column by > using cell references. > > Regards, > Shreyas > > On Fri, Mar 23, 2018, 11:13 AM wrote: > >> I was able to use the Celfie to import content from a spreadsheet to >> generate instances in an ontology. >> But you want to generate object properties? >> ? >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From shreyas.sp.patil at gmail.com Fri Mar 23 09:12:29 2018 From: shreyas.sp.patil at gmail.com (Shreyas Patil) Date: Fri, 23 Mar 2018 16:12:29 +0000 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: <2CA08B6F-867C-4913-B592-BA608DBB809A@stanford.edu> References: <1521371063789-0.post@n4.nabble.com> <2CA08B6F-867C-4913-B592-BA608DBB809A@stanford.edu> Message-ID: Hello Martin, Thanks for the information. I hope it gets implemented as putting in too many Cellfie rules is cumbersome. My ontology supports quite a lot of information, using object properties through Cellfie would have had eased the burden. Regards, Shreyas On Fri, Mar 23, 2018, 11:55 AM Martin O'Connor wrote: > > Unfortunately, Cellfie does not yet support the language clauses for > creating object and data properties. > > Martin > > > On Mar 23, 2018, at 3:18 PM, Shreyas Patil > wrote: > > Hello Sir, > > Yes, not generate new, the object properties exist in ontology, it's just > that I would like to refer to any object property I have in that column by > using cell references. > > Regards, > Shreyas > > On Fri, Mar 23, 2018, 11:13 AM wrote: > >> I was able to use the Celfie to import content from a spreadsheet to >> generate instances in an ontology. >> But you want to generate object properties? >> ? >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From shreyas.sp.patil at gmail.com Fri Mar 23 09:13:23 2018 From: shreyas.sp.patil at gmail.com (Shreyas Patil) Date: Fri, 23 Mar 2018 16:13:23 +0000 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: References: <1521371063789-0.post@n4.nabble.com> Message-ID: Hello Vincent, Thanks for help, but it's not what I was looking for, my question has been answered by Martin. Regards, Shreyas On Fri, Mar 23, 2018, 12:03 PM Vincent Henry wrote: > Hi, > > When I use Cellfie, I first declare my object property (i.e. Go_to) and my > object property is not on the table but I know what property exists between > columns (i.e. A ans B). > Then, for class, I use Cellfie like that: > Class: @A* > SubClassOf: Go_to some @B* > > > If the property already exist in the ontology. It is important to take > care of the IRI and not the label. > > Regards, > > Vincent > > On Fri, Mar 23, 2018 at 4:18 PM, Shreyas Patil > wrote: > >> Hello Sir, >> >> Yes, not generate new, the object properties exist in ontology, it's just >> that I would like to refer to any object property I have in that column by >> using cell references. >> >> Regards, >> Shreyas >> >> On Fri, Mar 23, 2018, 11:13 AM wrote: >> >>> I was able to use the Celfie to import content from a spreadsheet to >>> generate instances in an ontology. >>> But you want to generate object properties? >>> ? >>> _______________________________________________ >>> protege-user mailing list >>> protege-user at lists.stanford.edu >>> https://mailman.stanford.edu/mailman/listinfo/protege-user >>> >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> >> > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From sunid at stanford.edu Fri Mar 23 09:14:33 2018 From: sunid at stanford.edu (Martin O'Connor) Date: Fri, 23 Mar 2018 16:14:33 +0000 Subject: [protege-user] Cellfie Plugin Help In-Reply-To: References: <1521371063789-0.post@n4.nabble.com> <2CA08B6F-867C-4913-B592-BA608DBB809A@stanford.edu> Message-ID: <08564389-D12B-46AB-802A-896284A21E92@stanford.edu> I hope it happens in the near future, too - but, unfortunately, there is no funding for this work at the moment. Martin On Mar 23, 2018, at 4:12 PM, Shreyas Patil > wrote: Hello Martin, Thanks for the information. I hope it gets implemented as putting in too many Cellfie rules is cumbersome. My ontology supports quite a lot of information, using object properties through Cellfie would have had eased the burden. Regards, Shreyas On Fri, Mar 23, 2018, 11:55 AM Martin O'Connor > wrote: Unfortunately, Cellfie does not yet support the language clauses for creating object and data properties. Martin On Mar 23, 2018, at 3:18 PM, Shreyas Patil > wrote: Hello Sir, Yes, not generate new, the object properties exist in ontology, it's just that I would like to refer to any object property I have in that column by using cell references. Regards, Shreyas On Fri, Mar 23, 2018, 11:13 AM > wrote: I was able to use the Celfie to import content from a spreadsheet to generate instances in an ontology. But you want to generate object properties? ? _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthew.horridge at stanford.edu Fri Mar 23 09:43:38 2018 From: matthew.horridge at stanford.edu (Matthew Horridge) Date: Fri, 23 Mar 2018 16:43:38 +0000 Subject: [protege-user] Plugin - Web Protege In-Reply-To: References: <9E0F4769-4526-4727-BABC-B527E1407659@stanford.edu> Message-ID: Hi Yevgeny, No, WebProtege doesn?t have plugins like the desktop version. Cheers, Matthew On 23 Mar 2018, at 03:13, Yevgeny Kazakov > wrote: Does *Web* Protege have plugins?? - Yevgeny On Thu, Mar 22, 2018 at 5:30 PM, Matthew Horridge > wrote: Hi Ana, There?s plugin examples in the Git repository here: https://github.com/protegeproject/protege-plugin-examples You can clone the repository and build the plugins following the instructions. Cheers, Matthew On 22 Mar 2018, at 06:40, Ana Patr?cia de Sousa > wrote: Hi, good morning! I am from Brazil and i am interested in build a Web Protege Plugin for my masters research. Thus, i would like to know if exists some tutorial with the technologies and dependencies required to implement the plugin for the web version of Protege as it exists for the desktop version at: https://protegewiki.stanford.edu/wiki/PluginAnatomy. Thank you in advance! -- Ana Patr?cia de Sousa (86) 99830-0867 Estudante de p?s-gradua??o em Inform?tica a n?vel de mestrado Programa de P?s-gradua??o em Inform?tica (PPGI) Centro de Inform?tica (CI) Universidade Federal da Para?ba (UFPB) _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From entanon at gmail.com Fri Mar 23 16:26:52 2018 From: entanon at gmail.com (Entan On) Date: Fri, 23 Mar 2018 23:26:52 +0000 Subject: [protege-user] Volume of data accepted by Web Protege Message-ID: I would like to build up an ontology of the concepts upon which various ideologies are based. Examples of the members of the sub-classes, would be news or factual items, which show that that property of the ideology is displayed in the real world. So the instances would be pointers to web site pages of ideological doctrine, or news items. I know from previous attempts that it is absolutely necessary to bind the ideological-concepts/classes to real world acts and statements because: - that is the best way to explain and validate the concept or component of the belief system - as you come back and re-read these statements and events, your understanding of their meaning and significance changes - and now the most exciting thing: the ontology is dynamic. As more classes and instances are added, you automatically feel like re-structuring the class hierarchy, and re-distributing instances within it. You discover in fact, that *anything *can be a category, and they arise in mysterious ways. But there is a practical problem. The average lifespan of a webpage is under 3 years, often far less. So ideally, the webpage itself has to be captured and stored at the time of first reference, or the ontology will collapse for lack of evidence and explanation. So my ontology may grow to have a several gigabytes of data. This is far more than the sample ontologies you show, which seem to be very short on instances of each class. It seems as if the ontology doesn't spread its tentacles into the real world of used instances. For example, I would be interested to see the ontology of components of a VW car, which also included individual instances of a sub class, each with its own serial number, (where a part has a serial number). So the question is: what is the data limit you allow, for an ontology created in Web Protege? -------------- next part -------------- An HTML attachment was scrubbed... URL: From wdduncan at gmail.com Sat Mar 24 18:42:28 2018 From: wdduncan at gmail.com (Bill Duncan) Date: Sat, 24 Mar 2018 21:42:28 -0400 Subject: [protege-user] Protege multiple equivalentTo axioms vs union of axioms In-Reply-To: References: Message-ID: Thanks for the clarification! On Sun, Mar 18, 2018 at 8:44 AM, Lorenz Buehmann < buehmann at informatik.uni-leipzig.de> wrote: > You got an answer there based on a simpler example: > > A EquivalentTo B OR C > > is syntactic sugar for > > A SubClassOf (B OR C) > > and > > (B OR C) SubClassOf A . > > > The important part for your query is that > > A SubClassOf (B OR C) > > does **not** entail > > A SubClassOf B > > nor does it entail > > A SubClassOf C > > > Saying > > Person SubClassOf Male OR Female > > clearly can't lead to > > Person SubClassOf Male (resp. Female) > > > You can map this to your example, the reason remains the same. It's the > set-based semantics of OWL resp. the underlying description logic SROIQ. > > > Lorenz > > On 17.03.2018 16:33, Bill Duncan wrote: > > I posted this on Stackoverflow: > > https://stackoverflow.com/questions/49210547/protege- > multiple-equivalentto-axioms-vs-union-of-axioms > > But I didn't understand the comments. > > Can you help? > > Here's what I posted: > > I am trying to understand the difference between using multiple > equivalentTo axioms and using a union (i.e., disjunction) of those axioms. > I have set up a toy ontology with this structure: > ``` > Class_A > - Class_A.1 > Class_B > Class_C > Class_D > - Class_D.1 > ``` > with an object property named `has_part`. > > `Class_A.1` is defined using the equivalence axiom: > ``` > EquivalentTo > (Class_A and (has_part some Class_B)) or (Class_A and (has_part some > Class_C)) > ``` > > `Class_D1` is defined using two equivalence axioms: > ``` > EquivalentTo > Class_D and (has_part some Class_B) > ``` > ``` > EquivalentTo > Class_D and (has_part some Class_C) > ``` > > Using HermiT 1.3.8.413, I execute the DL Query `has_part some Class_B`. > This returns subclass `Class_D.1`, which makes sense. > > However, I do not understand why `Class_A.1` was not returned. I thought > since the equivalence axioms for `Class_A.1` was a disjunction, it was be > subsumed by the `has_part some Class_B` disjunct. > > > > _______________________________________________ > protege-user mailing listprotege-user at lists.stanford.eduhttps://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From vincenzo.dellamea at uniud.it Mon Mar 26 07:06:11 2018 From: vincenzo.dellamea at uniud.it (Vincenzo Della Mea) Date: Mon, 26 Mar 2018 14:06:11 +0000 Subject: [protege-user] Volume of data accepted by Web Protege In-Reply-To: References: Message-ID: But there is a practical problem. The average lifespan of a webpage is under 3 years, often far less. So ideally, the webpage itself has to be captured and stored at the time of first reference, or the ontology will collapse for lack of evidence and explanation. for long-term storage of URIs, try this service: http://www.webcitation.org (however, I am not sure that a news item is a instance of a concept - some more elaborate relationship may be needed). Kind regards, Vincenzo * Vincenzo Della Mea * Medical Informatics, Telemedicine and Ehealth Lab * Dept. of Mathematics, Computer Science, and Physics * University of Udine, Italy * http://www.dimi.uniud.it/dellamea/ - http://mitel.dimi.uniud.it/ * WHO Italian Collaborating Centre for the Family of International Classifications -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdebellissf at gmail.com Mon Mar 26 15:48:59 2018 From: mdebellissf at gmail.com (Michael DeBellis) Date: Mon, 26 Mar 2018 15:48:59 -0700 Subject: [protege-user] Trying to implement modal logic (Open World assumption) Message-ID: Is there some way to tell the reasoner that in spite of the Open World assumption everything that can be known about a class is already known? What I'm trying to do is to implement a toy example of Modal Logic in the attached ontology. In Modal Logic p is necessarily true (aka box p) in a world W if all the successor worlds of W have p equal to true. P is possibly true (aka diamond p) if some of the successor worlds have p true. This seemed a natural thing to implement in OWL. Also, there are variants of Modal Logic based on whether the successor relation is symmetric, transitive, etc. so again seemed like kind of a natural. I created classes such as POnlyLookingWorld (necessarily p) and PAndNotPLookingWorld (possibly p and possibly not p) but the problem was how to get around the open world assumption. I did that by defining all Worlds to have exactly 2 successors. So in my toy example where I've set up some worlds (W1 - W4) with exactly two successors everything works as it should. But of course the problem is that even for a toy example this is really limiting. Is there a way to model this without having such a limiting axiom about the number of successors? Michael -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ModalLogic.owl Type: application/octet-stream Size: 35399 bytes Desc: not available URL: From buerger at uni-koblenz.de Tue Mar 27 10:15:16 2018 From: buerger at uni-koblenz.de (=?UTF-8?Q?Jens_B=c3=bcrger?=) Date: Tue, 27 Mar 2018 19:15:16 +0200 Subject: [protege-user] Load import hierarchy of ontology automatically? In-Reply-To: References: <3a2725d8-cd70-d084-3ba1-24366f8a9852@uni-koblenz.de> Message-ID: Am 22.03.2018 um 17:34 schrieb Matthew Horridge: > Hi Jens, > > What is the ontology IRI of C? Also, what IRI does B use for the import of C? IRI of ont. C: http://rgse.uni-koblenz.de/upper B imports C: A imports B: As far as I can tell, the automatically generated entries in catalog-v001.xml acknowledge existence of the respective files / IRIs. I checked some things and found out: Apparently the problem for Prot?g? not automatically getting the imports right is when several ontology files exist within the automatically discovered catalog having the same IRI (tagged with a "duplicate:" prefix in the -entry. In the above case, I have a w84.owl and also a w84_evolved.owl, both having http://rgse.uni-koblenz.de/w84 as IRI. This sounds reasonable to me because Prot?g? has no idea which of the duplicates to choose. At this point I'd like to add that failed imports should be at least generate some kind of notice or warning at the GUI level (according to console output, Prot?g? is aware of failed imports). ("Failed to load imported ontology at "...) So, to solve the issue, I added version IRIs: http://rgse.uni-koblenz.de/w84/1 in w84.owl and http://rgse.uni-koblenz.de/w84/2 in w84_evolved.owl But the automatically catalog still recognizes both as duplicate. So I guess the automatic catalog generation does not take version IRIs into account? Kind regards, Jens > > Cheers, > > Matthew > > >> On 22 Mar 2018, at 03:53, Jens B?rger wrote: >> >> [?] >>> A imports B >>> B imports C >>> All three ontologies are local and reside in the same directory. >> I discovered that adding B and C manually to the catalog, even though they are already in it because of automatic discovery, it lead to automatically loading the import hierarchy when loading ontology A. >> >> Is this supposed that way? >> >> Kind regards, >> Jens B?rger >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> https://mailman.stanford.edu/mailman/listinfo/protege-user > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -- Dipl.-Inf. Jens B?rger University of Koblenz-Landau Institute for Software Technology RG Prof. Dr. Jan J?rjens Office: B110, Campus Koblenz Phone: +49 261 287-2705 Fax: +49 261 287-100 2705 -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5127 bytes Desc: S/MIME Cryptographic Signature URL: From name1390453675 at mail.com Tue Mar 27 14:21:27 2018 From: name1390453675 at mail.com (Igor Toujilov) Date: Tue, 27 Mar 2018 23:21:27 +0200 Subject: [protege-user] Trying to implement modal logic (Open World assumption) In-Reply-To: References: Message-ID: An HTML attachment was scrubbed... URL: From yevgeny.kazakov at uni-ulm.de Wed Mar 28 13:59:26 2018 From: yevgeny.kazakov at uni-ulm.de (Yevgeny Kazakov) Date: Wed, 28 Mar 2018 22:59:26 +0200 Subject: [protege-user] Load import hierarchy of ontology automatically? In-Reply-To: References: <3a2725d8-cd70-d084-3ba1-24366f8a9852@uni-koblenz.de> Message-ID: Hi Jens, maybe it is worth creating a github ticket for your issue (or append to an existing one)? https://github.com/protegeproject/protege/issues On Tue, Mar 27, 2018 at 7:15 PM, Jens B?rger wrote: > > At this point I'd like to add that failed imports should be at least > generate some kind of notice or warning at the GUI level (according to > console output, Prot?g? is aware of failed imports). > ("Failed to load imported ontology at "...) > > FYI: if / when my pull request will be merged, there will be a warning symbol on the Protege status area when warning messages appear in the console: https://github.com/protegeproject/protege/pull/734 You can try this fork to see if it will be sufficient: https://github.com/liveontologies/protege Cheers, - Yevgeny -------------- next part -------------- An HTML attachment was scrubbed... URL: From kemylle at gmail.com Wed Mar 28 16:00:20 2018 From: kemylle at gmail.com (Camila Silva) Date: Wed, 28 Mar 2018 20:00:20 -0300 Subject: [protege-user] Problem with properties OWL API Message-ID: Dear users, I need transform this : Haulagetruckdriver worksfor (partof Haulagecompany) to OWL by using OWL API. wrokfor and partof are properties. Haulagetruckdriver and Haulagecompany are classes. Someone can help me? Thanks in advance! Bests -------------- next part -------------- An HTML attachment was scrubbed... URL: From wdduncan at gmail.com Wed Mar 28 20:32:21 2018 From: wdduncan at gmail.com (Bill Duncan) Date: Wed, 28 Mar 2018 23:32:21 -0400 Subject: [protege-user] DL query for individuls that do not have a value Message-ID: I am have trouble constructing a DL query for individuals that do not have a value. Suppose I have two data properties: 1. has_race (takes on values "w" "b" "a" "n") 2. has_ethnicity (takes on value "h") In some cases, I may need to find individuals who have identified do not have any ethnicity information. If I perform the DL query: (has_race value "b") and not (has_race "h") no results are retuned. However, if explicitly assert (using a negative data property assertion) that an individual does not have has_ethnicity "h", the above query works. However, this is not what I need. -------------- next part -------------- An HTML attachment was scrubbed... URL: From veerasingam.89 at gmail.com Wed Mar 28 20:41:33 2018 From: veerasingam.89 at gmail.com (VEERASINGAM PARAMAN) Date: Thu, 29 Mar 2018 03:41:33 +0000 Subject: [protege-user] =?utf-8?q?DL_query_https=3A//m=2Eyoutube=2Ecom/wat?= =?utf-8?q?ch=3Fv=3DClC4s6EXyn4_=F0=9F=8E=A5_Good_Morning_Family_Gu?= =?utf-8?q?y_-_YouTube_https=3A//m=2Eyoutube=2Ecom/watch=3Fv=3DClC4?= =?utf-8?q?s6EXyn4_=F0=9F=8E=A5_Good_Morning_Family_Guy_-_YouTube_i?= =?utf-8?q?ndividuls_that_do_not_have_a_value?= In-Reply-To: References: Message-ID: On Mar 29, 2018 9:02 AM, "Bill Duncan" wrote: I am have trouble constructing a DL query for individuals that do not have a value. Suppose I have two data properties: 1. has_race (takes on values "w" "b" "a" "n") 2. has_ethnicity (takes on value "h") In some cases, I may need to find individuals who have identified do not have any ethnicity information. If I perform the DL query: (has_race value "b") and not (has_race "h") no results are retuned. However, if explicitly assert (using a negative data property assertion) that an individual does not have has_ethnicity "h", the above query works. However, this is not what I need. _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From buehmann at informatik.uni-leipzig.de Wed Mar 28 23:48:37 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Thu, 29 Mar 2018 08:48:37 +0200 Subject: [protege-user] Problem with properties OWL API In-Reply-To: References: Message-ID: <527d3d75-8375-0dff-a472-ba73dfd11900@informatik.uni-leipzig.de> OWL API mailing list? And what means "transform"? Create an OWL aixom? Anyways, wrong mailing list... On 29.03.2018 01:00, Camila Silva wrote: > Dear users, > > I need transform this : > > Haulagetruckdriver worksfor (partof?Haulagecompany)? to OWL by using > OWL API. > > wrokfor?and partof?are > properties.??Haulagetruckdriver?and???Haulagecompany?are classes. > > Someone can help me? > > > Thanks in advance! > > Bests > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From buehmann at informatik.uni-leipzig.de Wed Mar 28 23:50:01 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Thu, 29 Mar 2018 08:50:01 +0200 Subject: [protege-user] DL query for individuls that do not have a value In-Reply-To: References: Message-ID: <3eb8fbc7-1d8b-6992-082d-cb208572d487@informatik.uni-leipzig.de> OWL -> Open World Assumption -> a standard OWL reasoner can't infer by non-existence the negation, this needs an explicit statement. On 29.03.2018 05:32, Bill Duncan wrote: > I am have trouble constructing a DL query for individuals that do not > have a value. > > Suppose I have two data properties: > > 1. has_race (takes on values "w" "b" "a" "n") > 2. has_ethnicity (takes on value "h") > > In some cases, I may need to find individuals who have identified do > not have any ethnicity information. > > If I perform the DL query: > > (has_race value "b") and not (has_race "h") > > no results are retuned.? > > However, if explicitly assert (using a negative data property > assertion) that an individual does not have has_ethnicity "h", the > above query works. However, this is not what I need.? > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From zkhan at csir.co.za Wed Mar 28 23:51:06 2018 From: zkhan at csir.co.za (Zubeida Khan) Date: Thu, 29 Mar 2018 08:51:06 +0200 Subject: [protege-user] * Early Career Symposium at FOIS 2018* References: <5ABC8CDA0200000400372231@pta-imo.csir.co.za> Message-ID: <5ABC8CDA0200000400372231@pta-imo.csir.co.za> +++++++++++++++++++++ * Early Career Symposium at FOIS 2018* +++++++++++++++++++++*Important dates*June 4, 2018: Submission deadlineJune 21, 2018: Notification of acceptanceJune 28, 2018: Submission of camera-ready version See website for furtherinformation.*Scope*The international conference Formal Ontology in Information Systems (FOIS) is one of the leading conferences inontology engineering. FOIS aims to promote interdisciplinary research andinternational collaboration at the intersection of philosophical ontology,linguistics, logic, cognitive science, and computer science, as well as inthe applications of ontological analysis to conceptual modeling, knowledgeengineering, knowledge management, information-systems development, libraryand information science, scientific research, and semantic technologies ingeneral.The FOIS 2018 conference, to be held in Cape Town, South Africa, September17-21, 2018, will host an Early Career Symposium (ECS) . This event is designed toprovide an opportunity for graduate students to present their work at one ofthe leading conferences in formal ontology and to get first-hand feedbackand mentorship from senior researchers in their field. It will also allowparticipants to network with other (early career) scientists in the broadfield of ontology, as well as to participate in a rich social environmenttogether with peers. Topics of interest include all topics relevant to theinterdisciplinary field of ontology as outlined in the topics of interest for FOIS 2018.*Format*The ECS will be held as a poster session within the main FOIS conference.The poster session will be opened by a lightning talks session, during whicheach participant has the opportunity to advertise his/her work in a 5minutes speech in front of the general audience of the conference. Eachparticipant will be assigned a senior researcher as mentor, who will providesubstantial feedback to his/her work. Moreover, a PhD Lounge will allow early career scientists to meet anddiscuss their work with each other, their mentors and other seniorresearchers. *Application Instructions*The ECS is open to students at the Masters and Doctoral Level that have notdefended their thesis before the ECS Submission deadline.Candidates must submit a short description of their research project and anup-to-date CV (as one pdf-file). Submissions will be reviewed by selectedmembers of the FOIS Program Committee. Final submission is via EasyChair(see submission instructions ).*Template for submission*. The template is meant to be used as generalreference to organize the description of the submitted research project indifferent sections with specific contents. Latex can be also used. Make surethat the submission is in pdf format and includes both the description andthe CV.The abstracts (400 words), included in the project description, will bepublished as part of the FOIS proceedings (published by CEUR).A limited number of scholarships will be available to support studentsparticipation. Further information will be soon available on the website .*Contact*For all queries about the Early Career Symposium, please contact theorganizers at ecsfois2018 at gmail.com ( https://mailman.stanford.edu/mailman/listinfo/protege-user) .*Organizers*Emilio M. Sanfilippo, Laboratory of Digital Sciences of Nantes, EcoleCentrale of Nantes-CNRS, FranceMaria Hedblom, Free University of Bolzano-Bozen, ItalyZubeida Khan, Council for Scientific and Industrial Research, Pretoria,South Africa -------------- next part -------------- An HTML attachment was scrubbed... URL: From emiliosanfilippo at gmail.com Thu Mar 29 03:19:01 2018 From: emiliosanfilippo at gmail.com (Emilio) Date: Thu, 29 Mar 2018 03:19:01 -0700 (MST) Subject: [protege-user] SWRL rule with built-in elements Message-ID: <1522318741659-0.post@n4.nabble.com> Hello, I would like to get a clarification concerning the use of SWRL rules with built-in elements. Consider the following example (hasMaxVolume and hasVolume are data properties). Machine(?x), Product(?y), produces(?x,?y),hasMaxVolume(?x,?v1), hasVolume(?y,?v2) -> lessThan(?v2,?v1) The idea is that in order for a machine to produce a product, the maximum volume that the machine can process has to be greater than the volume of the product. Consider now an A-box where the body of the rule holds between two individuals, Machine(m) and Product(p), such that hasMaxVolume(m,100) and hasVolume(p,200) with values expressed in xsd:float. Now, the head of the rule should be false, since v2 is greater than v1. I would expect a reasoner (Pellet) to trigger an inconsistency in the knowledge base, since what stated in the A-box goes against the rule above. However, this does not happen. Can someone please explain why? An alternative may be to trigger an inconsistency in this way: Machine(?x), Product(?y), produces(?x,?y),hasMaxVolume(?x,?v1), hasVolume(?y,?v2), lessThan(?v1,?v2) -> owl:Nothing(?x) Any comment is very welcome. Thanks, -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From wdduncan at gmail.com Thu Mar 29 06:55:37 2018 From: wdduncan at gmail.com (Bill Duncan) Date: Thu, 29 Mar 2018 09:55:37 -0400 Subject: [protege-user] DL query for individuls that do not have a value In-Reply-To: <3eb8fbc7-1d8b-6992-082d-cb208572d487@informatik.uni-leipzig.de> References: <3eb8fbc7-1d8b-6992-082d-cb208572d487@informatik.uni-leipzig.de> Message-ID: Thanks ... I was afraid that might be the case. So, in my example, b/c the individual does not explicitly have an ethnicity value, you can't determine that the individual isn't a member/instance of the class of things that do have an ethnicity value. Am I understanding this correctly? On Thu, Mar 29, 2018 at 2:50 AM, Lorenz Buehmann < buehmann at informatik.uni-leipzig.de> wrote: > OWL -> Open World Assumption -> a standard OWL reasoner can't infer by > non-existence the negation, this needs an explicit statement. > > On 29.03.2018 05:32, Bill Duncan wrote: > > I am have trouble constructing a DL query for individuals that do not have > a value. > > Suppose I have two data properties: > > 1. has_race (takes on values "w" "b" "a" "n") > 2. has_ethnicity (takes on value "h") > > In some cases, I may need to find individuals who have identified do not > have any ethnicity information. > > If I perform the DL query: > > (has_race value "b") and not (has_race "h") > > no results are retuned. > > However, if explicitly assert (using a negative data property assertion) > that an individual does not have has_ethnicity "h", the above query works. > However, this is not what I need. > > > _______________________________________________ > protege-user mailing listprotege-user at lists.stanford.eduhttps://mailman.stanford.edu/mailman/listinfo/protege-user > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From shreyas.sp.patil at gmail.com Thu Mar 29 08:36:06 2018 From: shreyas.sp.patil at gmail.com (Shreyas Patil) Date: Thu, 29 Mar 2018 11:36:06 -0400 Subject: [protege-user] SWRL rule with built-in elements In-Reply-To: <1522318741659-0.post@n4.nabble.com> References: <1522318741659-0.post@n4.nabble.com> Message-ID: Emilio, Are you using appropriate swrl prefixes? Machine(?x), Product(?y), produces(?x,?y),hasMaxVolume(?x,?v1), hasVolume(?y,?v2) ,swrlb:lessThan(?v2,?v1)-> exceedsboundsof(?y,?x). Here the result can be set to class or object property Regards, Shreyas On Thursday, March 29, 2018, Emilio wrote: > Hello, > > I would like to get a clarification concerning the use of SWRL rules with > built-in elements. > Consider the following example (hasMaxVolume and hasVolume are data > properties). > > Machine(?x), Product(?y), produces(?x,?y),hasMaxVolume(?x,?v1), > hasVolume(?y,?v2) -> lessThan(?v2,?v1) > > The idea is that in order for a machine to produce a product, the maximum > volume that the machine can process has to be greater than the volume of > the > product. > > Consider now an A-box where the body of the rule holds between two > individuals, Machine(m) and Product(p), such that hasMaxVolume(m,100) and > hasVolume(p,200) with values expressed in xsd:float. Now, the head of the > rule should be false, since v2 is greater than v1. I would expect a > reasoner > (Pellet) to trigger an inconsistency in the knowledge base, since what > stated in the A-box goes against the rule above. However, this does not > happen. Can someone please explain why? > > An alternative may be to trigger an inconsistency in this way: > > Machine(?x), Product(?y), produces(?x,?y),hasMaxVolume(?x,?v1), > hasVolume(?y,?v2), lessThan(?v1,?v2) -> owl:Nothing(?x) > > Any comment is very welcome. > > Thanks, > > > > > > -- > Sent from: http://protege-project.136.n4.nabble.com/Protege-User- > f4659818.html > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user > -------------- next part -------------- An HTML attachment was scrubbed... URL: From emiliosanfilippo at gmail.com Thu Mar 29 08:42:04 2018 From: emiliosanfilippo at gmail.com (Emilio) Date: Thu, 29 Mar 2018 08:42:04 -0700 (MST) Subject: [protege-user] SWRL rule with built-in elements In-Reply-To: References: <1522318741659-0.post@n4.nabble.com> Message-ID: <1522338124385-0.post@n4.nabble.com> Hello Shreyas, Thanks for your feedback. Yes, I do use the appropriate swrl prefixes; in Protege they are actually inserted automatically. I understand your proposal. My question is whether the first rule I showed above can be used to trigger an inconsistency, or built-in elements cannot be used in that manner. Maybe this has to do with the semantics of built-ins in SWRL. Cheers, -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From buehmann at informatik.uni-leipzig.de Fri Mar 30 00:59:33 2018 From: buehmann at informatik.uni-leipzig.de (Lorenz Buehmann) Date: Fri, 30 Mar 2018 09:59:33 +0200 Subject: [protege-user] DL query for individuls that do not have a value In-Reply-To: References: <3eb8fbc7-1d8b-6992-082d-cb208572d487@informatik.uni-leipzig.de> Message-ID: <0afeed43-c48c-fe1a-0c13-86337e0868c2@informatik.uni-leipzig.de> > So, in my example, b/c the individual does not explicitly have an > ethnicity value, you can't determine that the individual isn't a > member/instance of the class of things that do have an ethnicity > value. Am I understanding this correctly? the class of things that do **not** have an ethnicity value. The absence of an information can't be treated as negation On 29.03.2018 15:55, Bill Duncan wrote: > Thanks ... I was afraid that might be the case. > > So, in my example, b/c the individual does not explicitly have an > ethnicity value, you can't determine that the individual isn't a > member/instance of the class of things that do have an ethnicity > value. Am I understanding this correctly? > > On Thu, Mar 29, 2018 at 2:50 AM, Lorenz Buehmann > > wrote: > > OWL -> Open World Assumption -> a standard OWL reasoner can't > infer by non-existence the negation, this needs an explicit statement. > > > On 29.03.2018 05:32, Bill Duncan wrote: >> I am have trouble constructing a DL query for individuals that do >> not have a value. >> >> Suppose I have two data properties: >> >> 1. has_race (takes on values "w" "b" "a" "n") >> 2. has_ethnicity (takes on value "h") >> >> In some cases, I may need to find individuals who have identified >> do not have any ethnicity information. >> >> If I perform the DL query: >> >> (has_race value "b") and not (has_race "h") >> >> no results are retuned.? >> >> However, if explicitly assert (using a negative data property >> assertion) that an individual does not have has_ethnicity "h", >> the above query works. However, this is not what I need.? >> >> >> _______________________________________________ >> protege-user mailing list >> protege-user at lists.stanford.edu >> >> https://mailman.stanford.edu/mailman/listinfo/protege-user >> > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > > https://mailman.stanford.edu/mailman/listinfo/protege-user > > > > > > _______________________________________________ > protege-user mailing list > protege-user at lists.stanford.edu > https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: From irygaev at gmail.com Fri Mar 30 08:06:20 2018 From: irygaev at gmail.com (Ivan Rygaev) Date: Fri, 30 Mar 2018 18:06:20 +0300 Subject: [protege-user] Change prefixes in a Webprotege project Message-ID: <1522422380.373482.1321415904.3E6F25DC@webmail.messagingengine.com> Hello! We are using Webprotege on our own server. We would like to add one more RDF prefix to an existing ontology project in it. Basically I'm talking about the following tag in the RDF/XML format (the red line needs to be added). How can I do that? I don't see any pages in Webprotege where those prefixes are even displayed, not talking about editing them. Moreover, when I try to upload a copy of the project with the prefix added, it gets removed. When I download the ontology back, the prefix is not there. How does that work in Webprotege? Thank you. Ivan Rygaev Laboratory of Computation Linguistics, IITP RAS, Moscow, Russia. -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthew.horridge at stanford.edu Fri Mar 30 11:07:02 2018 From: matthew.horridge at stanford.edu (Matthew Horridge) Date: Fri, 30 Mar 2018 18:07:02 +0000 Subject: [protege-user] Change prefixes in a Webprotege project In-Reply-To: <1522422380.373482.1321415904.3E6F25DC@webmail.messagingengine.com> References: <1522422380.373482.1321415904.3E6F25DC@webmail.messagingengine.com> Message-ID: <6DD00480-E7EE-4776-BECD-FF25997138F8@stanford.edu> Hi, You can?t edit prefixes in the current release. The version of WebProtege hosted at webprotege.stanford.edu offers the possibility of adding prefixes to a project (see screenshot below), but these are currently for use in the UI. I?ve added an issue to the WebProtege issue tracker for this [1]. Cheers, Matthew [cid:B4EBF5F2-8094-47E7-8D26-F45F67423D7E at stanford.edu] [1] https://github.com/protegeproject/webprotege/issues/475 On 30 Mar 2018, at 08:06, Ivan Rygaev > wrote: Hello! We are using Webprotege on our own server. We would like to add one more RDF prefix to an existing ontology project in it. Basically I'm talking about the following tag in the RDF/XML format (the red line needs to be added). How can I do that? I don't see any pages in Webprotege where those prefixes are even displayed, not talking about editing them. Moreover, when I try to upload a copy of the project with the prefix added, it gets removed. When I download the ontology back, the prefix is not there. How does that work in Webprotege? Thank you. Ivan Rygaev Laboratory of Computation Linguistics, IITP RAS, Moscow, Russia. _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: PastedGraphic-1.png Type: image/png Size: 80104 bytes Desc: PastedGraphic-1.png URL: From razisyed4 at gmail.com Fri Mar 30 12:25:21 2018 From: razisyed4 at gmail.com (RazaSyed) Date: Fri, 30 Mar 2018 12:25:21 -0700 (MST) Subject: [protege-user] How To Publish Ontology Online Message-ID: <1522437921577-0.post@n4.nabble.com> Step by Step Guide to Publish Ontology Online on w3School -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html From swt at stanford.edu Fri Mar 30 13:11:31 2018 From: swt at stanford.edu (Samson Tu) Date: Fri, 30 Mar 2018 20:11:31 +0000 Subject: [protege-user] DL query for individuls that do not have a value In-Reply-To: References: <3eb8fbc7-1d8b-6992-082d-cb208572d487@informatik.uni-leipzig.de> Message-ID: Yes, however, you can use SPARQL query to find individuals who does not have attribute values (e.g., https://www.w3.org/TR/sparql11-query/ PREFIX rdf: PREFIX foaf: SELECT ?person WHERE { ?person rdf:type foaf:Person . FILTER NOT EXISTS { ?person foaf:name ?name } } With best regards, Samson On Mar 29, 2018, at 6:55 AM, Bill Duncan wrote: Thanks ... I was afraid that might be the case. So, in my example, b/c the individual does not explicitly have an ethnicity value, you can't determine that the individual isn't a member/instance of the class of things that do have an ethnicity value. Am I understanding this correctly? On Thu, Mar 29, 2018 at 2:50 AM, Lorenz Buehmann > wrote: OWL -> Open World Assumption -> a standard OWL reasoner can't infer by non-existence the negation, this needs an explicit statement. On 29.03.2018 05:32, Bill Duncan wrote: I am have trouble constructing a DL query for individuals that do not have a value. Suppose I have two data properties: 1. has_race (takes on values "w" "b" "a" "n") 2. has_ethnicity (takes on value "h") In some cases, I may need to find individuals who have identified do not have any ethnicity information. If I perform the DL query: (has_race value "b") and not (has_race "h") no results are retuned. However, if explicitly assert (using a negative data property assertion) that an individual does not have has_ethnicity "h", the above query works. However, this is not what I need. _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user _______________________________________________ protege-user mailing list protege-user at lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-user -------------- next part -------------- An HTML attachment was scrubbed... URL: