http://www.semanlink.net/tag/mathematiques Documents tagged with Mathématiques http://www.semanlink.net/doc/2025/10/les_ia_vont_elles_remplacer_les 2025-10-28T19:06:59Z http://www.semanlink.net/doc/2025/09/changer_l%E2%80%99enseignement_des_math 2025-09-04T08:26:35Z http://www.semanlink.net/doc/2025/08/the_hidden_drivers_of_hrm_s_per > The HRM model architecture itself (the centerpiece of the paper) is not an important factor. 2025-08-16T14:39:18Z http://www.semanlink.net/doc/2025/08/2506_21734_hierarchical_reaso > Inspired by the hierarchical and multi-timescale processing in the human brain... 2025-08-16T14:35:57Z http://www.semanlink.net/doc/2025/08/comment_un_%C2%AB_petit_mathematicie 2025-08-12T16:12:09Z http://www.semanlink.net/doc/2025/06/2505_12514_reasoning_by_super 2025-06-20T02:50:45Z http://www.semanlink.net/doc/2025/06/michael_i_jordan_lecture_at_th The Current Dialog on LLMs is Missing Something Fundamental • A lack of focus on collectives • A lack of focus on uncertainty • A lack of focus on incentives What's missing is microeconomics. **Microeconomics generates a complementary kind of intelligence to that of prediction and optimization** Difficulty to cope with **uncertainty**. LLMs do not really know what "knowing" means. "ChatGPT are you sure about what you just wrote?". Overconfidence. Uncertainty: statistics, but also: what is it I know and you don't know, etc "Collectives" (made of humans and/or AIs) may help. Collectives provide context for decision-making under uncertainty Situation : Information flows between entities in a collective. Need to take into account asymetries of information (a special form of uncertainty != statical one, critical in economics, eg. when setting a price). We want to connect people and machines and things that give value to people and entities (not just connecting as Facebook does). More complex than just connecting entities and make predictions -> economics - what motivates people to connect? - and what prevents them from lying? (answer: nothing. I think there is some lie on FB.) An LLM cannot know everything about my current situation (so cannot provide a good answer to me). I am ready to interact, but I don't want to be in the current advertising model based on stats of my browsing history (I cannot trust such a model! It wants to sell to me. It doesn't work for me) I want more of an economics model, and I want to do that in the context of markets. 2025-06-05T13:50:19Z http://www.semanlink.net/doc/2025/05/jo_kristian_bergum_sur_x_bm2 2025-05-30T14:02:45Z http://www.semanlink.net/doc/2025/05/lightonai_reason_moderncolbert_ 2025-05-29T13:43:00Z http://www.semanlink.net/doc/2025/05/antoine_chaffin_sur_x_reason > @helloiamleonie wrote a notebook to show how to use the **Reason-ModernColBERT** model we released yesterday in Weaviate, have a taste of the future!" 2025-05-29T13:33:31Z http://www.semanlink.net/doc/2025/03/2501_19393_s1_simple_test_ti "Researchers created an open rival to OpenAI’s o1 ‘reasoning’ model for under $50" [techcrunch.com](https://techcrunch.com/2025/02/05/researchers-created-an-open-rival-to-openais-o1-reasoning-model-for-under-50/) 2025-03-03T09:04:57Z http://www.semanlink.net/doc/2025/02/diffuse_one_reasoning_reflectio 2025-02-24T14:08:53Z http://www.semanlink.net/doc/2025/02/cameron_r_wolfe_ph_d_sur_x_ > To me, these are pivotal questions to answer for current research on open reasoning models: > - Do the smaller / distilled models generalize well? > - Are we missing any gaps in performance? > - How do these findings relate to findings from traditional LLM research? 2025-02-24T13:55:04Z http://www.semanlink.net/doc/2025/02/openai_o1_hub_%7C_openai > a new series of AI models designed to spend more time thinking before they respond 2025-02-24T13:45:41Z http://www.semanlink.net/doc/2025/02/deepseek_r1_model_by_deepseek_a > DeepSeek-R1 is a first-generation **reasoning model trained using large-scale reinforcement learning** (RL) to solve complex reasoning tasks across domains such as math, code, and language. The model leverages RL to develop reasoning capabilities, which are further enhanced through supervised fine-tuning (SFT) to improve readability and coherence. 2025-02-24T13:34:19Z http://www.semanlink.net/doc/2025/02/diffuse_one > There is an emerging pattern of fine-tuning a small language model followed by reinforcement learning. > A reasoning model is a large language model that is trained to output both a chain of thought and a response. The chain of thought should be relatively long ( > 1,000 tokens) and the reasoning should improve its performance relative to a similar-sized non-reasoning models. This is sometimes called "test-time" or "inference-time" scaling because reasoning models emit more tokens per completion and gain some performance as a result. 2025-02-24T13:21:09Z http://www.semanlink.net/doc/2025/02/nash_equilibrium_wikipedia > a situation where no player could gain by changing their own strategy (holding all other players' strategies fixed) 2025-02-07T01:31:18Z http://www.semanlink.net/doc/2025/01/math_cafe_sur_x_mit_s_mathe 2025-01-13T19:00:31Z http://www.semanlink.net/doc/2023/09/stephane_d_ascoli_sur_x_thin > The "Boolformer" takes as input a set of N (x,y) pairs in {0,1}^D x {0,1}, and **tries to predict a Boolean formula which approximates these observations**. 2023-09-26T23:02:51Z http://www.semanlink.net/doc/2023/05/tadashi_tokieda_inclassable_pr > il fait ainsi tourner des billes dans un bol à soupe. Lorsqu’il en met trois, elles tournent dans le sens du mouvement ; lorsqu’il en met huit, elles empruntent le sens inverse. (cf #[Changement de phase](tag:phase_transition), gaz -> liquide) 2023-05-14T12:40:19Z http://www.semanlink.net/doc/2023/02/2203_14465_star_bootstrappin "Self-Taught Reasoner" (STaR) > (to our knowledge) the first technique to allow a pre-trained large language model to iteratively use its language modeling capacity to improve itself > Generating step-by-step "chain-of-thought" rationales improves language model performance on complex reasoning tasks like mathematics or commonsense question-answering. However, inducing language model rationale generation currently requires either constructing massive rationale datasets or sacrificing accuracy by using only few-shot inference. We propose **a technique to iteratively leverage a small number of rationale examples and a large dataset without rationales**, to bootstrap the ability to perform successively more complex reasoning. 2023-02-07T16:40:38Z http://www.semanlink.net/doc/2022/10/joseph_fourier_transforme_toujo 2022-10-03T10:22:52Z http://www.semanlink.net/doc/2022/06/unveiling_transformers_with_leg > To me, what's good about transformers is that they have relative filters. I mean **a standard NN tests an input against a fixed filter w, but here we test part of x against another part of x**. (#[Self-Attention](tag:self_attention)) > > This potentially allows for reasonning to emerge: the network can associate concepts that it encounters, compare them, make analogies > LEGO: Learning Equality and Group Operations. It's a very **basic reasoning task**, where a sentence is made of clauses defining variables as a function of some other variable, and the goal is to **resolve the value of the variables**. 2022-06-30T14:21:53Z http://www.semanlink.net/doc/2021/06/1410_5859_towards_a_model_the > **We would like to have systems that are largely learnt, which we can also teach** > We believe that an essential step in bringing logic and distributed representations closer is to create a model theory based on embeddings. > despite our best attempts, terms and axioms in knowledge based systems end up having many of the characteristics of natural language -- LOL 2021-06-10T16:30:07Z http://www.semanlink.net/doc/2020/10/ai_has_cracked_a_key_mathematic [paper](https://arxiv.org/abs/2010.08895) 2020-10-31T12:32:37Z http://www.semanlink.net/doc/2020/10/chris_mungall_sur_twitter_re 2020-10-07T08:36:28Z http://www.semanlink.net/doc/2020/10/2010_00402_from_trees_to_cont > The key idea of our method, HypHC, is showing a direct correspondence from discrete trees to continuous representations (via the hyperbolic embeddings of their leaf nodes) and back (via a decoding algorithm that maps leaf embeddings to a dendrogram), **allowing us to search the space of discrete binary trees with continuous optimization**. Cites [Dasgupta: A cost function for similarity-based hierarchical clustering](https://arxiv.org/abs/1510.05043) 2020-10-03T14:46:20Z http://www.semanlink.net/doc/2020/02/_2002_05867v1_transformers_as_ > AI has long pursued the goal of having systems reason over *explicitly provided* knowledge, but building suitable representations has proved challenging. Here we explore whether transformers can similarly learn to reason (or emulate reasoning), but **using rules expressed in language, thus bypassing a formal representation**. 2020-02-17T09:06:44Z http://www.semanlink.net/doc/2019/12/_1912_01412_deep_learning_for_ 2019-12-09T17:11:42Z http://www.semanlink.net/doc/2019/11/neutrinos_lead_to_unexpected_di Neutrinos, Fields medalist Tao, and a formula to compute eigenvectors from eigenvalues - "too good to be true", but true 2019-11-14T19:21:26Z http://www.semanlink.net/doc/2019/10/_1910_03524_beyond_vector_spac > In this paper, we aim to eliminate the inductive bias imposed by the embedding space geometry. Namely, we propose to map data into more general non-vector metric spaces: a weighted graph with a shortest path distance. By design, such graphs can model arbitrary geometry with a proper configuration of edges and weights. Our main contribution is PRODIGE (Probabilistic Differentiable Graph Embeddings): a method that learns a weighted graph representation of data end-to-end by gradient descent. [Github](https://github.com/stanis-morozov/prodige) 2019-10-09T23:21:08Z http://www.semanlink.net/doc/2019/08/knowledge_graph_reasoning_papers 2019-08-09T16:59:43Z http://www.semanlink.net/doc/2019/05/_1905_12149_satnet_bridging_d 2019-05-31T10:38:41Z https://news.cnrs.fr/articles/bourbaki-and-the-foundations-of-modern-mathematics 2019-03-14T22:47:32Z https://en.wikipedia.org/wiki/Monstrous_moonshine 2018-10-19T14:48:15Z https://hazyresearch.github.io/hyperE/ hyperbolic entity embeddings for 100 Wikidata relationships 2018-07-27T12:18:28Z https://www.quantamagazine.org/the-octonion-math-that-could-underpin-physics-20180720 New findings are fueling an old suspicion that fundamental particles and forces spring from strange eight-part numbers called “octonions.” 2018-07-20T23:25:59Z https://nbviewer.jupyter.org/github/RaRe-Technologies/gensim/blob/develop/docs/notebooks/Poincare%20Tutorial.ipynb 2018-05-20T09:06:58Z https://rare-technologies.com/implementing-poincare-embeddings/ 2018-05-20T09:01:07Z https://www.wired.com/story/emmanuel-macron-talks-to-wired-about-frances-ai-strategy/ 2018-03-31T19:49:02Z http://www.lemonde.fr/pixels/article/2018/03/28/intelligence-artificielle-ce-qu-il-faut-retenir-du-rapport-de-cedric-villani_5277697_4408996.html 2018-03-29T00:37:46Z https://www.aiforhumanity.fr/ 2018-03-28T23:57:41Z http://sommet-ia.evenement.bercy.gouv.fr 2018-03-28T22:02:15Z https://arxiv.org/abs/1705.08039 > While complex symbolic datasets often exhibit a latent hierarchical structure, state-of-the-art methods typically learn embeddings in Euclidean vector spaces, which do not account for this property. For this purpose, we introduce a new approach for learning hierarchical representations of symbolic data by embedding them into hyperbolic space 2017-12-16T14:41:31Z http://projectwordsworth.com/the-paradox-of-the-proof/?_ga=1.18937784.1815790288.1389170208 2017-12-12T21:46:59Z https://www.quantamagazine.org/20170404-quantum-physicists-attack-the-riemann-hypothesis/ 2017-04-20T20:13:08Z https://www.youtube.com/watch?v=sD0NjbwqlYw&feature=youtu.be 2016-12-27T16:51:47Z http://www.wired.com/2016/06/compression-keeps-24-tons-stone-collapsing/#slide-1 2016-06-09T22:47:53Z http://arxiv.org/abs/1601.07752 2016-05-28T09:14:36Z https://news.cnrs.fr/articles/ramanujan-the-man-who-knew-infinity?utm_content=buffer4160a&utm_medium=social&utm_source=twitter.com&utm_campaign=buffer 2016-04-10T18:41:21Z http://www.wired.com/2016/04/mathematician-solves-centuries-old-sphere-problem-higher-dimensions/ 2016-04-03T13:46:32Z http://arxiv.org/abs/1511.08154 2016-01-12T23:36:39Z https://static1.squarespace.com/static/54bf3241e4b0f0d81bf7ff36/t/55e9494fe4b011aed10e48e5/1441352015658/probability_cheatsheet.pdf 2016-01-05T15:16:51Z http://www.aims.ac.za/ 2015-04-26T13:26:08Z http://news.dice.com/2012/05/16/r-octave-python-suits-your-analysis-needs/ R’s strength is in statistical analysis. Octave is good for developing Machine Learning algorithms for numeric problems. Python is a general programming language strong in algorithm building for both number and text mining. 2015-01-28T01:22:55Z http://sweet.jpl.nasa.gov/ 2014-10-26T12:48:05Z http://beta.slashdot.org/story/200313 2014-04-05T23:55:46Z http://en.wikibooks.org/wiki/Octave_Programming_Tutorial/Getting_started 2013-12-30T11:07:39Z http://www.gnu.org/software/octave/doc/interpreter/index.html 2013-12-28T17:00:18Z http://parachutes.tv/pages/beauty.html 2013-12-14T19:07:27Z http://mathwithbaddrawings.com/2013/12/02/headlines-from-a-mathematically-literate-world/ 2013-12-03T13:43:44Z http://answers.semanticweb.com/questions/1087/generating-documentation-from-rdfs-andor-owl-vocabularies 2013-08-28T13:38:13Z https://github.com/zazi/rdf2rdfaizer RDF2RDFa-izer is currently a deadly simple web frontend of the RDFa Serializer plugin (written by Keith Alexander) for ARC, a Semantic Web Framework written in PHP. 2013-08-27T16:50:23Z http://arxiv.org/abs/1002.2284v2 Hmm wow 2013-05-11T11:18:22Z http://en.wikipedia.org/wiki/Hausdorff_distance 2013-04-23T17:03:16Z http://ontorule-project.eu/parrot/parrot 2013-03-12T10:19:50Z http://www.mkbergman.com/944/skos-now-interoperates-with-owl-2/ 2013-02-07T08:51:14Z http://www.essepuntato.it/lode 2012-11-23T15:02:05Z http://econoclaste.org.free.fr/dotclear/index.php/?2010/10/16/1748-benoit-mandelbrot-et-l-histoire-de-la-finance 2012-11-01T16:24:02Z http://en.wikipedia.org/wiki/Two_envelopes_problem 2012-09-21T21:15:09Z https://github.com/ldodds/dowl A simple command-line tool for generating HTML documentation from RDFS/OWL schemas 2012-09-02T10:31:57Z http://www.lemonde.fr/sciences/article/2012/05/20/la-difficile-ascension-vers-la-resolution-d-un-probleme-mathematique_1704410_1650684.html 2012-05-20T23:00:56Z http://idle.slashdot.org/story/12/04/25/1519208/travelling-salesman-thriller-set-in-a-world-where-pnp?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed%3A+slashdot%2FeqWf+%28Slashdot%3A+Slashdot%29 2012-04-27T23:32:07Z http://www.gnu.org/software/octave/ GNU Octave is a high-level interpreted language, primarily intended for numerical computations. 2012-04-24T13:00:53Z http://mathenjeans.free.fr/amej/edition/actes/actespdf/94231238.pdf 2012-03-20T23:49:03Z http://msc2010.org/mscwork/ The Mathematics Subject Classification (MSC) is being converted into a SKOS form incorporating much other related material. 2012-02-23T21:55:24Z http://en.wikipedia.org/wiki/Fitch%27s_paradox_of_knowability 2012-02-03T10:23:31Z http://americanradioworks.publicradio.org/features/tomorrows-college/lectures/ 2012-01-06T21:37:04Z http://www.npr.org/2012/01/01/144550920/physicists-seek-to-lose-the-lecture-as-teaching-tool?sc=fb&cc=fp Lecturing has never been an effective teaching technique and now that information is everywhere, some say it's a waste of time. Indeed, physicists have the data to prove it. 2012-01-06T21:35:25Z http://ceur-ws.org/Vol-748/paper4.pdf 2011-10-25T15:00:27Z http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-748/paper4.pdf 2011-08-20T13:31:15Z http://code.google.com/p/ontology-browser/ 2011-07-19T01:59:54Z http://www.amberdown.net/2009/10/owl2-for-rdf-vocabs/ 2011-07-17T18:56:22Z http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-216/submission_12.pdf 2011-07-05T19:14:56Z http://vocab.deri.ie/csp 2011-06-29T11:17:13Z http://protegewiki.stanford.edu/wiki/OWLViz installé dans: /usr/local/graphviz-2.14/ !!! 2011-06-08T16:45:58Z http://www.mkbergman.com/466/thinking-inside-the-box-with-description-logics/ 2011-01-05T16:56:00Z http://sourceforge.net/projects/eulergui/ A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation. 2011-01-04T22:32:56Z http://composing-the-semantic-web.blogspot.com/2010/04/where-owl-fails.html 2010-12-17T00:49:10Z http://www.slideshare.net/candp/sem-tech-pelletdb 2010-12-16T15:44:19Z http://www.w3.org/2001/sw/SW-FAQ#rulesandonts 2010-10-17T12:28:52Z http://www.comlab.ox.ac.uk/ian.horrocks/Publications/download/2007/MoHS07a.pdf 2010-09-06T22:05:50Z http://www.semanticoverflow.com/questions/1476/expressing-constraints-using-rdf-owl-or-something-else 2010-09-06T21:57:43Z http://www.uni-koblenz.de/confsec/tutorials/2010/MDD_MDA_MDE_OWL.html 2010-09-06T21:16:13Z http://dallemang.typepad.com/my_weblog/2010/08/extending-owl-rl-.html 2010-08-27T13:16:36Z http://ivan-herman.name/2008/12/03/bridge-between-sw-communities-owl-rl/ 2010-08-27T13:15:21Z http://images.math.cnrs.fr/ 2010-07-20T15:39:06Z http://www.w3.org/Submission/2010/04/ 2010-07-20T00:11:53Z http://www2003.org/cdrom/papers/refereed/p050/p50-horrocks.html The Semantic Web is vitally dependent on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a common view (or thesis) of representation, otherwise it will not be possible to reconcile documents written in different languages. The thesis of representation underlying RDF and RDFS is particularly troublesome in this regard, as it has several unusual aspects, both semantic and syntactic. A more-standard thesis of representation would result in the ability to reuse existing results and tools in the Semantic Web. 2010-07-19T12:11:42Z http://www.cpdomina.net/papers/mscthesis09_final.pdf The objective of this thesis is to study mechanisms to perform probabilistic reasoning in the Semantic Web. For this purpose, we use Markov logic, a novel representation formalism that combines first-order logic with probabilistic graphical models. 2010-07-19T11:33:57Z http://code.google.com/p/skoseditor/ 2010-05-07T11:52:08Z http://www.maa.org/devlin/LockhartsLament.pdf I don’t see how it’s doing society any good to have its members walking around with vague memories of algebraic formulas and geometric diagrams, and clear memories of hating them. It might do some good, though, to show them something beautiful and give them an opportunity to enjoy being creative, flexible, open-minded<br/> You don’t need to make math interesting— it’s already more interesting than we can handle! And the glory of it is its complete irrelevance to our lives. <br/> Mathematics is the music of reason.<br/> We learn things because they interest us now, not because they might be useful later.<br/> How many students taking literature classes will one day be writers? That is not why we teach literature, nor why students take it. We teach to enlighten everyone, not to train only the future professionals. In any case, the most valuable skill for a scientist or engineer is being able to think creatively and independently. The last thing anyone needs is to be trained. 2009-06-22T13:37:43Z http://www-irem.univ-paris13.fr/spip/ 2009-06-01T14:12:25Z http://www.snee.com/bobdc.blog/2009/05/semantic-web-for-the-working-o.html 2009-05-28T23:35:47Z http://www.palais-decouverte.fr/index.php?id=858 2009-05-03T13:20:19Z http://www.mathkang.org/default.html 2009-01-22T01:09:37Z http://arxiv.org/abs/0811.3701 > In this paper we explore a family of congruences over N* from which a sequence of symmetric matrices related to the Mertens function is built. From the results of numerical experiments we formulate a conjecture, about the growth of the quadratic norm of these matrices, which implies the Riemann hypothesis. This suggests that matrix analysis methods may play a more important role in this classical and difficult problem. 2009-01-20T21:56:47Z http://ourworld.compuserve.com/homepages/rajm/openesef.htm 2009-01-06T22:44:18Z http://www.openlinksw.com/weblog/oerling/?id=1498 2008-12-17T16:48:50Z http://www.w3.org/blog/SW/2008/12/03/eleven_w3c_publications_related_to_owl_2 2008-12-08T11:50:03Z http://www.silicon.com/silicon/management/itpro/0,39024675,39345605,00.htm Ray Kurzweil, inventor and futurist on the Turing Test, human vs machine intelligence, why being funny is clever, and the dangers of advanced technologies... 2008-11-21T23:43:55Z http://books.google.com/books?id=Ru5LT3RIeoUC&pg=PA165&dq=%22jean-paul+cardinal%22&lr=&ei=DC_pSM2aIYmUzAS1gvTlDg&hl=fr&sig=ACfU3U3Y3-UViYESab_eG0X6o4h704SGGg#PPA165,M1 2008-10-05T23:21:05Z http://fr.wikipedia.org/wiki/1729_(nombre)#Nombre_de_Hardy-Ramanujan 2008-10-02T10:40:41Z http://www.networkworld.com/community/node/33361 2008-10-01T23:09:10Z http://arxiv.org/abs/0807.4145 > we explore a class of equivalence relations over N* from which is constructed a sequence of symetric matrices related to the Mertens function. From numerical experimentations we suggest a conjecture, about the growth of the quadratic norm of these matrices, which implies the Riemann hypothesis. This suggests that matrix analysis methods may play a more important part in this classical and difficult problem. 2008-08-17T12:29:55Z http://www.devx.com/semantic/Article/38700 Using the W3C OWL ontology standard lets you get more out of all kinds of data. Find out how this standard and some free software lets you query two databases as if they were one.<br/> The primary goal of this article is to put together a demonstration of how you can use OWL to integrate two relational databases, and then perform queries against the aggregate collection to answer realistic questions that you could not answer without the addition of an OWL ontology. 2008-08-01T12:33:41Z http://www.alphaworks.ibm.com/tech/sher Scalable Highly Expressive Reasoner (SHER) is a breakthrough technology that provides ontology analytics over highly expressive ontologies (OWL-DL without nominals). SHER does not do any inferencing on load; hence it deals better with quickly changing data (the downside is, of course, that reasoning is performed at query time). The tool can reason on approximately seven million triples in seconds, and it scales to data sets with 60 million triples, responding to queries in minutes. It has been used to semantically index 300 million triples from medical literature. SHER tolerates logical inconsistencies in the data, and it can quickly point you to these inconsistencies in the data and help you clean up inconsistencies before issuing semantic queries. The tool explains (or justifies) why a particular result set is an answer to the query; this explanation is useful for validation by domain experts. 2008-07-19T18:14:06Z http://www.w3.org/TR/2008/NOTE-hcls-senselab-20080604/ 2008-06-12T08:35:10Z http://web.comlab.ox.ac.uk/oucl/work/boris.motik/publications/mgs08-structured-objects.pdf Very good presentation at WWW 2008. Nominated for the best paper award<br/> Abstract: Applications of semantic technologies often require the representation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Although OWL is a general and powerful language, its class descriptions and axioms cannot be used to describe arbitrarily connected structures. An OWL representation of structured objects can thus be underconstrained, which reduces the inferences that can be drawn and causes performance problems in reasoning. To address these problems, we extend OWL with description graphs, which allow for the description of structured objects in a simple and precise way. To represent conditional aspects of the domain, we also allow for SWRL-like rules over description graphs. Based on an observation about the nature of structured objects, we ensure decidability of our formalism. We also present a hypertableau-based decision procedure, which we implemented in the HermiT reasoner. To evaluate its performance, we have extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN. 2008-04-23T11:14:12Z http://clarkparsia.com/weblog/2008/04/10/grddl-in-owlsight/ 2008-04-11T15:52:54Z http://www.mycarevent.com/Deliverables/DL3.4_Terminology_Method_GIIRM_FL_v01.00.pdf 2008-01-20T11:15:32Z http://code.google.com/p/owl1-1/wiki/UserRequirements Home page de la task force animée par Christine Golbreich 2008-01-08T21:38:23Z http://www.idealliance.org/papers/extreme/proceedings/html/2007/Bryan01/EML2007Bryan01.html 2007-10-05T21:16:17Z http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-173/pos_paper5.pdf 2007-09-27T21:26:35Z http://www.w3.org/Submission/2006/SUBM-owl11-overview-20061219/ 2007-09-19T01:07:56Z http://www.w3.org/Submission/2006/10/ 2007-09-19T01:04:46Z http://www.w3.org/TR/owl-guide/ 2007-09-19T01:01:28Z http://www.snee.com/bobdc.blog/2007/08/some_great_w3c_explanations_of.html 2007-08-06T18:37:01Z http://www.co-ode.org/ The CO-ODE project aims to build authoring tools and infrastructure that make ontology engineering easier. We specifically support the development and use of OWL-DL ontologies, by being heavily involved in the creation of infrastructure and plugins for the Protégé platform and more recently, OWL1.1 support for the OWL API. 2007-07-26T12:36:40Z http://www.w3.org/2004/02/skos/extensions.rdf An RDF vocabulary containing extensions to SKOS Core useful for specialised applications. 2007-07-18T23:28:18Z http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-258/paper04.pdf Mon papier à OWLED 2007 2007-07-13T18:47:11Z http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-258/ 2007-07-13T18:44:04Z http://www.inf.unibz.it/~franconi/dl/course/ 2007-07-09T23:20:49Z http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdf 2007-07-09T23:18:59Z http://www.math.union.edu/~dpvc/jsMath/welcome.html A Method of Including Mathematics in Web Pages 2007-07-09T22:32:45Z http://code.google.com/p/owl1-1/wiki/P2NotesOwled2007 2007-06-29T20:09:50Z http://code.google.com/p/owl1-1/wiki/S1NotesOwled2007 2007-06-29T20:07:55Z http://code.google.com/p/owl1-1/ 2007-06-27T21:44:27Z http://wiki.leibnizcenter.org/index.php/OWLED_2007 2007-06-23T15:17:56Z http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_18.pdf Rob Shearer The University of Manchester<br/> (nice demo of an ajax script at OWLED 2007)<br/> Abstract. This paper presents a simple data model for the representation of OWL ontologies (including the new features of OWL 1.1). The model is built from basic structures native to all common programming environments, so it can be used directly as an API for ontology analysis and manipulation. Furthermore, serialization of these structures using the widely-supported YAML standard yields a readable text format suitable for ontology authoring by average users with text editors and code-management tools. 2007-06-07T16:08:28Z http://owled2007.iut-velizy.uvsq.fr/FinalProgramme.html 2007-06-04T14:06:00Z http://www.easychair.org/OWLED2007/ 2007-05-05T10:19:24Z http://owl-workshop.man.ac.uk/acceptedPosition/submission_31.pdf From AGROVOC to the Agricultural Ontology Service / Concept Server 2007-04-02T22:12:19Z http://owled2007.iut-velizy.uvsq.fr/ 2007-03-04T17:07:23Z http://www.websemanticsjournal.org/ps/pub/2005-15 We prove that entailment for RDFS (RDF Schema) is decidable, NP-complete, and in P if the target graph does not contain blank nodes.We show that the standard set of entailment rules for RDFS is incomplete and that this can be corrected by allowing blank nodes in predicate position. We define semantic extensions of RDFS that involve datatypes and a subset of the OWL vocabulary that includes the property-related vocabulary (e.g. Functional- Property), the comparisons (e.g. sameAs and differentFrom) and the value restrictions (e.g. allValuesFrom). These semantic extensions are in line with the 'if-semantics' of RDFS and weaker than the 'iff-semantics' of D-entailment and OWL (DL or Full). For these semantic extensions we present entailment rules, prove completeness results, prove that consistency is in P and that, just as for RDFS, entailment is NP-complete, and in P if the target graph does not contain blank nodes. There are no restrictions on use to obtain decidability: classes can be used as instances. 2007-02-06T23:27:39Z http://www.txtnet.com/mathlib/home.asp 2007-01-03 http://protege.cim3.net/cgi-bin/wiki.pl?ModelingTipsAndTricks 2006-12-23 http://www.cs.man.ac.uk/~bmotik/publications/papers/mhs06constraints-report.pdf In this paper, we compare description logics with relational databases with respect to their treatment of schema constraints, the languages used to express these constraints, and the approaches to query answering and constraint checking. Our analysis reveals a significant overlap between the two formalisms. Inspired by the integrity constraints of relational databases, we define a notion of integrity constraints for description logics. We analyze different possibilities for defining the semantics of the constraints. Finally, we present several algorithms for checking constraint satisfaction for description logics with varying degrees of expressivity. 2006-12-16 http://www.cs.man.ac.uk/~bmotik/publications/papers/motik05metamodeling.pdf Abstract: A common practice in conceptual modeling is to separate the intensional from the extensional model. Although very intuitive, this approach is inadequate for many complex domains, where the borderline between the two models is not clear-cut. Therefore, OWL-Full, the most expressive of the Semantic Web ontology languages, allows combining the intensional and the extensional model by a feature we refer to as metamodeling. In this paper, we show that the semantics of metamodeling adopted in OWL-Full leads to undecidability of basic inference problems, due to free mixing of logical and metalogical symbols. Based on this result, we propose two alternative semantics for metamodeling: the contextual and the HiLog semantics. We show that SHOIQ— a description logic underlying OWL-DL— extended with metamodeling under either semantics is decidable. Finally, we show how the latter semantics can be used in practice to axiomatize the logical interaction between concepts and metaconcepts. <br/><br/> Eagle is a type of RedListSpecies. Thus, RedListSpecies acts as a metaconcept for Eagle <br/> The examples such as the one given above are often dismissed with an argument that “eagle as a species” and “eagle as a set of all individual eagles” are not the one and the same thing, and should not be referred to using the same symbol...we simply observe that the word “eagle” in most people’s minds invokes a notion of a “mighty bird of prey.” The interpretation of this notion as a concept or as an individual is secondary and is often context-dependent, so using different symbols for the same intuitive notion makes the model unnecessarily complex. 2006-12-01 http://www.pr-owl.org/ 2006-11-07 http://u2.gmu.edu:8080/dspace/bitstream/1920/454/1/URSW05_PR-OWL.pdf 2006-09-07 http://www.lemonde.fr/web/recherche_breve/1,13-0,37-955744,0.html 2006-08-29 http://www.newyorker.com/fact/content/articles/060828fa_fact2 "It [the Fields Medal] was completely irrelevant for me” Perelman said. “Everybody understood that if the proof is correct then no other recognition is needed.” 2006-08-28 http://ebiquity.umbc.edu/papers/select/search/html/613a353a7b693a303b643a303b693a313b643a303b693a323b733a303a22223b693a333b733a31313a22756e6365727461696e7479223b693a343b643a303b7d/ 2006-05-01 http://www.alphaworks.ibm.com/tech/wom?open&S_TACT=105AGX59&S_CMP=GR IBM Web Ontology Manager is a lightweight, Web-based tool for managing ontologies expressed in Web Ontology Language (OWL). With this technology, users can browse, search, and submit ontologies to an ontology repository. This technology includes a Web interface for easy uploading of ontologies in an .owl format by any user of the system. It also includes an interface for generating (using Jastor) Java™ APIs from uploaded ontology files. <br/> IBM Web Ontology Manager differs from IBM Ontology Management System (a former alphaWorks technology, now merged into the IBM Integrated Ontology Development Toolkit) in that it does not include a statement repository. Instead, based on the ontologies visible to the system, it can generate Java classes for accessing any Jena-compatible RDF statement repository. 2006-04-29 http://newsvote.bbc.co.uk/mpapps/pagetools/print/news.bbc.co.uk/1/hi/sci/tech/4836752.stm 2006-03-24 http://www.ihes.fr/~lafforgue/dem/courriel.html 2005-11-25 http://community.ofset.org/wiki/Main_Page OFSET is a community of volunteers willing to develop and to enhance free software for education. 2005-10-11 http://www.altova.com/products_semanticworks.html RDF/OWL editor from the creators of XMLSpy 2005-10-06 http://danbri.org/words/2005/08/06/121 2005-08-18 http://dannyayers.com/archives/2005/07/04/skin-deep/ 2005-07-06 http://ebiquity.umbc.edu/project/html/id/59/ 2005-07-04 http://jastor.sourceforge.net Jastor generates Java interfaces, implementations, factories, and listeners based on the properties and class hierarchies in the Web Ontologies. 2005-06-24 http://ebiquity.umbc.edu/paper/html/id/235/ 2005-06-15 http://www.agora21.org/unesco/7savoirs/ 2005-05-27