2008

  • Why Reasoning Matters: Motivations ·  Friday, December 19th, 2008

    The perceived utility of automated reasoning for a wide range of applications matters to us greatly, which makes sense, given that our biz proposition is “semantic infrastructure OEM”…

  • Our Approach to Modeling, Fidelity, and KR ·  Friday, December 19th, 2008

    For some people, the point of the Semantic Web is distributed, web-friendly knowledge management and knowledge representation

  • APQC in Houston ·  Friday, December 12th, 2008

    I don’t have slides for my time at the APQC in Houston, I was not slated to present, so no cool slide widget with my presentation in this post. I was merely there to observe and learn, and maybe answer some questions about POPS…

  • Is OWL useful for the Oil & Gas Industry? ·  Wednesday, December 10th, 2008

    The slides from a talk I gave for W3C’s Semantic Web in Oil & Gas Workshop in Houston on Tuesday…

  • Automated Policy Analysis: HIPAA, XACML, and OWL ·  Wednesday, December 10th, 2008

    Yesterday I gave a presentation at the XML in Practice conference about automated policy analysis using OWL…

  • Pellet 2.0 RC1 Release Announcement ·  Monday, October 27th, 2008

    As we announced earlier today on the Pellet mailing list, Pellet 2.0 RC1 is now available for download

  • XACML Policy Management (XPM): An Overture ·  Thursday, October 16th, 2008

    I hereby return from my long blogging hiatus! Instead of finishing my old SWRL series, I'm going to start a brand, spanking new series on policy management…

  • A Week in Den Haag ·  Monday, September 29th, 2008

    I was in the Netherlands for a week on business: a few days at a NATO “semantic interoperability” workshop and then a day meeting with some of our new Dutch research partners—more about that (and them) in the near future…

  • Pellint 0.2 Release ·  Tuesday, August 19th, 2008

    Pellint is an ontology lint tool that is primarily designed to detect modeling patterns that will slow down reasoning performance…

  • Integrity Constraints in Pellet ·  Monday, July 28th, 2008

    As people discover from time to time, OWL isn’t really a schema language; because of its semantics (open world assumption, etc), instance data that looks different from schema data doesn’t lead to the reasoner declaring a constraint violation. Rather, it may lead to the inference of new knowledge…

  • Pronto 0.2 Release ·  Wednesday, July 16th, 2008

    We’re happy to announce the release of Pronto 0.2—our Pellet-based probabilistic reasoner for OWL DL ontologies…

  • Managing XACML Policies: A DL Perspective ·  Monday, July 14th, 2008

    Recently, we have been working on a XACML-DL, an approach originally developed by Vlad Kolovski et al. based on his PhD. I’ve spent some time developing an API for the XACML-DL services, i.e. policy verification, policy subsumption, and policy redundancy with the primary aim of improving usability…

  • Pellint: An Ontology Repair Tool ·  Wednesday, July 2nd, 2008

    Pellet performance isn’t bad, it’s unpredictable. And that’s a problem. Pellint, our new ontology repair tool, is a solution to that problem…

  • Why Reasoning Matters: Explanations ·  Monday, June 23rd, 2008

    Previously I talked about the most fundamental reasoning service, consistency checking. It’s the most fundamental because every other reasoning service,

  • Why Reasoning Matters: It's Not What You Know... ·  Wednesday, June 18th, 2008

    Right. It’s not what you know, it’s what you don’t know. Or, better: it’s not what you said, it’s what you didn’t say.

    To understand the utter coolness of explanations in an automated reasoning system, which I’ll talk about next time, you first have to

  • Why Reasoning Matters: Consistency Checking ·  Friday, June 6th, 2008

    Reasoning only matters (to us, to the market) if it’s useful. Significance—technical and economic—is, ideally, a function of utility and perceived utility. This is the first in a series of posts that will, I hope, increase the perceived utility of formal, automated, logic-based reasoning…

  • Venture Capital Alternatives: SBIR ·  Wednesday, June 4th, 2008

    We’re a bootstrapping startup focused on semantic technology infrastructure. We’re bootstrapping exactly because we’re a startup focused on “semantic infrastructure”—that is, VCs don’t really fund infrastructure plays. At least, that’s the conventional wisdom. And

Colophon

This is Thinking Clearly, a weblog by Clark & Parsia, LLC—read more about this site.

Follow us on Twitter RSS Feed