Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Classical Algorithms for Reasoning and Explanation in Description Logics
Reasoning Web. Explainable Artificial Intelligence, 2019, Vol.11810, p.1-64
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies
Journal of automated reasoning, 2014-06, Vol.53 (1), p.1-61
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modular Reuse of Ontologies: Theory and Practice
The Journal of artificial intelligence research, 2008-01, Vol.31, p.273-318
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Resolution-Based Decision Procedure for SHOIQ
Journal of automated reasoning, 2008-03, Vol.40 (2-3), p.89
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰ ℒ $\mathcal {E} \mathcal {L}$ Ontologies
Journal of automated reasoning, 2014-06, Vol.53 (1), p.1-61
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ... Ontologies
Journal of automated reasoning, 2014-06, Vol.53 (1), p.1-61
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Incredible ELK
Journal of automated reasoning, 2014-06, Vol.53 (1), p.1-61
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {E} \mathcal {L}$\end{document} Ontologies
Journal of automated reasoning, 2014, Vol.53 (1), p.1-61
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Enumerating Justifications Using Resolution
Automated Reasoning, 2018, Vol.10900, p.609-626
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Journal of automated reasoning, 2011-12, Vol.47 (4), p.427
2011
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Goal-Directed Tracing of Inferences in EL Ontologies
The Semantic Web – ISWC 2014, p.196-211
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Incremental Classification of Description Logics Ontologies
Journal of automated reasoning, 2010-04, Vol.44 (4), p.337-369
2010
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Incremental Reasoning in OWL EL without Bookkeeping
The Semantic Web – ISWC 2013, p.232-247
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tractable Extensions of the Description Logic with Numerical Datatypes
Journal of automated reasoning, 2011-12, Vol.47 (4), p.427-450
2011
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}
Journal of automated reasoning, 2008-05, Vol.40 (4), p.357-357
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Resolution-Based Decision Procedure for SHOIQ
Journal of automated reasoning, 2008-05, Vol.40 (4), p.357
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}
Journal of automated reasoning, 2008-03, Vol.40 (2-3), p.89-116
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Resolution-Based Decision Procedure for
Journal of automated reasoning, 2008, Vol.40 (2-3), p.89-116
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Resolution-Based Decision Procedure for
Journal of automated reasoning, 2008, Vol.40 (4), p.357-357
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
Lecture notes in computer science, 2004, p.372-384
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies, p.159-186
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstraction Refinement for Ontology Materialization
The Semantic Web – ISWC 2014, p.180-195
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009, p.407-416
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
Logic for Programming, Artificial Intelligence, and Reasoning, p.303-317
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Scalable Reasoning by Abstraction Beyond DL-Lite
Web Reasoning and Rule Systems, 2016, Vol.9898, p.77-93
2016
Volltextzugriff (PDF)
1 – 25 von 36
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen