Common Description Logics and their constructs
The usability of description logics: understanding the cognitive difficulties presented by description logics
... the common content patterns from Khan and Blomqvist identified class equivalence as the thirteenth most commonly used OWL feature, whilst it was not included in the survey by ...relatively common in at ...
17
Description Logics with Circumscription
... In this paper, we propose non-monotonic description log- ics based on circumscription and investigate their computa- tional complexity. We show that circumscription allows to define non-monotonic DLs in a ...
11
Temporal Description Logics: A Survey
... There are many ways of using standard temporal logic operators such as ° (at the next moment), ♦ (eventually), ¤ (always in the future), and U (until) in order to add a temporal dimension to DLs. For example, we can ...
13
Interval temporal description logics
... tractable description logics with interval temporal operators is motivated by possible applications in ontology-based data access (OBDA) [12] to temporal ...
6
Interval Temporal Description Logics
... tractable description logics with interval temporal operators is motivated by possible applications in ontology-based data access (OBDA) [12] to temporal ...
5
Fuzzy Description Logics and t-norm based fuzzy logics
... fuzzy logics necessary to define the family of description languages presented in Section ...the logics L ðSÞ 8 and their consequences for the description logics ALC ...
24
Expressiveness of first order description logics
... variable logics, and related techniques have been used in modal logic as well; for instance, [KR97b] use various kinds of bisimulations to characterize temporal logics with Since and ...
35
Converting Mikrokosmos Frames into Description Logics
... There are other efforts that convert ontologies from different representations to Description Log- ics languages. OntoMap is a web-site that pro- vides access to upper-level ontologies and hand- crafted mappings ...
8
Combining Existential Rules and Description Logics
... the description logic community, powerful such languages were developed to express constraints on vocabularies of arity ...Hence, description logics are very powerful languages for arity-two ...
7
Designing a Tableau Reasoner for Description Logics
... formal description of a common vocabulary for a domain of interest and the relationships between terms built from the ...on Description Logics (DLs) like OWL 2 are becoming increasingly pop- ...
13
The Complexity of Description Logics with Concrete Domains
... of Description Logics with acyclic ...simple Description Logic T L whose concept language offers only conjunction and universal value restriction, concept subsumption is in PTime if no TBoxes are ...
225
An introduction to description logics and query rewriting
... the description logics un- derlying the OWL 2 Web Ontology Language and its three tractable profiles, OWL 2 RL, OWL 2 EL and OWL 2 ...these description logics as well as main reasoning tasks ...
50
An introduction to description logics and query rewriting
... the description logics un- derlying the OWL 2 Web Ontology Language and its three tractable profiles, OWL 2 RL, OWL 2 EL and OWL 2 ...these description logics as well as main reasoning tasks ...
51
Probability Interpretations in Probabilistic Description Logics
... If we look at the most important papers on probabilistic description logics we find a few different types of formalisms. Fagin et al. (1990) and Koller et al. (1997) use Bayesian networks to reason with ...
44
Rational Defeasible Reasoning for Description Logics
... Figure 21: Average Rational closure performance vs. ontology size in the modified real world dataset. 9. Discussion and Related Work Quantz and Royer (1992) were probably the first to consider the lifting of ...
81
Abductive Matchmaking using Description Logics
... logical description, and move on to Description Logics ...a common ontology for supplies and demands is estab- lished, as a TBox T in ...
6
Concept Abduction in Description logics with cardinality restrictions
... of common sense reasoning[12] to find back explanations from ...classical logics, just recently this inference method have been begun to gain the attention of the description logics community ...
Semantic Modularity and Module Extraction in Description Logics
... standard description logic (DL) ALC, the lightweight DL EL, and their extensions with inverse roles, we find that the complexity ranges from tractable via Π p 2 -complete and coNexp NP -complete to unde- ...
12
Verb centered Sentiment Inference with Description Logics
... In order to draw sentiment inferences, rules are needed and their application must not inter- fere with each other nor should the set of rules be inconsistent (which is a problem for complex rule-based systems). We ...
6
Decomposing ontology in Description Logics by graph partitioning
... Thi Anh Le PHAM. et al. / AIJSTPME (2012) 5(3): 57-65 6 Conclusions In this paper we have presented two techniques of decomposing from ontologies in Description Logics (TBox level). Our decomposition ...
9