http://blog.gmane.org/gmane.comp.misc.ontology.protege.owl hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37032 <pre>Hi all, I am working in an ontology which relates concepts from two other ontologies defining this relations as restricted classes. What I want is to make the reasoner infer the implicit inverse object property. For example: I define my Class MyAmygdala to relate the imported class Amygdala with other imported class Function with restrictions "*hasAnatomicalEntity some Amygdala and hasCognitiveFunction Function*" So the DL Query *Anatomical_Functional and hasAnatomicalEntity some Amygdala* Returns MyAmygdala as expected. The property *hasAnatomicalEntity* has the inverse *isAnatomicalEntityOf*, but as far as I know there's no way to infer directly this relation so the query *'Anatomical entity' that isAnatomicalEntityOf some Anatomical_Functional* Returns Amygdala I should not alter the imported ontologies, so I decided to add a SWRL rule indicating that if a anatomical_functional has an anatomical entity the this entity is anatomical entity of this anatomical_functional: *'Anatomical entity'(?y), Anatomical_Functional_Relation(?x), hasAnatomicalEntity(?x, ?y) -&gt; isAnatomicalEntityOf(?y, ?x)* But the reasoner still doesn't infer this fact and the query returns nothing. Could anybody point me in the right direction? Thanks, Santi _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Santiago Timón 2012-05-24T15:49:42 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37031 <pre>Sepublica (http://sepublica.mywikipaper.org) Dear all, Robert Stevens will be our keynote speaker. The tittle of his talk will be "Semantic publishing: What does it all mean anyway?" Robert will open our afternoon session. From 2 to 5pm we will be discussing issues related to semantics in publications and semantic publications. You are all invited to attend our discussion, we are planning to generate a communique out of this session. SePublica 2012 … the scientific publication as an interface to the web of data… semantics in scientific publications, is it just about linking? what does a scientific publication in the semantic web look like what should it deliver, how should it change the user experience what do we want the next generation of scholarly communication to be like? </pre> Alexander Garcia Castro 2012-05-24T14:15:38 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37027 <pre>Dear Mr Timothy and all Finally I can solve the problem of "inconsistency" in my ontologies. Thank you very much for your help. My next question is about SPARQL in protege 4.2 beta. I was using DL query, and it is easier to understand than SPARQL syntax and always supported OWl entailment :-) but I also want to use SPARQl syntax. Example 1 I use DL query : People and (hasSalary some int [&gt;=0]) and (hasSalary some int [&lt;=100]) and I also use Sparql syntax : Prefix :&lt;http://www.semanticweb.org/CO.owl#&gt; PREFIX rdf: &lt;http://www.w3.org/1999/02/22-rdf-syntax-ns#&gt; PREFIX owl: &lt;http://www.w3.org/2002/07/owl#&gt; PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt; PREFIX rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; SELECT ?People ?Salary WHERE { ?People :hasSalary ?Salary . FILTER (?Salary &gt;= 0 &amp;&amp; ?Salary &lt;= 70) } *and the result is equal (Figure 1)* --&gt; no problem in this example Example 2: then I try to making a query again DL : Person and hasConditionOfFloor value "BAD"^^string SPARQL : Prefix : &lt;http://www.semanticweb.org/UV1.owl#&gt; PREFIX rdf: &lt;http://www.w3.org/1999/02/22-rdf-syntax-ns#&gt; PREFIX owl: &lt;http://www.w3.org/2002/07/owl#&gt; PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt; PREFIX rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; SELECT ?Person ?Floor WHERE { ?Person :hasConditionOfFloor ?Floor. FILTER (str (?Floor="BAD")). } *and the result is not equal (Figure 2)* I think the FILTER that I made was wrong.. SPARQL can't filtering "BAD"..:-( "GOOD" also appear in result box Help me Mr Timothy Thank you Lina _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> jayadianti herlina 2012-05-21T13:28:48 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37024 <pre>Hello all, I am reading through the Manchester Pizza Ontology Tutorial. After setting the 'domain' and 'range' for the 'hasTopping' property, I look at the 'isToppingOf' property, which is the inverse property of 'hasTopping'. The tutorial says Protege automatically fills in the 'domain' and 'range' of the 'isToppingOf' property, because the domain and range of its inverse property were specified. This doesn't happen in mine. How do I update the framework to make this happen? Thank you, _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Miri, Hossein 2012-05-21T07:59:46 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37023 <pre>Hi Protégé devs, I'm having trouble in displaying inferred individual memberships in Protégé 4.1 with both HermIT 1.3.6 and Fact++ as reasoners. I'm using a vanilla configuration (see below). The attached screenshots show that the inferred class membership of the individual "IntegralNumbersUnderAddition" is correctly shown in the classes tab but not in the individuals tab (see the empty members list of the "AbelianGroup" superclass). I'm also attaching the ontology that allows me to reproduce the problem. Can you give me a hint what I'm doing wrong or is this a bug? Florian Here's my configuration: Protege 4 OWL Editor (Version 4.1.0, Build = 239) Platform: Java: JVM 1.6.0_24-b24 Memory: 466M Language: en, Country: US Framework: Apache Software Foundation (1.5) OS: linux (3.2.0-24-generic) Processor: x86-64 Installed plugin The Protege 4 OWL Editor Installed plugin Dlquery Installed plugin The OWL API Installed plugin Owlviz Plug-in Installed plugin OntoGraf Plug-in Installed plugin HermiT Reasoner Installed plugin Factplusplus Plug-in Using OWL API version 3.2.3.1824 _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Florian Grandel 2012-05-20T23:07:10 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37022 <pre>Hi All, I was creating an ontology where in for each instance of pizza I have given a calori value. I have another class PERSON. What I am interested in doing protege is , if an instance of this person eats 2 different tyes of pizza, I would like to get the total calorie value consumed. Is it possible in protege 4.2. Pls help me.This is for my studies. Regards, MU _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Meena Unni 2012-05-19T21:40:38 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37016 <pre>Hi, I have a question about the expressiveness of OWL2. Is it possible to state that an individual (e.g. peter) can know everything (the individuals of the class Thing): Person(peter) and peter knows "all Individuals of Thing"? In SWRL it would be: Thing(?x) -&gt; knows(peter, ?x) But I am not sure, if it is possible to use peter in such a way in an SWRL rule. Best Regards, Stephan -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Can-somebody-know-everything-tp4644375.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Stephan Opfer 2012-05-18T11:31:38 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37013 <pre> ==================================================================================== 2nd International Conference on Green Communications and Networking - GreeNets 2012 24th and 26th October 2012 Gandia, Spain http://greenets.org/ ==================================================================================== HIGHLIGHTS - The event is endorsed by the European Alliance for Innovation (www.eai.eu), a leading community-based organisation devoted to the advancement of innovation in the field of ICT - All accepted papers will be published by Springer and made available through SpringerLink Digital Library, one of the world's largest scientific libraries - Proceedings will be submitted for indexing by Google Scholar, ISI, EI Compendex, Scopus and many more - Best papers will be selected to be included in one of the special issues that will be published in: Future Internet, Network Protocols and Algorithms, Recent Patent in Te lecommunications CALL FOR PAPERS [Scope] Global warming and climate change have been a growing worldwide concern. Six sources, i.e., transportation, power, buildings, industry, agriculture and forestry, and land use, have been identified as major contributors to the rise of global carbon dioxide (CO2). The mobile industry is seen as a potential enabler to reduce greenhouse gases contributed by these six sources provided that appropriate measures are implemented. On the other hand, the mobile industry itself will also contribute to CO2 emission through network operations, mobile equipments, etc. To meet the requirement of low-carbon economy development, it is necessary to reduce the operation expenditure or energy consumption of mobile networks, while maintaining acceptable quality of service. This conference will explore and expl ain the scope and challenges of designing, building, and deploying GreeNets. In this regard, the conference aims to establish a forum to bring together research professionals from diverse fields including green mobile networks, system architectures, networking &amp; communication protocols, applications, test-bed and prototype, traffic balance and energy-efficient cooperation transmission, system and application issues related to GreeNets. [Topics] The conference invites original technical papers that were not previously published and are not currently under review for publication elsewhere. Topics include, but are not limited to: - Communications and Networking: Communication techniques and protocols for GreeNets Energy-efficient transmission technologies based on the cooperation communication Scalable and flexible energy efficiency mobile network architectures, deployments, and applications - Energy-efficient network architecture &amp; protocols: Scalability and mobility issues in energy efficiency cross-layer design MAC Protocols and QoS Designing for mobile networks - Systems and Technology: Transactions and workflows in green mobile networks Adaptability and stability o f green mobile networks Mobile and multimedia supported green mobile networks Experimental and test bed studies for energy efficiency mobile networks, simulation tools - Energy-efficient management: Energy-efficient traffic balance, cooperation and management Distributed energy efficiency resource management techniques Protocols for cooperative management and control [Publications] Accepted papers will be published in Springer's LNICST series and will appear in the SpringerLink, one of the largest digital libraries online that covers a variety of scientific disciplines, as well as in the ICST's own EU Digital Library (EUDL). LNICST volumes are submitted for inclusion to leading indexing services, including DBLP, Google Scholar, ACM Digital Library, ISI Proceedings, EI Engineering Index, CrossRef, Scopus. [Special Issues] Best papers will be selected to be included in one of the special issues that will be published in: Future Internet (ISSN 1999-5903) Network Protocols and Algorithms (ISSN 1 943-3581) Recent Patent in Telecommunications (ISSN: 2211-7407 (Print) ISSN: 2211-7415 (Online)) [Paper submission] All the papers formatted according with the instructions have to be submitted through the conference online system at: http://greenets.org/submission.shtml [Important dates] Abstract Submission Deadline: June 10, 2012 Full Paper Deadline: June 10, 2012 Notification of Acceptance: July 6, 2012 Camera-ready: August 11, 2012 Conference dates: 24th - 26th October 2012 [Conference organizing committees] General Co-Chairs: Jaime Lloret, Universidad Politecnica de Valencia, Spain Joel Rodrigues, Institute of Telecommunications, University of Beira Interior, Portugal TPC Co-Chairs: Liang Zhou, Nanjing University of Posts and Telcommunications, China Eduardo Nakamura, Federal Univ. of Amazonas, Brazil Industry Track Chair: Jose Maria Alcaraz Calero, Hewlett Packard Laboratories, Bristol, UK Workshop Chair: Javier Aguiar, University of Valladolid, Spain Special Session Chair: Jose Soler, Da nmarks Tekniske Universitet, Denmark Panel Chair: A.v. Senthil Kumar, HINDUSTHAN College of Arts &amp; Science, India Posters Chair: Kayhan Zrar Ghafoor, Universiti Teknologi Malaysia, Malaysia Local Co-Chairs: Diana Bri, Universidad Politecncia de Valencia, Spain Miguel Garcia, Universidad Politecncia de Valencia, Spain Publicity Chairs: Sandra Sendra, Univ. Politecnica de Valencia, Spain Min Chen, Seoul National University, Korea Web Chair: Alejandro Canovas, Universidad Politecncia de Valencia, Spain Steering Committee: Athanasios Vasilakos, National Technical University of Athens (NTUA), Greece Imrich Chlamtac, Creat-Net, Italy ABOUT EAI The European Alliance for Innovation is a dynamic eco-system for fostering ICT enabled innovation to improve European competitiveness and to benefit society. EAI uses open e-platforms to inspire grassroots collaboration among all relevant actors, from organizations to individuals, to stimulate community driven innovation to its institutional and individual members worldwide. Through EAI, organizations find ideas and talent, and individual innovators find organizations for their ingenuity and craft. Join the innovation community at www.eai.eu UNSUBSCRIBE If you believed you have received this email in error, or do not want to receive emails from us in the future, please send an email to unsubscribe&lt; at &gt;eai.eu. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Sandra Sendra 2012-05-18T07:35:22 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37006 <pre>Hi, I have a N-Ary Relation designed as suggested by the http://www.w3.org/TR/swbp-n-aryRelations/#pattern1 w3c design pattern 1 . The name of the relation class is InRelation and it has 4 parameters, which are instances of the following classes: Agent, Plan, Task, State. E.g., "In(peter, cookingPasta, boilNudles, heatWater)" means that Agent peter is executing the cookingPasta plan and that peter is assigned to the task boilNudles. Within this task he is at the state of heating the water. Now my question: Is it possible to restrict the InRelation-Class such that the Task and State parameter has to be part of the Plan parameter. My naive formalisation of that would be: InRelation isSubClassOf ( inRelPlan P and inRelState S and inRelTask T and P hasState S and P hasTask T ) inRelPlan, inRelTask, inRelState are relation between the InRelation and its paramters. Best Regards, Stephan -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/N-Ary-Relations-and-Relations-between-their-Parameters-tp4641285.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Stephan Opfer 2012-05-16T12:17:47 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/37004 <pre>Hello       I am a beginner to Protege software. I would like to convert the information in a .xml file to ontology(.owl) file. Please let me know whether there is any option in Protege for this conversion. If not, is there any other procedure by which i can achieve my goal. regards_______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> divya udayan 2012-05-15T22:48:44 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36998 <pre> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to UBICOMM 2012. The submission deadline is set to May 18, 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== UBICOMM 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS UBICOMM 2012, The Sixth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies September 23 - 28, 2012 - Barcelona, Spain General page: http://www.iaria.org/conferences2012/UBICOMM12.html Call for Papers: http://www.iaria.org/conferences2012/CfPUBICOMM12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitUBICOMM12.html Submission deadline: May 18, 2012 Proceedings: ISBN: 978-1-61208-236-3 Archived in the free access ThinkMind Digital Library at http://www.thinkmind.org Printed version can be ordered at http://www.proceedings.com/9769.html All publications will be submitted for major indexing. Authors of selected papers will be invited to submit extended versions to a IARIA Journal: http://www.iariajournals.org Sponsored by IARIA, www.iaria.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please, check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html UBICOMM 2012 Topics (topics and submission details: see CfP on the site) Fundamentals Semantics of ubiquity; Ubiquitous knowledge; Knowledge discovery mechanisms; Profiling ubiquitous environments; Ubiquitous technologies for education, learning, and training Mobility Ubiquitous computing; Wearable computing; Mobile computing; Nomadic computing; Mobile commerce; Mobile learning Information Ubiquity Ubiquitous information appliances; Information retrieval and filtering; Context awareness; Control of ubiquitous data; Data management and processing; Data replication, migration and dissemination; Ubiquitous computing and Internet of Things Ubiquitous Multimedia Systems and Processing Multimedia content recognition, indexing and search; Mobile graphics, games and entertainment; Ubiquitous multimedia applications and systems; Streaming mobile multimedia; Mobile media management; Multimedia ubiquitous platforms; Multimedia Indexing and Compression; Image and Signal Processing; Virtual reality in ubiquitous systems Wireless Technologies Bluetooth; 802.11.x; 802.15.x; ZigBee; WiMax Web Services Web 2.0; Semantic web; Web services; Ontology; Web Services evolution; Web Services applications Ubiquitous networks Ubiquitous networks; Network management; Network performance evaluation; Networks and technology convergence; Internet access in ubiquitous systems; Ubiquitous mesh, ad hoc and sensor networks; RFID; Reconfigurability and personalization of ubiquitous networks Ubiquitous devices and operative systems Design of devices for ubiquitous systems; Mobile devices; Wearable devices; Embedded systems; Operative systems for ubiquitous devices; Real-time operating systems and scheduling Ubiquitous mobile services and protocols Frameworks, architectures, and languages for ubiquitous services; Queries, transactions and workflows in mobile and ubiquitous Networks; Algorithms for ubiquitous systems; SLA/QoS in ubiquitous services; Ontology based services; Location-based services; Protocols and interaction mechanisms for ubiquitous services; Mobile services and service convergence; Service discovery mechanisms; Tracking in ubiquitous environments; Measurement, control, and management of ubiquitous services; Design and development of ubiquitous services; Wireless/mobile service delivery Ubiquitous software and security Ambient components; Agent technologies; Software for spontaneous interoperation; Dependability guarantees; Security; Key Management and Authentication; Trust; Privacy; Fault-tolerance; Multimedia Information Security Collaborative ubiquitous systems Cooperative networks for ubiquitous systems; Cooperative applications for ubiquitous networks; Handheld and wearable systems for interaction in collaborative groups and communities; Ad hoc collaboration in ubiquitous computing environments; Awareness of collaboration and of work environment; Inherently mobile collaborative work Users, applications, and business models Mobile user interfaces; Ubiquitous user-generated content (weblogs, wikis, etc.); Mobile and ubiquitous computing support for collaborative learning; User modeling and personalization; Context- and location-aware applications; Toolkits, testbeds, development environments; Tools and techniques for designing, implementing, &amp; evaluating ubiquitous systems; Constructing, deploying and prototyping of ubiquitous applications; Evaluation of user models for ubiquitous environments; On-line analytical techniques; Human-computer interaction in ubiquitous computing environments; Ubiquitous e-Development (business, science, health, etc.); Case Studies; Emerging industrial/business/scientific ubiquitous scenarios; Ambient intelligence; Social issues and implications of ubiquitous system ================================================ Thanks for contributing! UBICOMM Advisory Chairs Jaime Lloret Mauri, Polytechnic University of Valencia, Spain Sathiamoorthy Manoharan, University of Auckland, New Zealand Zary Segal, UMBC, USA Yoshiaki Taniguchi, Osaka University, Japan Ruay-Shiung Chang, National Dong Hwa University, Taiwan IARIA Publicity Board ----------------------------------------------------------------------------- _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Cristina Pascual 2012-05-14T16:32:15 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36996 <pre>Hi, I was wondering if it is possible to create your own datatype in Protégé 3.4.7. If so, how is it done? Thanks. Laura. -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Create-own-datatype-in-protege-3-4-7-tp4631906.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Laura 2012-05-14T10:13:44 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36992 <pre> INVITATION: ================= Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ADVCOMP 2012. The submission deadline is set to May 18, 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ADVCOMP 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ADVCOMP 2012, The Sixth International Conference on Advanced Engineering Computing and Applications in Sciences September 23 - 28, 2012 - Barcelona, Spain General page: http://www.iaria.org/conferences2012/ADVCOMP12.html Call for Papers: http://www.iaria.org/conferences2012/CfPADVCOMP12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitADVCOMP12.html Submission deadline: May 18, 2012 Proceedings: ISBN: 978-1-61208-237-0 Archived in the free access ThinkMind Digital Library at http://www.thinkmind.org Printed version can be ordered at http://www.proceedings.com/9769.html All publications will be submitted for major indexing. Authors of selected papers will be invited to submit extended versions to a IARIA Journal: http://www.iariajournals.org Sponsored by IARIA, www.iaria.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html ADVCOMP 2012 Topics (topics and submission details: see CfP on the site) Advances on computing theories Finite-state machines; Petri nets /stochastic/colored/probabilistic/etc; Genetic algorithms; Machine learning theory; Prediction theory; Bayesian theory /statistics/filtering/estimation/reasoning/rating/etc; Markov chains/process/model/etc; Graphs theories Advances in computation methods Hybrid computational methods; Advanced numerical algorithms; Differential calculus; Matrix perturbation theory; Rare matrices; Fractals &amp; super-fractal algorithms; Random graph dynamics; Multi-dimensional harmonic estimation Computational logics Knowledge-based systems and automated reasoning; Logical issues in knowledge representation /non-monotonic reasoning/belief; Specification and verification of programs and systems; Applications of logic in hardware and VLSI; Natural language, concurrent computation, planning; Deduction and reasoning; Logic of computation; Dempster-Shafer theory; Fuzzy theory/computation/logic/etc Advances on computing mechanisms Clustering large and high dimensional data; Data fusion and aggregation; Biological sequence analysis; Biomecatronics mechanisms; Biologically inspired mechanisms; System theory and control mechanisms; Multi-objective evolutionary algorithms; Constraint-based algorithms; Ontology-based reasoning; Topology and structure patterns; Geometrical pattern similarity; Strong and weak symmetry; Distortion in coordination mechanisms Computing techniques Distributed computing; Parallel computing; Grid computing; Autonomic computing; Cloud computing; Development of numerical and scientific software-based systems; Pattern-based computing; Finite-element method computation; Elastic models; Optimization techniques; Simulation techniques; Stream-based computing Computational geometry Theoretical computational geometry; Applied computational geometry; Design and analysis of geometric algorithms; Design and analysis of geometric algorithms and data structures; Discrete and combinatorial geometry and topology; Data structures (Voronoi Diagrams, Delaunay triangulations, etc.); Experimental evaluation of geometric algorithms and heuristics; Numerical performance of geometric algorithms; Geometric computations in parallel and distributed environments; Geometric data structures for mesh generation; Geometric methods in computer graphics; Solid modeling; Space Partitioning; Special applications (animation of geometric algorithms, manufacturing, computer graphics and image processing, computer-aided geometry design, solid geometry) Interdisciplinary computing Computational /physics, chemistry, biology/ algorithms; Graph-based modeling and algorithms; Computational methods for /crystal, protein/ structure prediction; Computation for multi-material structure; Modeling and simulation of large deformations and strong shock waves; Computation in solid mechanics; Remote geo-sensing; Interdisciplinary computing in music and arts Cloud computing Hardware-as-a-service; Software-as-a-service [SaaS applicaitions]; Platform-as-service; On-demand computing models; Cloud Computing programming and application development; Scalability, discovery of services and data in Cloud computing infrastructures; Privacy, security, ownership and reliability issues; Performance and QoS; Dynamic resource provisioning; Power-efficiency and Cloud computing; Load balancing; Application streaming; Cloud SLAs, business models and pricing policies; Custom platforms; Large-scale compute infrastructures; Managing applications in the clouds; Data centers; Process in the clouds; Content and service distribution in Cloud computing infrastructures; Multiple applications can run on one computer (virtualization a la VMWare); Grid computing (multiple computers can be used to run one application); Cloud-computing vendor governance and regulatory compliance Grid Networks, Services and Applications GRID theory, frameworks, methodologies, architecture, ontology; GRID infrastructure and technologies; GRID middleware; GRID protocols and networking; GRID computing, utility computing, autonomic computing, metacomputing; Programmable GRID; Data GRID; Context ontology and management in GRIDs; Distributed decisions in GRID networks; GRID services and applications; Virtualization, modeling, and metadata in GRID; Resource management, scheduling, and scalability in GRID; GRID monitoring, control, and management; Traffic and load balancing in GRID; User profiles and priorities in GRID; Performance and security in GRID systems; Fault tolerance, resilience, survivability, robustness in GRID; QoS/SLA in GRID networks; GRID fora, standards, development, evolution; GRID case studies, validation te stbeds, prototypes, and lessons learned Computing in Virtualization-based environments Principles of virtualization; Virtualization platforms; Thick and thin clients; Data centers and nano-centers; Open virtualization format; Orchestration of virtualization across data centers; Dynamic federation of compute capacity; Dynamic geo-balancing; Instant workload migration; Virtualization-aware storage; Virtualization-aware networking; Virtualization embedded-software-based smart mobile phones; Trusted platforms and embedded supervisors for security; Virtualization management operations /discovery, configuration, provisioning, performance, etc.; Energy optimization and saving for green datacenters; Virtualization supporting cloud computing; Applications as pre-packaged virtual machines; Licensing and support policies Development of computing support Computing platforms; Advanced scientific computing; Support for scientific problem-solving; Support for distributed decisions; Agent-assisted workflow support; Middleware computation support; High performance computing; Problem solving environments; Computational science and education; Neuronal networks Computing applications in science Advanced computing in civil engineering; Advanced computing in physics science; Advanced computing in chemistry science; Advanced computing in mathematics; Advanced computing in operation research; Advanced computing in economics; Advanced computing in electronics and electrical science; Advanced computing on Earth science, geosciences and meteorology Complex computing in application domains Computation genomic; Management of scientific data and knowledge; Advanced computing in bioinformatics and biophysics; Advanced computing in molecular systems and biological systems; Application of engineering methods to genetics; Medical computation and graphics; Advanced computing in simulation systems; Advanced computing for statistics and optimization; Advanced computing in mechanics and quantum mechanics; Advanced computing for geosciences and meteorology; Maps and geo-images building; Curve and surface reconstruction; Financial computing and forecasting; Advanced computing in robotics and manufacturing; Advanced computing in power systems; Environmental advanced computing ================================================ Thanks for contributing! IARIA Publicity Board ---------------------------------- _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Cristina Pascual 2012-05-11T15:13:38 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36988 <pre>======================================================== 6th Int'l Workshop on Modular Ontologies (WoMO) Graz, Austria, July 24, 2012 held in conjunction with FOIS 2012 --- Final Call for Papers --- ======================================================== +++ EXTENDED SUBMISSION DEADLINE: May 18, 2012 +++ ======================================================== +++ Following requests, we have extended the submission deadline to MAY 18, 2012. +++ INVITED SPEAKERS: * Thomas Eiter, Vienna University of Technology, Austria Title TBA * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy Multi context logics: a formal support for structuring knowledge and beliefs (Tentative title) http://www.informatik.uni-bremen.de/~ts/womo2012 MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, development, maintenance and integration. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. The workshop continues a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest and current work; the most recent WoMOs were held at FOIS 2010 and ESSLLI 2011. TOPICS include, but are not limited to: - What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/foundational studies: conservativity; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; - Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; evaluation of modularization approaches; complexity of reasoning; implemented systems; - Applications: semantic web; life sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; collaborative ontology development and ontology versioning. IMPORTANT DATES Paper Submission: May 18, 2012 Notification: June 19, 2012 Camera ready: July 6, 2012 Workshop: July 24, 2012 SUBMISSION GUIDELINES: We welcome submissions on modularity in a broad sense. The workshop is open to papers of theoretical or practical nature. Submissions should be of up to 11 pages in length, formatted according to Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), prepared in PDF format and submitted no later than May 18, 2012, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2012). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will be made available in the proceedings to be published electronically in the CEUR Workshop Proceedings series (see http://www.ceur-ws.org). (Find the WoMO 2010 and 2011 proceedings here http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 and http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369) WORKSHOP CHAIRS: Thomas Schneider, University of Bremen, Germany Dirk Walther, Technical University of Madrid (UPM), Spain PROGRAM COMMITTEE: Kenneth Baclawski, Northeastern University, Boston, MA, USA Stefano Borgo, Italian National Research Council, Trento, Italy Oscar Corcho, Universidad Politecnica de Madrid, Spain Bernardo Cuenca Grau, University of Oxford, UK Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA Silvio Ghilardi, Universita degli Studi di Milano, Italy Michael Gruninger, University of Toronto, Canada Janna Hastings, EMBL-EBI, Cambridge, UK Robert Hoehndorf, University of Cambridge, UK Boris Konev, University of Liverpool, UK Roman Kontchakov, Birkbeck College, London, UK Thomas Meyer, Meraka Institute, CSIR, Pretoria, South Africa Till Mossakowski, University of Bremen, Germany Immanuel Normann, Birkbeck College, London, UK Leo Obrst, MITRE, McLean, VA, USA Adrian Paschke, Free University of Berlin, Germany David Perez del Rey, Universidad Politecnica de Madrid, Spain Uli Sattler, University of Manchester, UK Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> WoMO 2012 2012-05-10T21:53:29 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36987 <pre> ==================================================================================== 2nd International Conference on Green Communications and Networking - GreeNets 2012 24th and 26th October 2012 Gandia, Spain http://greenets.org/ ==================================================================================== HIGHLIGHTS - The event is endorsed by the European Alliance for Innovation (www.eai.eu), a leading community-based organisation devoted to the advancement of innovation in the field of ICT - All accepted papers will be published by Springer and made available through SpringerLink Digital Library, one of the world's largest scientific libraries - Proceedings will be submitted for indexing by Google Scholar, ISI, EI Compendex, Scopus and many more - Best papers will be selected to be included in one of the special issues that will be published in: Future Internet, Network Protocols and Algorithms, Recent Patent in Telecommunications CALL FOR PAPERS [Scope] Global warming and climate change ha ve been a growing worldwide concern. Six sources, i.e., transportation, power, buildings, industry, agriculture and forestry, and land use, have been identified as major contributors to the rise of global carbon dioxide (CO2). The mobile industry is seen as a potential enabler to reduce greenhouse gases contributed by these six sources provided that appropriate measures are implemented. On the other hand, the mobile industry itself will also contribute to CO2 emission through network operations, mobile equipments, etc. To meet the requirement of low-carbon economy development, it is necessary to reduce the operation expenditure or energy consumption of mobile networks, while maintaining acceptable quality of service. This conference will explore and explain the scope and challenges of desi gning, building, and deploying GreeNets. In this regard, the conference aims to establish a forum to bring together research professionals from diverse fields including green mobile network! s, system architectures, networking &amp; communication protocols, applications, test-bed and prototype, traffic balance and energy-efficient cooperation transmission, system and application issues related to GreeNets. [Topics] The conference invites original technical papers that were not previously published and are not currently under review for publication elsewhere. Topics include, but are not limited to: - Communications and Networking: Communication techniques and protocols for GreeNets Energy-efficient transmission technologies based on the cooperation communication Scalable and flexible energy efficiency mobile network architectures, deployments, and applications - Energy-efficient network architecture &amp; protocols: Scalability and mobility issues in energy efficiency cross-layer design MAC Protocols and QoS Designing for mobile networks - Systems and Technology: Transactions and workflows in green mobile networks Adaptability and stability of green mobile networks Mobile and multimedia supported green mobile networks Experimental and test bed studies for energy efficiency mobile networks, simulation tools - Energy-efficient management: Energy-efficient traffic balance, cooperation and management Distributed energy efficiency resource management techniques Protocols for cooperative management and control [Publications] Accepted papers will be published in Springer's LNICST series and will appear in the SpringerLink, one of the largest digital libraries online that covers a variety of scientific disciplines, as well as in the ICST's own EU Digital Library (EUDL). LNICST volumes are submitted for inclusion to leading indexing services, including DBLP, Google Scholar, ACM Digital Library, ISI Proceedings, EI Engineering Index, CrossRef, Scopus. [Special Issues] Best papers will be selected to be included in one of the special issues that will be published in: Future Internet (ISSN 1999-5903) Network Protocols and Algorithms (ISSN 1943-3581) Recent Patent in Telecommunications (ISSN: 2211-7407 (Print) ISSN: 2211- 7415 (Online)) [Paper submission] All the papers formatted according with the instructions have to be submitted through the conference online system at: http://greenets.org/submission.shtml [Important dates] Abstract Submission Deadline: May 15, 2012 Full Paper Deadline: May 15, 2012 Notification of Acceptance: June 11, 2012 Camera-ready: July 16, 2012 Conference dates: 24th - 26th October 2012 [Conference organising committees] General Co-Chairs: Jaime Lloret, Universidad Politecnica de Valencia, Spain Joel Rodrigues, Institute of Telecommunications, University of Beira Interior, Portugal TPC Co-Chairs: Liang Zhou, Nanjing University of Posts and Telcommunications, China Eduardo Nakamura, Federal Univ. of Amazonas, Brazil Industry Track Chair: Jose Maria Alcaraz Calero, Hewlett Packard Laboratories, Bristol, UK Workshop Chair: Javier Aguiar, University of Valladolid, Spain Special Session Chair: Jose Soler, Danmarks Tekniske Universitet, Denmark Panel Chair: A.v. Senthil Kumar, HINDUSTHAN Co llege of Arts &amp; Science, India Posters Chair: Kayhan Zrar Ghafoor, Universiti Teknologi Malaysia, Malaysia Local Co-Chairs: Diana Bri, Universidad Politecncia de Valencia, Spain Miguel Garcia, Universidad Politecncia de Valencia, Spain Publicity Chairs: Sandra Sendra, Univ. Politecnica de Valencia, Spain Min Chen, Seoul National University, Korea Web Chair: Alejandro Canovas, Universidad Politecncia de Valencia, Spain Steering Committee: Athanasios Vasilakos, National Technical University of Athens (NTUA), Greece Imrich Chlamtac, Creat-Net, Italy ABOUT EAI The European Alliance for Innovation is a dynamic eco-system for fostering ICT enabled innovation to improve European competitiveness and to benefit society. EAI uses open e-platforms to inspire grassroots collaboration among all relevant actors, from organizations to individuals, to stimulate community driven innovation to its institutional and individual members worldwide. Through EAI, organizations find ideas and talent, and individual innovato rs find organizations for their ingenuity and craft. Join the innovation community at www.eai.eu UNSUBSCRIBE If you believed you have received this email in error, or do not want to receive emails from us in the future, please send an email to unsubscribe&lt; at &gt;eai.eu. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Sandra Sendra 2012-05-10T17:16:14 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36983 <pre>We are pleased to announce availability of the first beta build of Protege 3.5: http://protege.stanford.edu/download/registered.html#p3.5 The main focus of the 3.5 series is the SWRLTab's [1] support of the Drools [2] rule engine, thus providing a completely free and open source solution for executing SWRL rules in Protege-OWL. Release notes ------------------- - Collection of minor bug fixes for the SWRLTab. - Removed the Algernon, UMLS tab, and WordNet tab plug-ins from the distribution, as they are no longer maintained. Other helpful links -------------------------- Online version of these release notes: http://protegewiki.stanford.edu/wiki/Protege_3.5_Beta_Release_Notes Release notes archive: http://protegewiki.stanford.edu/wiki/Protege_Release_Notes Protege 3 documentation: http://protegewiki.stanford.edu/wiki/Protege3UserDocs Protege on Facebook: https://www.facebook.com/pages/Protege-Project/136205016405270 Protege on Twitter: https://twitter.com/#!/protegeproject &lt;https://twitter.com/#%21/protegeproject&gt; Best Regards, The Protege Team [1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTab [2] http://www.jboss.org/drools _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Jennifer Vendetti 2012-05-09T22:58:08 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36982 <pre>Hi, I had downloaded Protégé 4.2 beta source code from the SVN repository. I could build the source code and run the Protégé 4.2 beta version. I wanted to use Ontograf plugin with this version with some modifications. Hence I downloaded the source code of the Ontograf plugin from the SVN rrepository. However while building this plugin I found that the Ontograf plugin is referring to different version of org.semanticweb.owl.owlapi plugin (3.x.x). The default plugins are in Protégé 4.2 beta are referring to version 2.x of org.semanticweb.owl.owlapi plugin. Due to this difference I am not able to build Ontograf plugin as there is difference between import statements. E.g. OWLClass is imported differently in 2.x and 3.x. 2.x -&gt; import org.semanticweb.owl.model.OWLClass; 3.x -&gt; import org.semanticweb.owlapi.model.OWLClass; Please let me know where can I get the source code of Ontograf plugin compatible with 2.x version of org.semanticweb.owl.owlapi plugin. Thanks and regards, Krishnasagar **************** CAUTION - Disclaimer ***************** This e-mail contains PRIVILEGED AND CONFIDENTIAL INFORMATION intended solely for the use of the addressee(s). If you are not the intended recipient, please notify the sender by e-mail and delete the original message. Further, you are not to copy, disclose, or distribute this e-mail or its contents to any other person and any such actions are unlawful. This e-mail may contain viruses. Infosys has taken every reasonable precaution to minimize this risk, but is not liable for any damage you may sustain as a result of any virus in this e-mail. You should carry out your own virus checks before opening the e-mail or attachment. Infosys reserves the right to monitor and review the content of all messages sent to or from this e-mail address. Messages sent to or from this e-mail address may be stored on the Infosys e-mail system. ***INFOSYS******** End of Disclaimer ********INFOSYS*** _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Krishnasagar Mohan Kulkarni 2012-05-09T10:06:34 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36981 <pre>Dear Protege users/developers, OWL reasoners typically have some limitations in the features they support. When encountering an unsupported feature (e.g., a new datatype), reasoners can still derive many entailments that are certainly correct, but they may miss some entailments that are produced by the new feature. Moreover, even if the reasoner can guarantee sound and complete reasoning, an input may violate constraints of the OWL standard (example: EL reasoners do not care about regularity of property chain axioms, but OWL EL and DL disallow them.) How should a reasoner plugin for Protege (4.1) behave in such cases? Here are some options: (1) Keep calm and carry on: produce as many results as possible (2) Panic: throw an exception (terminate, report no results) (3) Be honest: report "Unknown" (which is a valid return value of OWL reasoners according to spec) whenever you cannot be sure (4) Warning: produce whatever results you can get, but warn the user (5) Mix and match: adopt a different strategy for each concrete reasoning task and issue, possibly partially based on user configuration I don't know if/how (3) is technically possible at all. For ELK, we tried to do (4) by printing an error to Standard Error, which ends up in the command line that Protege is launched from (if any). For most users, this is like (1) since they do not see/notice the warning. This is not good, since users are likely to misinterpret the result. (2) is not good, at least not in general, since there are too many unrelated conditions that would require some small or large warning. Aborting on each little irregularity would not help users. (5) is only as good as any of the other strategies could be. In the worst case, it introduces additional confusion by making seemingly random default choices that may vary among tools and/or delegates technical design choices to the user. Cheers, Markus </pre> Markus Krötzsch 2012-05-09T09:01:26 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36977 <pre>======================================================== 6th Int'l Workshop on Modular Ontologies (WoMO) Graz, Austria, July 24, 2012 held in conjunction with FOIS 2012 --- Third Call for Papers --- ======================================================== Submission deadline: May 11, 2012 ======================================================== INVITED SPEAKERS: * Thomas Eiter, Vienna University of Technology, Austria Title TBA * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy Multi context logics: a formal support for structuring knowledge and beliefs (Tentative title) http://www.informatik.uni-bremen.de/~ts/womo2012 MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, development, maintenance and integration. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. The workshop continues a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest and current work; the most recent WoMOs were held at FOIS 2010 and ESSLLI 2011. TOPICS include, but are not limited to: - What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/foundational studies: conservativity; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; - Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; evaluation of modularization approaches; complexity of reasoning; implemented systems; - Applications: semantic web; life sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; collaborative ontology development and ontology versioning. IMPORTANT DATES Paper Submission: May 11, 2012 Notification: June 12, 2012 Camera ready: July 1, 2012 Workshop: July 24, 2012 SUBMISSION GUIDELINES: We welcome submissions on modularity in a broad sense. The workshop is open to papers of theoretical or practical nature. Submissions should be of up to 11 pages in length, formatted according to Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), prepared in PDF format and submitted no later than May 11, 2012, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2012). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will be made available in the proceedings to be published electronically in the CEUR Workshop Proceedings series (see http://www.ceur-ws.org). (Find the WoMO 2010 and 2011 proceedings here http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 and http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369) WORKSHOP CHAIRS: Thomas Schneider, University of Bremen, Germany Dirk Walther, Technical University of Madrid (UPM), Spain PROGRAM COMMITTEE: Kenneth Baclawski, Northeastern University, Boston, MA, USA Stefano Borgo, Italian National Research Council, Trento, Italy Oscar Corcho, Universidad Politecnica de Madrid, Spain Bernardo Cuenca Grau, University of Oxford, UK Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA Silvio Ghilardi, Universita degli Studi di Milano, Italy Michael Gruninger, University of Toronto, Canada Janna Hastings, EMBL-EBI, Cambridge, UK Robert Hoehndorf, University of Cambridge, UK Boris Konev, University of Liverpool, UK Roman Kontchakov, Birkbeck College, London, UK Thomas Meyer, Meraka Institute, CSIR, Pretoria, South Africa Till Mossakowski, University of Bremen, Germany Immanuel Normann, Birkbeck College, London, UK Leo Obrst, MITRE, McLean, VA, USA Adrian Paschke, Free University of Berlin, Germany David Perez del Rey, Universidad Politecnica de Madrid, Spain Uli Sattler, University of Manchester, UK Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> WoMO 2012 2012-05-07T15:06:44 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36975 <pre>============================================================== CALL FOR PAPERS OR EXTENDED ABSTRACT Epistemological Perspecitves on Simulation 2012 (EPOS V) San Antonio, Texas, USA October 10-12, 2012 trinity.edu/epos Manuscript Submission: July 1, 2012. ============================================================== Epistemological Perspecitves on Simulation 2012 EPOS V Call for papers Like its predecessors the workshop wants to provide a forum for researchers from various disciplines, such as the social sciences, economics, computer science, engineering or the natural sciences, who are interested in discussing epistemological aspects of simulation across disciplinary boundaries. Philosophers are highly welcome, too. Topics to be addressed in the workshop include, but are not restricted to issues such as the epistemology of simulation, credentials for model building, and standards for presenting and analyzing simulation results. Following the tradition of most of the previous EPOS workshops, we intend to publish a selection of the accepted papers in a special issue of a journal after a further reviewing process (subject to discussion with respective journal editors). Authors are requested to send their papers (about 5,000-8,000 words) or an extended abstract of about 1000 words in electronic format (.doc, .rtf or .pdf format) via e-mail to Dante Suarez (esuarez&lt; at &gt;trinity.edu). Authors should include all the details about surname, first name, affiliation, mailing address, country, and e-mail  inside the e-mail text (not inside the abstract). Each abstract will be reviewed by two members of the program committee at least. The committee will consider also abstracts, although full papers are preferred. For any information, please contact Dante Suarez (esuarez&lt; at &gt;trinity.edu). Important deadlines are as follows: ·         July 1, 2012: Submission of papers or extended abstracts ·         August 21, 2012: Notification of acceptance ·         September 15, 2012: Receipt of full papers ·         October 10-12, 2012: Workshop, San Antonio, Texas, USA Topics to be addressed in the workshop include, but are not restricted to, issues such as: ·         Link between theory and simulation models ·         Empirical reality and data in simulation models ·         Internal and external validation strategies and methods in computational models ·         Examples of models able to integrate computational modelling and other research methods (such as, for example, experimental, statistical, qualitative methods) ·         Standards for presenting and analyzing simulation results ·         Modelling strategies (KISS vs. KIDS) ·         Epistemological issues on theory building and computer simulation ·         Common points and differences between physical and social complex systems modelling ·         Epistemological consequences of generative method and explanation _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Yu Zhang 2012-05-06T16:53:09 http://comments.gmane.org/gmane.comp.misc.ontology.protege.owl/36973 <pre>Call for papers: The 2012 International Symposium on Privacy and Security in Cloud and Social Networks (PriSecCSN 2012), 1-3 Nov. 2012, Xiangtan, China. The website is: http://www.swinflow.org/confs/prisec2012/. Important dates: Deadline for Paper Submission: June 25, 2012 Notification of Acceptance: July 30, 2012 Camera Ready Copies: August 10, 2012 Submission site and requirements: https://www.easychair.org/conferences/?conf=prisec2012. Submit your paper(s) in PDF file. Papers should be limited up to 8 pages in IEEE CS format. The template files for LATEX or WORD can be downloaded from the symposium website. All papers will be peer reviewed by two or three pc members. Submitting a paper to the symposium means that if the paper is accepted, at least one author should register to CGC2012 and attend the conference to present the paper. Publications: All accepted papers will appear in the proceedings published by IEEE Computer Society (EI indexed). Selected papers will be invited to special issues of CGC2012 in Concurrency and Computation: Practice and Experience, Future Generation Computer Systems and International Journal of High Performance Computing Applications. Introduction: Social network analysis and cloud computing are two of the most exciting new trends in the recent developments of information technology. As the new generation computing paradigm, cloud enables computing resources to be provided as IT services in a pay-as-you-go fashion with high efficiency and effectiveness. With the popularity of social software as well as the fast development of cloud and other high-performance computing infrastructures, the outcome of social network analysis is becoming more and more attractive. However, information privacy and security issues are major challenges in both these areas. This symposium aims at providing a forum for researchers, practitioners and developers from different background areas such as distributed computing, social computing, information security and privacy protection areas to exchange the latest experience, research ideas and synergic research and development on fundamental issues and applications about security and privacy issues in cloud environments and social networks. The symposium solicits high quality research results in all related areas. Topics: The objective of this symposium is to invite authors to submit original manuscripts that demonstrate and explore current advances in all aspects of security and privacy in cloud computing environments. The symposium solicits novel papers on a broad range of topics, including but not limited to: Security and privacy in Big Data management Application of modern cryptography in cloud and social networks Emerging threats in cloud-based services Multi-tenancy related security/privacy issues Secure virtualisation mechanisms Vulnerabilities in cloud infrastructure Vulnerabilities in MapReduce Security modelling and threats in cloud computing Security/privacy in hybrid cloud Auditing in cloud computing Access control in cloud computing Secure Job deployment and scheduling Secure resource allocation and indexing User authentication in cloud services Practical privacy and integrity mechanisms for data outsourcing Foundations of cloud-centric threat models Information hiding Trust and policy management in cloud Secure identity management mechanisms Security/privacy/trust issues in SaaS/PaaS/IaaS Business and security risk models Cost and usability models related security issues in clouds Security for emerging cloud programming models Remote data integrity protection Securing distributed data storage in the cloud Data-centric security and data classification Security and privacy in mobile cloud Intrusion detection/prevention Malware propagation in social networks Information leakage via social networks Social currency mechanisms - potential and risks Privacy management in social networks - access controls, permissions Identity theft in social networks Collaborative detection of distributed network attacks Peer-to-peer based security mechanisms Trust and reputation in social networks Socially inspired network security architectures Socially aware network security protocols Security configuration based on social contexts groups (social-firewall, authentication protocols, etc.) Configuring security protocol parameters based on social information Privacy-preserving methods for data access and data mining Domain Security Privacy Requirements Engineering Private Information Retrieval Privacy and Security in Personal Health Records Online Social Footprints Secure Multi-party Computation Privacy Mechanisms in Services Pseudonymity and Anonymity Modelling Software Security Engineering Integrity Verification Trust Development in Collaboration Teams Usable Privacy Design Privacy Aware Access Control Model Multi-Faceted Privacy Preservation Access Control and RBAC Policies Submission Requirements General Chairs: Philip S. Yu, University of Illinois at Chicago, USA Bhavani Thuraisingham, The University of Texas at Dallas, USA Vijay Varadharajan, Macquarie University, Australia Program Chairs: Chang Liu, University of Technology, Sydney, Australia Rajiv Ranjan, CSIRO, Australia Jinjun Chen, University of Technology, Sydney, Australia Any enqueries, please direct to Chang Liu at changliu.it&lt; at &gt;gmail.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Chang Liu 2012-05-06T10:32:53 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.misc.ontology.protege.owl