Searching for "Description Logic Rules." – sorted by Relevance.
-
Description Logic Rules ⋆
- Description Logic Rules ⋆ Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler Universität
- Cited by 1 (1 self) – Add To MetaCart
-
SweetProlog: A system to integrate ontologies and rules
- described in Description Logics and rules expressed in OWLRuleML into a set of facts and rules described
- Cited by 7 (0 self) – Add To MetaCart
-
Rule Based Computation of Updates to Terminologies
- Description Logic/Rule based frameworks for medical plan specification. 1 Introduction and Motivation A number
- Add To MetaCart
-
Pushing the limits of OWL, Rules and Protege
- .bechhofer@(email omitted); Abstract. The Semantic Web brings powerful languages for creating models, based on Description Logics
- Add To MetaCart
-
Well-founded semantics for description logic programs in the semantic web
- of description logic rules P , and we have defined their answer set semantics. In this paper, we continue
- Cited by 34 (10 self) – Add To MetaCart
-
Beyond Monotonic Inheritance: Towards Semantic Web Process Ontologies”. Working Paper
- Semantic Web techniques for declarative knowledge representation (KR), e.g., OWL Description Logic or Rule
- Cited by 3 (0 self) – Add To MetaCart
-
Probabilistic description logic programs
- )satisfiability in the description logic SHIF(D) (resp., SHOIN(D)). On top of the Ontology layer, the Rules, Logic, and Proof layers
- Cited by 22 (12 self) – Add To MetaCart
-
f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic
- of rules”. This has as a counterpart the definition of a mapping between Description Logics and Logic
- Cited by 1 (0 self) – Add To MetaCart
-
Description logics and disjunctive datalog the story so far
- the details is part of our future research. 4 Extending SHIQ with Rules Extending description logics
- Cited by 4 (0 self) – Add To MetaCart
-
Query Answering for OWL-DL with Rules
- programs. Keywords Description logics, rules, decidability, hybrid languages ∗ Accepted for publishing
- Cited by 128 (21 self) – Add To MetaCart

