Pages that link to "Item:Q2674209"

The following pages link to On the relative expressiveness of description logics and predicate logics (Q2674209):

Displaying 20 items.

• Foundations of instance level updates in expressive description logics (Q420809) (← links)
• On finitely-valued fuzzy description logics (Q465589) (← links)
• On bisimulations for description logics (Q527171) (← links)
• Semantic forgetting in expressive description logics (Q831928) (← links)
• Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
• Open answer set programming for the semantic web (Q881833) (← links)
• An epistemic operator for description logics (Q1128772) (← links)
• Integrity constraints for XML (Q1394804) (← links)
• Information integration using logical views (Q1575131) (← links)
• Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
• On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
• The guarded fragment with transitive guards (Q1877098) (← links)
• Making fuzzy description logic more general (Q2386237) (← links)
• Cheap Boolean Role Constructors for Description Logics (Q3532479) (← links)
• DL-FOIL Concept Learning in Description Logics (Q3543272) (← links)
• Foundations of Onto-Relational Learning (Q3543274) (← links)
• Goals and benchmarks for automated map reasoning (Q5927984) (← links)
• Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates (Q6566618) (← links)
• Reasoning with ontologies (Q6602220) (← links)
• Languages for probabilistic modeling over structured and relational domains (Q6602256) (← links)