Pages that link to "Item:Q3651485"

The following pages link to Hypertableau Reasoning for Description Logics (Q3651485):

Displaying 19 items.

• Tractable approximate deduction for OWL (Q274420) (← links)
• Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
• Semantic decision making using ontology-based soft sets (Q552135) (← links)
• Semantic operations of multiple soft sets under conflict (Q660826) (← links)
• Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
• Similarity-based relaxed instance queries (Q901081) (← links)
• The Fusemate logic programming system (Q2055893) (← links)
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
• Absorption for ABoxes (Q2351418) (← links)
• HermiT: an OWL 2 reasoner (Q2351420) (← links)
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
• Reasoning with nominal schemas through absorption (Q2352498) (← links)
• The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986) (← links)
• Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
• Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
• Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
• First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
• Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
• Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)