Description Logics (Q3638996): Difference between revisions

From MaRDI portal
← Older edit
‎Changed an Item
ReferenceBot (talk | contribs)
Bots
1,550,979 edits
‎Changed an Item
 
(5 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Racer / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: KL-ONE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: FaCT++ / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-642-03754-2_1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2911529331 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution in Modal, Description and Hybrid Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4012241 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using automata theory for characterizing the semantics of terminological cycles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cardinality restrictions on concepts / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the expressivity of feature logics with negation, functional uncertainty, and sort equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4406531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4460678 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mechanizing Mathematical Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unification of concept terms in description logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: An overview of tableau algorithms for description logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4539600 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3750100 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A refined architecture for terminological systems: Terminology = Schema + Views / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4386924 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tractable reasoning and efficient query answering in description logics: The DL-Lite family / rank
 
Normal rank
Property / cites work
 
Property / cites work: EXPtime tableaux for ALC / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of existential quantification in concept languages. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4028788 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4012243 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional dynamic logic of regular programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tableau methods of proof for modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3624113 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Restraining Power of Guards / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Decision Problem for Two-Variable First-Order Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4539653 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Consistency checking reduced to satisfiability of concepts in terminological systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4028805 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A description logic with transitive and inverse roles and role hierarchies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4938424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4503911 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata for the modal μ-calculus and related results / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expressiveness of concept expressions in first-order description logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5740435 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4938425 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complexity of Conjunctive Query Answering in Expressive Description Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: On languages with two variables / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternating automata on infinite trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning and revision in hybrid representation systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Terminological reasoning is inherently intractable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data complexity of query answering in expressive description logics via tableaux / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4012244 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Attributive concept descriptions with complements / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about infinite computations / rank
 
Normal rank

Latest revision as of 03:07, 2 July 2024

scientific article
Language Label Description Also known as
English
Description Logics
scientific article

    Statements

    title
    Description Logics (English)
    0 references
    author
    Franz Baader
    0 references
    publication date
    28 October 2009
    0 references
    zbMATH DE Number
    5622599
    0 references
    describes a project that uses
    CEL
    0 references
    Pellet
    0 references
    Racer
    0 references
    KL-ONE
    0 references
    FaCT++
    0 references
    OpenAlex ID
    W2911529331
    0 references
    cites work
    Q4012241
    0 references
    Q4406531
    0 references
    Q4460678
    0 references
    Q4539600
    0 references
    Q2744124
    0 references
    Q3750100
    0 references
    Q4386924
    0 references
    Q4028788
    0 references
    Q4012243
    0 references
    Q4198056
    0 references
    Q3624113
    0 references
    Q4539653
    0 references
    Q4028805
    0 references
    Q4938424
    0 references
    Q4503911
    0 references
    Q5740435
    0 references
    Q4938425
    0 references
    Q4012244
    0 references
    Q4263156
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3638996&oldid=35134231"
    Powered by MediaWiki