• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 76
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • Tagged with
  • 109
  • 109
  • 50
  • 41
  • 36
  • 36
  • 33
  • 33
  • 31
  • 25
  • 23
  • 23
  • 21
  • 21
  • 20
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Non-standard inferences in description logics /

Küsters, Ralf. January 2001 (has links)
Techn. Hochsch., Diss.--Aachen, 2000. / Includes bibliographical references (p. [235] - 244) and index.
2

Module extraction for inexpressive description logics

Nortje, Riku 08 1900 (has links)
Module extraction is an important reasoning task, aiding in the design, reuse and maintenance of ontologies. Reasoning services such as subsumption testing and MinA extraction have been shown to bene t from module extraction methods. Though various syntactic traversal-based module extraction algorithms exist for extracting modules, many only consider the subsumee of a subsumption statement as a selection criterion for reducing the axioms in the module. In this dissertation we extend the bottom-up reachability-based module extraction heuristic for the inexpressive Description Logic EL, by introducing a top-down version of the heuristic which utilises the subsumer of a subsumption statement as a selection criterion to minimize the number of axioms in a module. Then a combined bidirectional heuristic is introduced which uses both operands of a subsumption statement in order to extract very small modules. We then investigate the relationship between MinA extraction and bidirectional reachabilitybased module extraction. We provide empirical evidence that bidirectional reachability-based module extraction for subsumption entailments in EL provides a signi cant reduction in the size of modules for almost no additional costs in the running time of the original algorithms. / Computer Science / M. Sc. (Computer Science)
3

Ο σημασιολογικός ιστός

Κολλάρας, Νίκος 11 September 2008 (has links)
Ο Παγκόσμιος Ιστός έχει αλλάξει τον τρόπο που οι άνθρωποι επικοινωνούν μεταξύ τους καθώς και τον τρόπο με τον οποίο οι επιχειρήσεις διευθύνονται. Ως επέκταση του παγκόσμιου ιστού εμφανίζεται ο Σημασιολογικός Ιστός. Ο Σημασιολογικός Ιστός είναι ειδικότερα, ένας Ιστός από πληροφορίες που είναι δυνατό να διαβαστούν από τις μηχανές και η έννοια των οποίων είναι σαφώς καθορισμένη από πρότυπα. Στόχος της διπλωματική αυτής είναι η επέκταση και η εμβάθυνση σε θεμελιώδεις έννοιες του Σημασιολογικού Ιστού και η σύνδεση του με τις ΤΠΕ στην εκπαίδευση. Στα παρακάτω κεφάλαια προσεγγίζεται αναλυτικά η έννοια του Σημασιολογικού Ιστού, καθώς επίσης και οι βασικές γλώσσες σήμανσης του οι οποίες είναι: 1. Η γλώσσα σήμανσης XML, μια γλώσσα που επιτρέπει τη γραφή δομημένων εγγράφων ιστού με ένα καθορισμένο από το χρήστη λεξιλόγιο. 2. Tο Resource Description Framework (RDF) που είναι ένα πλαίσιο για την αντιπροσώπευση των πληροφοριών στον Παγκόσμιο Ιστό, όπου αναλύονται οι βασικές έννοιες που χρησιμοποιεί όπως το γραφικό μοντέλο δεδομένων, λεξιλόγιο βασισμένο στο URI, τύποι δεδομένων κ.α. 3. Το λεξιλόγιο καθορισμού του RDF (RDF Schema), που καθορίζει τις κλάσεις και τις ιδιότητες που μπορούν να χρησιμοποιηθούν για να περιγράψουν κλάσεις, ιδιότητες και άλλες πηγές. Σε επόμενο κεφάλαιο εισάγουμε στον αναγνώστη τον όρο της οντολογίας. Αναλύουμε το τι είναι οντολογία, τις κύριες λειτουργίες των οντολογιών, και προτείνεται ένα περίγραμμα για την κατασκευή των οντολογιών. Ξεχωριστή αναφορά γίνεται στο Ontology Inference Layer OIL που είναι μια πρόταση για ένα βασισμένο στον Ιστό στρώμα αντιπροσώπευσης και συμπεράσματος των οντολογιών. Επίσης γίνεται αναφορά στη βασική ιδέα σχεδιασμού του OIL που είναι το onion model του. Ακολούθως, αναλύουμε τον τρόπο με τον οποίο συντάσσεται μια οντολογία στη γλώσσα OIL. Ως συνέχεια του παραπάνω εμφανίζεται η DAML+OIL, που είναι μια σημασιολογική γλώσσα για τις πηγές του Ιστού. Στηρίζεται στα πρότυπα του W3C όπως το RDF και το RDF Schema, και επεκτείνει αυτές τις γλώσσες με ακόμα πιο πλούσιες αρχές διαμόρφωσης. Στη συνέχεια προσεγγίζουμε εκτενώς την Web Ontology Language OWL που είναι μια σημασιολογική γλώσσα σήμανσης για την έκδοση και τη διανομή των οντολογιών στον Παγκόσμιο Ιστό. Η σύνδεση του σημασιολογικού ιστού με την εκπαίδευση είναι το θέμα που αναλύεται παρακάτω με τίτλο Εκπαιδευτικός Σημασιολογικός Ιστός και γίνεται εκτενής αναφορά στις προκλήσεις και τις προοπτικές που διαφαίνονται. Η σύνδεση αυτή γίνεται με το προσαρμοστικό WBES. Ακόμα, εξετάζουμε μερικά σενάρια εφαρμογής του εκπαιδευτικού Σημασιολογικού Ιστού όπως την βασισμένη στη σημασιολογία αναζήτηση για εκπαιδευτικό περιεχόμενο, την περιήγηση στη γνώση ή «προσωπικές πύλες», τα βασισμένα στη σημασιολογία μαθήματα και τις εκπαιδευτικές υπηρεσίες σημασιολογικού ιστού. Τέλος, αναφέρουμε με συντομία εφαρμογές εκπαίδευσης βασισμένες σε οντολογίες όπως το πρόγραμμα CIPHER, το πρόγραμμα Connexions κ.α. / -
4

A retrieval method (DF FRAMEWORK) for automated retrieval of design for additive manufacturing problems

Yim, Sungshik. January 2007 (has links)
Thesis (Ph. D.)--Mechanical Engineering, Georgia Institute of Technology, 2007. / Nelson Baker, Committee Member ; Charles Eastman, Committee Member ; Christiaan Paredis, Committee Member ; Janet Allen, Committee Member ; David Rosen, Committee Chair.
5

Module extraction for inexpressive description logics

Nortje, Riku 08 1900 (has links)
Module extraction is an important reasoning task, aiding in the design, reuse and maintenance of ontologies. Reasoning services such as subsumption testing and MinA extraction have been shown to bene t from module extraction methods. Though various syntactic traversal-based module extraction algorithms exist for extracting modules, many only consider the subsumee of a subsumption statement as a selection criterion for reducing the axioms in the module. In this dissertation we extend the bottom-up reachability-based module extraction heuristic for the inexpressive Description Logic EL, by introducing a top-down version of the heuristic which utilises the subsumer of a subsumption statement as a selection criterion to minimize the number of axioms in a module. Then a combined bidirectional heuristic is introduced which uses both operands of a subsumption statement in order to extract very small modules. We then investigate the relationship between MinA extraction and bidirectional reachabilitybased module extraction. We provide empirical evidence that bidirectional reachability-based module extraction for subsumption entailments in EL provides a signi cant reduction in the size of modules for almost no additional costs in the running time of the original algorithms. / Computer Science / M. Sc. (Computer Science)
6

Practical uniform interpolation for expressive description logics

Koopmann, Patrick January 2015 (has links)
The thesis investigates methods for uniform interpolation in expressive description logics. Description logics are formalisms commonly used to model ontologies. Ontologies store terminological information and are used in a wide range of applications, such as the semantic web, medicine, bio-informatics, software development, data bases and language processing. Uniform interpolation eliminates terms from an ontology such that logical entailments in the remaining language are preserved. The result, the uniform interpolant, is a restricted view of the ontology that can be used for a variety of tasks such as ontology analysis, ontology reuse, ontology evolution and information hiding. Uniform interpolation for description logics has only gained an interest in the research community in the last years, and theoretical results show that it is a hard problem requiring specialised reasoning approaches. We present a range of uniform interpolation methods that can deal with expressive description logics such as ALC and many of its extensions. For all these logics, these are the first methods that are able to compute uniform interpolants for all inputs. The methods are based a new family of saturation-based reasoning methods, which make it possible to eliminate symbols in a goal-oriented manner. The practicality of this approach is shown by an evaluation on realistic ontologies.
7

Enhancing Description Logics For Rules Coverage

Carral Martinez, David 14 September 2012 (has links)
No description available.
8

Adding Threshold Concepts to the Description Logic EL

Fernández Gil, Oliver 14 June 2016 (has links) (PDF)
We introduce a family of logics extending the lightweight Description Logic EL, that allows us to define concepts in an approximate way. The main idea is to use a graded membership function m, which for each individual and concept yields a number in the interval [0,1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ in {<,<=,>,>=} then collect all the individuals that belong to C with degree ~t. We further study this framework in two particular directions. First, we define a specific graded membership function deg and investigate the complexity of reasoning in the resulting Description Logic tEL(deg) w.r.t. both the empty terminology and acyclic TBoxes. Second, we show how to turn concept similarity measures into membership degree functions. It turns out that under certain conditions such functions are well-defined, and therefore induce a wide range of threshold logics. Last, we present preliminary results on the computational complexity landscape of reasoning in such a big family of threshold logics.
9

A Retrieval Method (DFM Framework) for Automated Retrieval of Design for Additive Manufacturing Problems

Yim, Sungshik 08 March 2007 (has links)
Problem: The process planning task for a given design problem in additive manufacturing can be greatly enhanced by referencing previously developed process plans. However, identifying appropriate process plans for the given design problem requires appropriate mapping between the design domain and the process planning domain. Hence, the objective of this research is to establish mathematical mapping between the design domain and the process planning domain such that the previously developed appropriate process plans can be identified for the given design task. Further more, identification of an appropriate mathematical theory that enables computational mapping between the two domains is of interest. Through such computational mapping, previously developed process plans are expected to be shared in a distributed environment using an open repository. Approach: The design requirements and process plans are discretized using empirical models that compute exact values of process variables for the given design requirements. Through this discretization, subsumption relations among the discretized design requirements and process plans are identified. Appropriate process plans for a given design requirement are identified by subsumption relations in the design requirements. Also, the design requirements that can be satisfied by the given process plans are identified by subsumption relations among the process plans. To computationally realize such mapping, a description logic (ALE) is identified and justified to represent and compute subsumption relation. Based on this investigation, a retrieval method (DFM framework) is realized that enables storage and retrieval of process plans. Validation: Theoretical and empirical validations are performed using the validation square method. For the theoretical validation, an appropriate description logic (ALE) is identified and justified. Also, subsumption utilization in mapping two domains and realizing the DFM framework is justified. For the empirical validation, the storing and retrieval performance of the DFM framework is tested to demonstrate its theoretical validity. Contribution: In this research, two areas of contributions are identified: DFM and engineering information management. In DFM, the retrieval method that relates the design problem to appropriate process plans through mathematical mapping between design and process planning domain is the major contribution. In engineering information management, the major contributions are the development of information models and the identification of their characteristics. Based on this investigation, an appropriate description logic (ALE) is selected and justified. Also, corresponding computational feasibility (non deterministic polynomial time) of subsumption is identified.
10

Quantitative Methods for Similarity in Description Logics

Ecke, Andreas 29 May 2017 (has links) (PDF)
Description Logics (DLs) are a family of logic-based knowledge representation languages used to describe the knowledge of an application domain and reason about it in formally well-defined way. They allow users to describe the important notions and classes of the knowledge domain as concepts, which formalize the necessary and sufficient conditions for individual objects to belong to that concept. A variety of different DLs exist, differing in the set of properties one can use to express concepts, the so-called concept constructors, as well as the set of axioms available to describe the relations between concepts or individuals. However, all classical DLs have in common that they can only express exact knowledge, and correspondingly only allow exact inferences. Either we can infer that some individual belongs to a concept, or we can't, there is no in-between. In practice though, knowledge is rarely exact. Many definitions have their exceptions or are vaguely formulated in the first place, and people might not only be interested in exact answers, but also in alternatives that are "close enough". This thesis is aimed at tackling how to express that something "close enough", and how to integrate this notion into the formalism of Description Logics. To this end, we will use the notion of similarity and dissimilarity measures as a way to quantify how close exactly two concepts are. We will look at how useful measures can be defined in the context of DLs, and how they can be incorporated into the formal framework in order to generalize it. In particular, we will look closer at two applications of thus measures to DLs: Relaxed instance queries will incorporate a similarity measure in order to not just give the exact answer to some query, but all answers that are reasonably similar. Prototypical definitions on the other hand use a measure of dissimilarity or distance between concepts in order to allow the definitions of and reasoning with concepts that capture not just those individuals that satisfy exactly the stated properties, but also those that are "close enough".

Page generated in 0.1832 seconds