Description logics in data management

Borgida, Alex

doi:10.1109/69.469829

Cited by 206 publications

(114 citation statements)

References 44 publications

Supporting

Mentioning

112

Contrasting

Unclassified

Order By: Relevance

“…Groups such as the Knowledge Sharing Laboratory at Stanford extended the ideas of developing re-usable ontologies and providing an interchange language amongst the various knowledge representation platforms [39,41,52]. In the late 1980s and early 1990s, a sound logical foundation for frame languages with subsumption or 'description logics' was established [6,12]. In the second half of the 1990s Horrocks and others took those advances and optimised the resulting algorithms to the point of being practically useful [59,60].…”

Section: Taming the Dilemma Of Expressiveness And Tractabilitymentioning

confidence: 99%

“…In the second half of the 1990s Horrocks and others took those advances and optimised the resulting algorithms to the point of being practically useful [59,60]. This work is now being used increasingly in general applications of information organisation [12,45,46], schema integration and as a foundation for knowledge management and meta data -even giving rise to a new proposed standard for an 'Ontology Inference Layer' (originally the 'Ontology Interface Language')[1].…”

Section: Taming the Dilemma Of Expressiveness And Tractabilitymentioning

confidence: 99%

See 1 more Smart Citation

AIM: a personal view of where I have been and where we might be going

Rector

2001

Artificial Intelligence in Medicine

View full text Add to dashboard Cite

My own career in Medical Informatics and AI in Medicine has oscillated between concerns with medical records and concerns with knowledge representation with decision support as a pivotal integrating issue. It has focused on using AI to organise information and reduce 'muddle' and improve the user interfaces to produce 'useful and usable systems' to help doctors with a 'humanly impossible task'. Increasingly knowledge representation and ontologies have become the fulcrum for orchestrating re-use of information and integration of systems. Encouragingly, the dilemma between computational tractability and expressiveness is lessening, and ontologies and description logics are joining the mainstream both in AI in Medicine and in Intelligent Information Management generally. It has been shown possible to scale up ontologies to meet medical needs, and increasingly ontologies are playing a key role in meeting the requirements to scale up the complexity of clinical systems to meet the ever increasing demands brought about by new emphasis on reduction of errors, clinical accountability, and the explosion of knowledge on the Web.

show abstract

Section: Taming the Dilemma Of Expressiveness And Tractabilitymentioning

confidence: 99%

Section: Taming the Dilemma Of Expressiveness And Tractabilitymentioning

confidence: 99%

AIM: a personal view of where I have been and where we might be going

Rector

2001

Artificial Intelligence in Medicine

View full text Add to dashboard Cite

show abstract

“…Rules (1)−(4) are applicable only when the occurrence of T 1 ⊙ T 2 on the right-hand side of the rule is defined. We apply rules (1)−(4) as long as possible, and then apply rules (5), (6). Moreover, we only allow the sequences of rule applications that eliminate all occurrences of T 1 , T * 1 , T 2 , T * 2 , leaving only T 1,2 and T * 1,2 .…”

Section: Fig 7 Transformation Rules For Combining Spatial Conjunctsmentioning

confidence: 99%

“…The formula (1) can be written in role logic as [A ⇒ [f ⇒ card ≥1 ∼g]] where the construct [F ] is a shorthand for ¬card ≥1 ¬F and corresponds to the universal quantifier. The expression ∼g denotes the inverse of relation g. This paper focuses on the use of role logic to describe generalized records, see [36] for further examples of using role logic and [6] for advantages of variable-free notation in general. Figure 2 shows our semantics of spatial conjunction ⊛.…”

Section: Introductionmentioning

confidence: 99%

Generalized Records and Spatial Conjunction in Role Logic

Kunčak¹,

Rinard²

2004

Static Analysis

View full text Add to dashboard Cite

Abstract. We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-variable logic with counting and is therefore decidable. We show how to use role logic to describe open and closed records, as well the dual of records, inverse records. We observe that the spatial conjunction operation of separation logic naturally models record concatenation. Moreover, we show how to eliminate the spatial conjunction of formulas of quantifier depth one in first-order logic with counting. As a result, allowing spatial conjunction of formulas of quantifier depth one preserves the decidability of two-variable logic with counting. This result applies to two-variable role logic fragment as well. The resulting logic smoothly integrates type system and predicate calculus notation and can be viewed as a natural generalization of the notation for constraints arising in role analysis and similar shape analysis approaches.

show abstract

“…In the last years, DL has gone beyond its traditional scope in Artificial Intelligence area to provide new alternatives and solutions to many topics in the database and conceptual modeling areas [3,4,6].…”

Section: Reasoning On Uml Conceptual Schemasmentioning

confidence: 99%

Reasoning on UML Class Diagrams with OCL Constraints

Queralt

Teniente

2006

Conceptual Modeling - ER 2006

View full text Add to dashboard Cite

Abstract. We propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity constraints or reachability of partially specified states. Our approach is based on translating both the class diagram and the OCL constraints into a logic representation. Then, we use the CQC Method to verify whether these properties hold for the given diagram and constraints.

show abstract

Description logics in data management

Cited by 206 publications

References 44 publications

AIM: a personal view of where I have been and where we might be going

AIM: a personal view of where I have been and where we might be going

Generalized Records and Spatial Conjunction in Role Logic

Reasoning on UML Class Diagrams with OCL Constraints

Contact Info

Product

Resources

About