deploy: 3f2b291

dice-group · Apr 9, 2024 · 58bf3f0 · 58bf3f0
1 parent 11c32de
commit 58bf3f0
Show file tree

Hide file tree

Showing 26 changed files with 2,267 additions and 917 deletions.
diff --git a/_modules/index.html b/_modules/index.html
@@ -76,6 +76,8 @@
 
   <h1>All modules for which code is available</h1>
 <ul><li><a href="owlapy/_utils.html">owlapy._utils</a></li>
+<li><a href="owlapy/class_expression/class_expression.html">owlapy.class_expression.class_expression</a></li>
+<li><a href="owlapy/class_expression/owl_class.html">owlapy.class_expression.owl_class</a></li>
 <li><a href="owlapy/has.html">owlapy.has</a></li>
 <li><a href="owlapy/iri.html">owlapy.iri</a></li>
 <li><a href="owlapy/meta_classes.html">owlapy.meta_classes</a></li>

diff --git a/_modules/owlapy/class_expression/class_expression.html b/_modules/owlapy/class_expression/class_expression.html
diff --git a/_modules/owlapy/class_expression/owl_class.html b/_modules/owlapy/class_expression/owl_class.html
@@ -0,0 +1,183 @@
+<!DOCTYPE html>
+<html class="writer-html5" lang="en" data-content_root="../../../">
+<head>
+  <meta charset="utf-8" />
+  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+  <title>owlapy.class_expression.owl_class &mdash; OWLAPY 0.1.2 documentation</title>
+      <link rel="stylesheet" type="text/css" href="../../../_static/pygments.css?v=8775fe07" />
+      <link rel="stylesheet" type="text/css" href="../../../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../../../_static/graphviz.css?v=eafc0fe6" />
+      <link rel="stylesheet" type="text/css" href="../../../_static/theme.css?v=ea877efc" />
+      <link rel="stylesheet" type="text/css" href="../../../_static/theme_tweak.css?v=f0ad19f3" />
+      <link rel="stylesheet" type="text/css" href="../../../_static/pygments.css?v=8775fe07" />
+
+
+  <!--[if lt IE 9]>
+    <script src="../../../_static/js/html5shiv.min.js"></script>
+  <![endif]-->
+
+        <script src="../../../_static/jquery.js?v=5d32c60e"></script>
+        <script src="../../../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
+        <script src="../../../_static/documentation_options.js?v=92734c54"></script>
+        <script src="../../../_static/doctools.js?v=888ff710"></script>
+        <script src="../../../_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="../../../_static/js/theme.js"></script>
+    <link rel="index" title="Index" href="../../../genindex.html" />
+    <link rel="search" title="Search" href="../../../search.html" /> 
+</head>
+
+<body class="wy-body-for-nav"> 
+  <div class="wy-grid-for-nav">
+    <nav data-toggle="wy-nav-shift" class="wy-nav-side">
+      <div class="wy-side-scroll">
+        <div class="wy-side-nav-search" >
+
+
+
+          <a href="../../../index.html" class="icon icon-home">
+            OWLAPY
+          </a>
+<div role="search">
+  <form id="rtd-search-form" class="wy-form" action="../../../search.html" method="get">
+    <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
+    <input type="hidden" name="check_keywords" value="yes" />
+    <input type="hidden" name="area" value="default" />
+  </form>
+</div>
+        </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
+              <p class="caption" role="heading"><span class="caption-text">Contents:</span></p>
+<ul>
+<li class="toctree-l1"><a class="reference internal" href="../../../usage/main.html">OWLAPY</a></li>
+<li class="toctree-l1"><a class="reference internal" href="../../../autoapi/owlapy/index.html"><code class="xref py py-mod docutils literal notranslate"><span class="pre">owlapy</span></code></a></li>
+</ul>
+
+        </div>
+      </div>
+    </nav>
+
+    <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
+          <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
+          <a href="../../../index.html">OWLAPY</a>
+      </nav>
+
+      <div class="wy-nav-content">
+        <div class="rst-content">
+          <div role="navigation" aria-label="Page navigation">
+  <ul class="wy-breadcrumbs">
+      <li><a href="../../../index.html" class="icon icon-home" aria-label="Home"></a></li>
+          <li class="breadcrumb-item"><a href="../../index.html">Module code</a></li>
+      <li class="breadcrumb-item active">owlapy.class_expression.owl_class</li>
+      <li class="wy-breadcrumbs-aside">
+      </li>
+  </ul>
+  <hr/>
+</div>
+          <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
+           <div itemprop="articleBody">
+
+  <h1>Source code for owlapy.class_expression.owl_class</h1><div class="highlight"><pre>
+<span></span><span class="kn">from</span> <span class="nn">.class_expression</span> <span class="kn">import</span> <span class="n">OWLClassExpression</span><span class="p">,</span> <span class="n">OWLObjectComplementOf</span>
+<span class="kn">from</span> <span class="nn">..owlobject</span> <span class="kn">import</span> <span class="n">OWLObject</span><span class="p">,</span> <span class="n">OWLEntity</span>
+<span class="kn">from</span> <span class="nn">typing</span> <span class="kn">import</span> <span class="n">Final</span><span class="p">,</span> <span class="n">Union</span>
+<span class="kn">from</span> <span class="nn">..iri</span> <span class="kn">import</span> <span class="n">IRI</span>
+
+
+<div class="viewcode-block" id="OWLClass">
+<a class="viewcode-back" href="../../../autoapi/owlapy/model/index.html#owlapy.class_expression.OWLClass">[docs]</a>
+<span class="k">class</span> <span class="nc">OWLClass</span><span class="p">(</span><span class="n">OWLClassExpression</span><span class="p">,</span> <span class="n">OWLEntity</span><span class="p">):</span>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot;An OWL 2 named Class&quot;&quot;&quot;</span>
+    <span class="vm">__slots__</span> <span class="o">=</span> <span class="s1">&#39;_iri&#39;</span><span class="p">,</span> <span class="s1">&#39;_is_nothing&#39;</span><span class="p">,</span> <span class="s1">&#39;_is_thing&#39;</span>
+    <span class="n">type_index</span><span class="p">:</span> <span class="n">Final</span> <span class="o">=</span> <span class="mi">1001</span>
+
+    <span class="n">_iri</span><span class="p">:</span> <span class="s1">&#39;IRI&#39;</span>
+    <span class="n">_is_nothing</span><span class="p">:</span> <span class="nb">bool</span>
+    <span class="n">_is_thing</span><span class="p">:</span> <span class="nb">bool</span>
+
+    <span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">iri</span><span class="p">:</span> <span class="n">Union</span><span class="p">[</span><span class="n">IRI</span><span class="p">,</span> <span class="nb">str</span><span class="p">]):</span>
+<span class="w">        </span><span class="sd">&quot;&quot;&quot;Gets an instance of OWLClass that has the specified IRI.</span>
+
+<span class="sd">        Args:</span>
+<span class="sd">            iri:</span>
+<span class="sd">        &quot;&quot;&quot;</span>
+        <span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">iri</span><span class="p">,</span> <span class="n">IRI</span><span class="p">):</span>
+            <span class="bp">self</span><span class="o">.</span><span class="n">_iri</span> <span class="o">=</span> <span class="n">iri</span>
+        <span class="k">else</span><span class="p">:</span>
+            <span class="bp">self</span><span class="o">.</span><span class="n">_iri</span> <span class="o">=</span> <span class="n">IRI</span><span class="o">.</span><span class="n">create</span><span class="p">(</span><span class="n">iri</span><span class="p">)</span>
+
+        <span class="bp">self</span><span class="o">.</span><span class="n">_is_nothing</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_iri</span><span class="o">.</span><span class="n">is_nothing</span><span class="p">()</span>
+        <span class="bp">self</span><span class="o">.</span><span class="n">_is_thing</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_iri</span><span class="o">.</span><span class="n">is_thing</span><span class="p">()</span>
+
+<div class="viewcode-block" id="OWLClass.get_iri">
+<a class="viewcode-back" href="../../../autoapi/owlapy/model/index.html#owlapy.class_expression.OWLClass.get_iri">[docs]</a>
+    <span class="k">def</span> <span class="nf">get_iri</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="s1">&#39;IRI&#39;</span><span class="p">:</span>
+        <span class="c1"># documented in parent</span>
+        <span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_iri</span></div>
+
+
+<div class="viewcode-block" id="OWLClass.is_owl_thing">
+<a class="viewcode-back" href="../../../autoapi/owlapy/model/index.html#owlapy.class_expression.OWLClass.is_owl_thing">[docs]</a>
+    <span class="k">def</span> <span class="nf">is_owl_thing</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="nb">bool</span><span class="p">:</span>
+        <span class="c1"># documented in parent</span>
+        <span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_is_thing</span></div>
+
+
+<div class="viewcode-block" id="OWLClass.is_owl_nothing">
+<a class="viewcode-back" href="../../../autoapi/owlapy/model/index.html#owlapy.class_expression.OWLClass.is_owl_nothing">[docs]</a>
+    <span class="k">def</span> <span class="nf">is_owl_nothing</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="nb">bool</span><span class="p">:</span>
+        <span class="c1"># documented in parent</span>
+        <span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_is_nothing</span></div>
+
+
+<div class="viewcode-block" id="OWLClass.get_object_complement_of">
+<a class="viewcode-back" href="../../../autoapi/owlapy/model/index.html#owlapy.class_expression.OWLClass.get_object_complement_of">[docs]</a>
+    <span class="k">def</span> <span class="nf">get_object_complement_of</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="n">OWLObjectComplementOf</span><span class="p">:</span>
+        <span class="c1"># documented in parent</span>
+        <span class="k">return</span> <span class="n">OWLObjectComplementOf</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span></div>
+
+
+<div class="viewcode-block" id="OWLClass.get_nnf">
+<a class="viewcode-back" href="../../../autoapi/owlapy/model/index.html#owlapy.class_expression.OWLClass.get_nnf">[docs]</a>
+    <span class="k">def</span> <span class="nf">get_nnf</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="s1">&#39;OWLClass&#39;</span><span class="p">:</span>
+        <span class="c1"># documented in parent</span>
+        <span class="k">return</span> <span class="bp">self</span></div>
+
+
+    <span class="nd">@property</span>
+    <span class="k">def</span> <span class="nf">str</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
+        <span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">get_iri</span><span class="p">()</span><span class="o">.</span><span class="n">as_str</span><span class="p">()</span>
+
+    <span class="nd">@property</span>
+    <span class="k">def</span> <span class="nf">reminder</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="nb">str</span><span class="p">:</span>
+<span class="w">        </span><span class="sd">&quot;&quot;&quot;The reminder of the IRI &quot;&quot;&quot;</span>
+        <span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">get_iri</span><span class="p">()</span><span class="o">.</span><span class="n">get_remainder</span><span class="p">()</span></div>
+
+</pre></div>
+
+           </div>
+          </div>
+          <footer>
+
+  <hr/>
+
+  <div role="contentinfo">
+    <p>&#169; Copyright .</p>
+  </div>
+
+  Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
+    <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
+    provided by <a href="https://readthedocs.org">Read the Docs</a>.
+
+
+</footer>
+        </div>
+      </div>
+    </section>
+  </div>
+  <script>
+      jQuery(function () {
+          SphinxRtdTheme.Navigation.enable(true);
+      });
+  </script> 
+
+</body>
+</html>