<?xml version="1.0" encoding="UTF-8"?>

<?xml-stylesheet type="text/xsl" href="http://sw.opencyc.org/xsl/OpenCycOWLIndividualDisplayVersioned.xsl"?>

<!DOCTYPE rdf:RDF [
     <!ENTITY ocyc "http://sw.opencyc.org/concept/" >
     <!ENTITY cyc  "http://sw.cyc.com/concept/" >
     <!ENTITY rdf  "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
     <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
     <!ENTITY xsd  "http://www.w3.org/2001/XMLSchema#" >
     <!ENTITY owl  "http://www.w3.org/2002/07/owl#" >
   ]>

<rdf:RDF xml:base="http://sw.opencyc.org/2008/06/10/concept/"
         xmlns="http://sw.opencyc.org/2008/06/10/concept/"
         xmlns:cycAnnot="http://sw.cyc.com/CycAnnotations_v1#"
         xmlns:rdf="&rdf;"
         xmlns:rdfs="&rdfs;"
         xmlns:owl="&owl;"
         xmlns:xsd="&xsd;">

  <owl:Ontology rdf:about="http://sw.opencyc.org/2008/06/10/concept/">
    <owl:versionInfo>2008/06/10</owl:versionInfo>
    <rdfs:comment xml:lang="en">

      OpenCyc Knowledge Base

      Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA

      This file contains an OWL representation of information contained 
      in the OpenCyc Knowledge Base. The content of this OWL file is 
      licensed under the Creative Commons Attribution 3.0 license whose 
      text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. 
      The content of this OWL file, including the OpenCyc content it represents, 
      constitutes the "Work" referred to in the Creative Commons license. The terms of 
      this license equally apply to, without limitation, renamings and other 
      logically equivalent reformulations of the content of this OWL file 
      (or portions thereof) in any natural or formal language, as well 
      as to derivations of this content or inclusion of it in other ontologies.

    </rdfs:comment>
  </owl:Ontology>

  <owl:AnnotationProperty rdf:about="http://sw.cyc.com/CycAnnotations_v1#externalID">
    <rdfs:label xml:lang="en">externalID</rdfs:label>
    <rdfs:comment xml:lang="en">
      A unique, language-neutral, variable-sized identifier
      for a concept that can be used to refer unambiguously to that concept across 
      OWL exports or across Cyc inference engines.
    </rdfs:comment>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:AnnotationProperty>

  <owl:AnnotationProperty rdf:about="http://sw.cyc.com/CycAnnotations_v1#label">
    <rdfs:label xml:lang="en">label</rdfs:label>
    <rdfs:comment xml:lang="en">
      A natural-language representation for a concept that is both human 
      readable and readable by the Cyc inference engine. These terms are not 
      guaranteed to refer to the same concept across time but are guaranteed to
      be consistent within a particular OWL export. Use 'cycAnnot:externalID'
      for unambiguously referring to a concept across OWL exports or across Cyc
      inference engines.
    </rdfs:comment>
  </owl:AnnotationProperty>

  <Mx4rvVkKbZwpEbGdrcN5Y29ycA rdf:about="Mx4rvVidNpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Allegro Common Lisp</rdfs:label>
    <cycAnnot:label xml:lang="en">AllegroCommonLisp</cycAnnot:label>
    <rdf:type rdf:resource="Mx4rvoxzi5wpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rvi9EhJwpEbGdrcN5Y29ycA"/>
    <wikipediaArticleURL>http://en.wikipedia.org/wiki/Allegro_Common_Lisp</wikipediaArticleURL>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">Allegro</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Allegro_Common_Lisp"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvVidNpwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rvVidNpwpEbGdrcN5Y29ycA"/>
  </Mx4rvVkKbZwpEbGdrcN5Y29ycA>

  <owl:Thing rdf:about="http://dbpedia.org/resource/Allegro_Common_Lisp">
    <rdfs:label xml:lang="en">Allegro Common Lisp</rdfs:label>
    <cycAnnot:label xml:lang="en">AllegroCommonLisp</cycAnnot:label>
  </owl:Thing>

  <owl:Class rdf:about="Mx4rvoxzi5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">Software which is used to create other software.  Instances would be programs like &apos;Microsoft Visual C++&apos;, &apos;PowerBuilder&apos;, &apos;Oracle Forms&apos;, &apos;GNU C&apos;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">DevelopmentProgram</cycAnnot:label>
    <rdfs:label xml:lang="en">development program</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvi9EhJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">UnversionedProgram</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvvhA5pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnversionedSoftwareObject&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgram_CW&lt;/a&gt;.  The collection of all instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgram_CW&lt;/a&gt; which are &amp;quot;unversioned&amp;quot; in the sense that, strictly speaking, not they, but versions of them, are downloaded, run on a machine, etc. Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvi9EhJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnversionedProgram&lt;/a&gt; are thus highly abstract entities. Positive examples:  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rviFn3pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LinuxKernel_TheProgram&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvuGfGZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Linux_RedHat&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvclthJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WU_FTPD_TheProgram&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">unversioned program</rdfs:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rwLSVCpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Pretty String</rdfs:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;prettyString&lt;/a&gt; TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM.  The predicate &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;prettyString&lt;/a&gt; is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use.</rdfs:comment>
    <cycAnnot:label xml:lang="en">prettyString</cycAnnot:label>
  </owl:ObjectProperty>

  <owl:DataProperty rdf:about="wikipediaArticleURL">
  </owl:DataProperty>

  <Mx4rvVkKbZwpEbGdrcN5Y29ycA rdf:about="&cyc;Mx4rvVidNpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Allegro Common Lisp</rdfs:label>
    <cycAnnot:label xml:lang="en">AllegroCommonLisp</cycAnnot:label>
  </Mx4rvVkKbZwpEbGdrcN5Y29ycA>

  <owl:Class rdf:about="Mx4rvVkKbZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">ProgrammingLanguageImplementation</cycAnnot:label>
    <rdfs:label xml:lang="en">programming language implementation</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgram_CW&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKbZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ProgrammingLanguageImplementation&lt;/a&gt; is a program which takes source code written in an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjC6pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AbstractProgrammingLanguage&lt;/a&gt; as input and generates either the behavior specified by the sdource code (if the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKbZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ProgrammingLanguageImplementation&lt;/a&gt; is an instance of the more specialized collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Interpreter_Computers&lt;/a&gt;) or another program with the same semantics as the source code (if the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKbZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ProgrammingLanguageImplementation&lt;/a&gt; is an instance of the more specialized collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjykZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Compiler&lt;/a&gt;).</rdfs:comment>
  </owl:Class>

  <Mx4rvVkKbZwpEbGdrcN5Y29ycA rdf:about="&ocyc;Mx4rvVidNpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Allegro Common Lisp</rdfs:label>
    <cycAnnot:label xml:lang="en">AllegroCommonLisp</cycAnnot:label>
  </Mx4rvVkKbZwpEbGdrcN5Y29ycA>

</rdf:RDF>
