Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · date | New search

You searched for subject:(Description Logic). Showing records 1 – 30 of 57 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Levels

▼ Search Limiters


Australian National University

1. Ratcliffe, David. OWL-Miner: Concept Induction in OWL Knowledge Bases .

Degree: 2018, Australian National University

 The Resource Description Framework (RDF) and Web Ontology Language (OWL) have been widely used in recent years, and automated methods for the analysis of data… (more)

Subjects/Keywords: OWL; RDF; RDFS; DL; description logic; machine learning; subgroup discovery; concept learning; concept induction; knowledge base; semantic web

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ratcliffe, D. (2018). OWL-Miner: Concept Induction in OWL Knowledge Bases . (Thesis). Australian National University. Retrieved from http://hdl.handle.net/1885/147061

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ratcliffe, David. “OWL-Miner: Concept Induction in OWL Knowledge Bases .” 2018. Thesis, Australian National University. Accessed June 16, 2019. http://hdl.handle.net/1885/147061.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ratcliffe, David. “OWL-Miner: Concept Induction in OWL Knowledge Bases .” 2018. Web. 16 Jun 2019.

Vancouver:

Ratcliffe D. OWL-Miner: Concept Induction in OWL Knowledge Bases . [Internet] [Thesis]. Australian National University; 2018. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/1885/147061.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ratcliffe D. OWL-Miner: Concept Induction in OWL Knowledge Bases . [Thesis]. Australian National University; 2018. Available from: http://hdl.handle.net/1885/147061

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Hendi, Hayder. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.

Degree: Docteur es, Informatique. Web sémantique, 2017, Littoral

Le domaine de la logistique implique souvent la résolution de problèmes combinatoires complexes. Ces derniers font également implicitement référence à des processus, acteurs, activités et… (more)

Subjects/Keywords: Web sémantique; Ontologie; Logistique; Optimisation; Web services; Owl; Description logique; Problème d'acheminement de véhicule; Problème de train de passagers; Problème de terminal de container; Semantic web; Ontology; Logistic; Optimization; Web services; Owl; Logic description; Vehicle routing problem; Passenger train problem; Container terminal problem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hendi, H. (2017). Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. (Doctoral Dissertation). Littoral. Retrieved from http://www.theses.fr/2017DUNK0462

Chicago Manual of Style (16th Edition):

Hendi, Hayder. “Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.” 2017. Doctoral Dissertation, Littoral. Accessed June 16, 2019. http://www.theses.fr/2017DUNK0462.

MLA Handbook (7th Edition):

Hendi, Hayder. “Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.” 2017. Web. 16 Jun 2019.

Vancouver:

Hendi H. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. [Internet] [Doctoral dissertation]. Littoral; 2017. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2017DUNK0462.

Council of Science Editors:

Hendi H. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. [Doctoral Dissertation]. Littoral; 2017. Available from: http://www.theses.fr/2017DUNK0462


Rochester Institute of Technology

3. Parthipan, Vaishnavi. Image Down-Scaler Using the Box Filter Algorithm.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  One of the indispensable aspects of digital image processing is the requirement of varied image resolutions. To achieve varied resolution, scaling comes into picture.… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Memory management; Mathematical model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Parthipan, V. (2017). Image Down-Scaler Using the Box Filter Algorithm. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9704

Chicago Manual of Style (16th Edition):

Parthipan, Vaishnavi. “Image Down-Scaler Using the Box Filter Algorithm.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed June 16, 2019. https://scholarworks.rit.edu/theses/9704.

MLA Handbook (7th Edition):

Parthipan, Vaishnavi. “Image Down-Scaler Using the Box Filter Algorithm.” 2017. Web. 16 Jun 2019.

Vancouver:

Parthipan V. Image Down-Scaler Using the Box Filter Algorithm. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 Jun 16]. Available from: https://scholarworks.rit.edu/theses/9704.

Council of Science Editors:

Parthipan V. Image Down-Scaler Using the Box Filter Algorithm. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9704


Rochester Institute of Technology

4. Simha, Shashank. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  For a number of years, the hardware industry has seen a drastic rise in embedded applications. Thanks to the Internet of Things (IoT) revolution,… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Digital signal processing; Digital signal processing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Simha, S. (2017). The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9705

Chicago Manual of Style (16th Edition):

Simha, Shashank. “The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed June 16, 2019. https://scholarworks.rit.edu/theses/9705.

MLA Handbook (7th Edition):

Simha, Shashank. “The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.” 2017. Web. 16 Jun 2019.

Vancouver:

Simha S. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 Jun 16]. Available from: https://scholarworks.rit.edu/theses/9705.

Council of Science Editors:

Simha S. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9705


Rochester Institute of Technology

5. Keni, Mayuresh Vijay. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  High speed computation is the need of today’s generation of Processors. To accomplish this major task, many functions are implemented inside the hardware of… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Floating point arithmetic; Equations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Keni, M. V. (2017). Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9706

Chicago Manual of Style (16th Edition):

Keni, Mayuresh Vijay. “Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed June 16, 2019. https://scholarworks.rit.edu/theses/9706.

MLA Handbook (7th Edition):

Keni, Mayuresh Vijay. “Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.” 2017. Web. 16 Jun 2019.

Vancouver:

Keni MV. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 Jun 16]. Available from: https://scholarworks.rit.edu/theses/9706.

Council of Science Editors:

Keni MV. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9706


Rochester Institute of Technology

6. Salunkhe, Balaji. Automatic Protein Shake Freestyle Vending Machine.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  This paper discusses the design and implementation of an automatic protein shake freestyle vending machine. This machine is capable of providing protein shakes as… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Liquids; Containers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Salunkhe, B. (2017). Automatic Protein Shake Freestyle Vending Machine. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9708

Chicago Manual of Style (16th Edition):

Salunkhe, Balaji. “Automatic Protein Shake Freestyle Vending Machine.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed June 16, 2019. https://scholarworks.rit.edu/theses/9708.

MLA Handbook (7th Edition):

Salunkhe, Balaji. “Automatic Protein Shake Freestyle Vending Machine.” 2017. Web. 16 Jun 2019.

Vancouver:

Salunkhe B. Automatic Protein Shake Freestyle Vending Machine. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 Jun 16]. Available from: https://scholarworks.rit.edu/theses/9708.

Council of Science Editors:

Salunkhe B. Automatic Protein Shake Freestyle Vending Machine. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9708

7. Arif, Muhammad Fareed. The role of unsatisfiable Boolean constraints in lightweight description logics.

Degree: 2017, University College Dublin. School of Computer Science  

 Lightweight Description Logics (e.g. EL, EL+ etc.) are commonly used languagesto represent life science ontologies. In such languages ontology classification– the problem of computing all… (more)

Subjects/Keywords: Axiom Pinpointing; Description Logic; Lightweight DLs; Ontology Debugging; SAT Theory; 0|aDescription logics.; #0|aAlgebra, Boolean.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arif, M. F. (2017). The role of unsatisfiable Boolean constraints in lightweight description logics. (Thesis). University College Dublin. School of Computer Science  . Retrieved from http://hdl.handle.net/10197/8595

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Arif, Muhammad Fareed. “The role of unsatisfiable Boolean constraints in lightweight description logics.” 2017. Thesis, University College Dublin. School of Computer Science  . Accessed June 16, 2019. http://hdl.handle.net/10197/8595.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Arif, Muhammad Fareed. “The role of unsatisfiable Boolean constraints in lightweight description logics.” 2017. Web. 16 Jun 2019.

Vancouver:

Arif MF. The role of unsatisfiable Boolean constraints in lightweight description logics. [Internet] [Thesis]. University College Dublin. School of Computer Science  ; 2017. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10197/8595.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Arif MF. The role of unsatisfiable Boolean constraints in lightweight description logics. [Thesis]. University College Dublin. School of Computer Science  ; 2017. Available from: http://hdl.handle.net/10197/8595

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Rochester Institute of Technology

8. Sharma, Vyoma. Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  Arithmetic Square Root is one of the most complex but nevertheless widely used operations in modern computing. A primary reason for the complexity is… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Computer architecture; Calculators

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sharma, V. (2017). Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9703

Chicago Manual of Style (16th Edition):

Sharma, Vyoma. “Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed June 16, 2019. https://scholarworks.rit.edu/theses/9703.

MLA Handbook (7th Edition):

Sharma, Vyoma. “Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm.” 2017. Web. 16 Jun 2019.

Vancouver:

Sharma V. Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 Jun 16]. Available from: https://scholarworks.rit.edu/theses/9703.

Council of Science Editors:

Sharma V. Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9703

9. Jayakumar, Badrinath. Handling Inconsistency in Knowledge Bases.

Degree: PhD, Computer Science, 2017, Georgia State University

  Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such… (more)

Subjects/Keywords: Paraconsistent logics; Paraconsistent Relations; Description logic; Semantic Web; Description Logic Programs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jayakumar, B. (2017). Handling Inconsistency in Knowledge Bases. (Doctoral Dissertation). Georgia State University. Retrieved from https://scholarworks.gsu.edu/cs_diss/120

Chicago Manual of Style (16th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Doctoral Dissertation, Georgia State University. Accessed June 16, 2019. https://scholarworks.gsu.edu/cs_diss/120.

MLA Handbook (7th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Web. 16 Jun 2019.

Vancouver:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Internet] [Doctoral dissertation]. Georgia State University; 2017. [cited 2019 Jun 16]. Available from: https://scholarworks.gsu.edu/cs_diss/120.

Council of Science Editors:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Doctoral Dissertation]. Georgia State University; 2017. Available from: https://scholarworks.gsu.edu/cs_diss/120

10. Bouyahia, Tarek. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.

Degree: Docteur es, Informatique, 2017, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

L'accroissement et la diversification des services offerts par les systèmes informatiques modernes rendent la tâche de sécuriser ces systèmes encore plus complexe. D'une part, l'évolution… (more)

Subjects/Keywords: Logique argumentative; Réponses à l'intrusion; Sélection des contre-Mesures; Multi-Criteria Decision Making; Systèmes véhiculaire; Airs; Langage de Description d'Attaque; Anti-Corrélation; Argumentative logic; Intrusion response; Countermeasures selection; Multi-Criteria Decision Making; Automotive system; Airs; Attack description language; Anti-Correlation.; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bouyahia, T. (2017). Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. (Doctoral Dissertation). Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Retrieved from http://www.theses.fr/2017IMTA0013

Chicago Manual of Style (16th Edition):

Bouyahia, Tarek. “Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.” 2017. Doctoral Dissertation, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Accessed June 16, 2019. http://www.theses.fr/2017IMTA0013.

MLA Handbook (7th Edition):

Bouyahia, Tarek. “Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.” 2017. Web. 16 Jun 2019.

Vancouver:

Bouyahia T. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. [Internet] [Doctoral dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2017. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2017IMTA0013.

Council of Science Editors:

Bouyahia T. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. [Doctoral Dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2017. Available from: http://www.theses.fr/2017IMTA0013

11. Tay, Noel Nuo Wi. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.

Degree: 博士(工学), 2017, Tokyo Metropolitan University / 首都大学東京

首都大学東京, 2017-03-25, 博士(工学)

Subjects/Keywords: Smart home consists of various kinds of Internet of Tings (IoT) devices connected to the private house that cooperatively provide inhabitants (users) with proactive services related to comfort; security and safety. Examples of services include 1) manipulation of lighting and temperature based on time and context; 2) reminder service of user’s schedules by using the nearest output device; and 3) device organization to realize surveillance system. However; current smart homes are developed mostly from the viewpoint of technical capabilities; where users have to decide how the connected devices are going to serve them. They may have to setup the devices based on the available functionalities and specifications of the devices; and also have to alter their living styles according to the role of each device. Besides; most devices can only provide simple services independently. Œus; cooperation among the devices is important. On the other hand; human-centric approach; which centered on humans’ need to enhance their living experience; is an important technological paradigm where services are provided anywhere and anytime based on situation. Smart home abiding this approach should cooperatively maximize fulfillment of quality of life (QOL) for individual users subject to personal constraints. In this respect; the devices are bound to enable communication of information; and their operations are coordinated to deliver services cooperatively via a sequence of device actions called a plan. Due to personalization and automation; a number of problems have to be solved. First; a means of automatic binding between loosely coupled devices depending on services delivered have to be devised; as manual setup is impractical. Secondly; coordination of devices needs to generate complex plans; without requiring manual specification of sub-plans. Besides; issue of over-constrained goals during service provisions that arises from flawed or contradicting specification from multiple users should be considered. Apart from that; low training data in general environment setting for individual identification should be addressed. The aim of this research is to establish an integrated system for the human-centric smart home (HcSH) that provides personalized service through loosely coupled devices automatically. This research modularizes the overall system into three modules; which are human identification (HIM); automated planner (APM); and semantic reasoner (SRM). HIM helps select the appropriate QOL; SRM binds the devices by associating them with planning components; which are then used by APM to generate plans for device coordination to maximize QOL fulfillment. Chapter 1 gives the introduction and design motivation. Chapter 2 presents the related works and literature reviews; as well as justifications relevant to this thesis. Chapter 3 deals with HIM; which is realized via face identification. For face identification; problems faced are heavy computational load and insufficient learning data. The solution is to use transfer learning to handle data issue while being able to build generalized face model. For face model refinement; active learning is implemented. Experimental results show the method is competitive in terms of accuracy and computational cost compared to current state of the art. Chapter 4 presents APM; where planning via solving Constraint Satisfaction Problem (CSP) is laid out. CSP in planning is declarative without requiring prior specification of sub-plans; and can handle variables of larger domains. Due to the high possibility of having over-constrained QOL as in practical cases; CSP planner cannot fulfill all of them. An example is a contradicting TV channel request from 2 persons. Optimization through weighted CSP is therefore used to maximize QOL fulfillment. Experiments on weighted CSP shows that the method is capable of performing optimization while generating complex plans. Chapter 5 is on SRM; where knowledge representation is constructed by Web Ontology Language (OWL) description logic. It models knowledge on home and building layout and device functionalities. OWL is used because it is decidable and that it is endorsed by World Wide Web Consortium (W3C). We deal with case studies based on further inference on building state as an important example to discuss the applicability of the proposed method; and demonstrate the use of building ontology. This is followed by automated device binding and the method to generate basic planning components of rules in automated planning. Finally; an extension to robot complex planning is provided to demonstrate how it can be easily extended. Chapter 6 demonstrates the applicability of the HcSH; which integrates all three modules through its implementation in a prototype smart home with 5 rooms; which houses 2 persons. Various tests are performed to show the generated plans are near optimal without redundancy. Œe system is also shown to be scalable given increasing amount of devices. Case studies show that the system can perform well even under short time threshold. Finally; chapter 7 summarizes the thesis. Future vision of the work is also laid out; which is to implement it as a community-centric system.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tay, N. N. W. (2017). Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. (Thesis). Tokyo Metropolitan University / 首都大学東京. Retrieved from http://hdl.handle.net/10748/00009960

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Thesis, Tokyo Metropolitan University / 首都大学東京. Accessed June 16, 2019. http://hdl.handle.net/10748/00009960.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Web. 16 Jun 2019.

Vancouver:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Internet] [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10748/00009960.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. Available from: http://hdl.handle.net/10748/00009960

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

12. Leo, Jared Levi Jordan. Capturing Temporal Aspects of Bio-Health Ontologies.

Degree: 2016, University of Manchester

 Extending Descriptions Logics (DLs) with a temporal dimension to aid in the ability to model meaningful temporal information is an active and popular research area… (more)

Subjects/Keywords: temporal logic; description logic; bio-health; ontology

…be seen as a two dimensional Temporal Description Logic (TDL). Alternatively… …fragments of First Order Logic, they are static in nature and are limited in what they can express… …Information in Ontologies Description Logics (DLs) [BCM+ 03, BS01, KSH12] are a… …logic, allowing us to represent and query knowledge in the past or present or future. OWL 2… …static logic, being a fragment of First Order Logic. The temporal information that is present… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Leo, J. L. J. (2016). Capturing Temporal Aspects of Bio-Health Ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949

Chicago Manual of Style (16th Edition):

Leo, Jared Levi Jordan. “Capturing Temporal Aspects of Bio-Health Ontologies.” 2016. Doctoral Dissertation, University of Manchester. Accessed June 16, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949.

MLA Handbook (7th Edition):

Leo, Jared Levi Jordan. “Capturing Temporal Aspects of Bio-Health Ontologies.” 2016. Web. 16 Jun 2019.

Vancouver:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Jun 16]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949.

Council of Science Editors:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949

13. Ferrere, Thomas. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.

Degree: Docteur es, Mathématiques et Informatique, 2016, Grenoble Alpes

Cette thèse porte sur le monitorage des simulations de circuits en signaux mixtes. Dans le domaine de la vérification de matériel, l'utilisation de formalismes déclaratifs… (more)

Subjects/Keywords: Assertions; Hybride; Conception electronique assistée par ordinateur; Logique temporelle; Langages de spécification matériel; Simulation numerique; Assertions; Mixed signals; Electronic design automation; Temporal logic; Hardware description languages; Numerical simulation; 004; 629

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferrere, T. (2016). Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. (Doctoral Dissertation). Grenoble Alpes. Retrieved from http://www.theses.fr/2016GREAM050

Chicago Manual of Style (16th Edition):

Ferrere, Thomas. “Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.” 2016. Doctoral Dissertation, Grenoble Alpes. Accessed June 16, 2019. http://www.theses.fr/2016GREAM050.

MLA Handbook (7th Edition):

Ferrere, Thomas. “Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.” 2016. Web. 16 Jun 2019.

Vancouver:

Ferrere T. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. [Internet] [Doctoral dissertation]. Grenoble Alpes; 2016. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2016GREAM050.

Council of Science Editors:

Ferrere T. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. [Doctoral Dissertation]. Grenoble Alpes; 2016. Available from: http://www.theses.fr/2016GREAM050


University of Lund

14. Abdolmajidi, Ehsan. Modeling and improving Spatial Data Infrastructure (SDI).

Degree: 2016, University of Lund

 Spatial Data Infrastructure (SDI) development is widely known to be a challenging process owing to its complex and dynamic nature. Although great effort has been… (more)

Subjects/Keywords: Naturgeografi; Spatial Data Infrastructure; System Dynamics; Fuzzy Logic; Data integration; Pattern detection; Resource Description Framework (RDF); Ontology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abdolmajidi, E. (2016). Modeling and improving Spatial Data Infrastructure (SDI). (Doctoral Dissertation). University of Lund. Retrieved from http://lup.lub.lu.se/record/1b26939d-2a71-4025-aa17-ee5249fe0f38 ; http://portal.research.lu.se/ws/files/16071990/e_nailing_pdf_Ehsan.pdf

Chicago Manual of Style (16th Edition):

Abdolmajidi, Ehsan. “Modeling and improving Spatial Data Infrastructure (SDI).” 2016. Doctoral Dissertation, University of Lund. Accessed June 16, 2019. http://lup.lub.lu.se/record/1b26939d-2a71-4025-aa17-ee5249fe0f38 ; http://portal.research.lu.se/ws/files/16071990/e_nailing_pdf_Ehsan.pdf.

MLA Handbook (7th Edition):

Abdolmajidi, Ehsan. “Modeling and improving Spatial Data Infrastructure (SDI).” 2016. Web. 16 Jun 2019.

Vancouver:

Abdolmajidi E. Modeling and improving Spatial Data Infrastructure (SDI). [Internet] [Doctoral dissertation]. University of Lund; 2016. [cited 2019 Jun 16]. Available from: http://lup.lub.lu.se/record/1b26939d-2a71-4025-aa17-ee5249fe0f38 ; http://portal.research.lu.se/ws/files/16071990/e_nailing_pdf_Ehsan.pdf.

Council of Science Editors:

Abdolmajidi E. Modeling and improving Spatial Data Infrastructure (SDI). [Doctoral Dissertation]. University of Lund; 2016. Available from: http://lup.lub.lu.se/record/1b26939d-2a71-4025-aa17-ee5249fe0f38 ; http://portal.research.lu.se/ws/files/16071990/e_nailing_pdf_Ehsan.pdf

15. Leo, Jared. Capturing temporal aspects of bio-health ontologies.

Degree: PhD, 2016, University of Manchester

 Extending Descriptions Logics (DLs) with a temporal dimension to aid in the ability to model meaningful temporal information is an active and popular research area… (more)

Subjects/Keywords: 006.3; ontology; bio-health; temporal logic; description logic

…be seen as a two dimensional Temporal Description Logic (TDL). Alternatively… …fragments of First Order Logic, they are static in nature and are limited in what they can express… …Information in Ontologies Description Logics (DLs) [BCM+ 03, BS01, KSH12] are a… …logic, allowing us to represent and query knowledge in the past or present or future. OWL 2… …static logic, being a fragment of First Order Logic. The temporal information that is present… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Leo, J. (2016). Capturing temporal aspects of bio-health ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/capturing-temporal-aspects-of-biohealth-ontologies(a2f5868e-94e3-4d4b-bd1e-311358ebf7e0).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713577

Chicago Manual of Style (16th Edition):

Leo, Jared. “Capturing temporal aspects of bio-health ontologies.” 2016. Doctoral Dissertation, University of Manchester. Accessed June 16, 2019. https://www.research.manchester.ac.uk/portal/en/theses/capturing-temporal-aspects-of-biohealth-ontologies(a2f5868e-94e3-4d4b-bd1e-311358ebf7e0).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713577.

MLA Handbook (7th Edition):

Leo, Jared. “Capturing temporal aspects of bio-health ontologies.” 2016. Web. 16 Jun 2019.

Vancouver:

Leo J. Capturing temporal aspects of bio-health ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Jun 16]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/capturing-temporal-aspects-of-biohealth-ontologies(a2f5868e-94e3-4d4b-bd1e-311358ebf7e0).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713577.

Council of Science Editors:

Leo J. Capturing temporal aspects of bio-health ontologies. [Doctoral Dissertation]. University of Manchester; 2016. Available from: https://www.research.manchester.ac.uk/portal/en/theses/capturing-temporal-aspects-of-biohealth-ontologies(a2f5868e-94e3-4d4b-bd1e-311358ebf7e0).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713577


Brno University of Technology

16. Partika, Marek. Publikace dat ze sítě meteostanic ve formátu DATEX II .

Degree: 2016, Brno University of Technology

 Diplomová práce se zabývá implementací evropského standardu DATEX II. Tento standard udává formát dat pro přenos informací v silniční dopravě. V silniční dopravě proudí toky… (more)

Subjects/Keywords: PLC – programovatelný logický automat Fy – firma TICs – dopravní informační centra TCCs – dopravní kontrolní středisko SPs – poskytovatelé služeb UML – univerzální modelovací jazyk XML – rozšiřitelný značkovací jazyk XMI – výměna metamodelů XML XSD – XML schéma WSDL – jazyk pro popis webových služeb URL – jednotný lokátor zdrojů HTTP – protokol pro přenos hypertexu SOAP – jednoduchý protokol pro přístup k objektům REST – architektura rozhraní URL – jednotná adresa zdroje SQL – strukturovaný dotazovací jazyk XPATH – jazyk pro práci s XML dokumenty; PLC – Pragrammable Logic Controller Fy – firm TICs – Traffic Information Centres TCCs – Traffic Control Centres SPs – Service Providers UML – Unified Modeling Language XML – extensible Markup Language XMI – XML metadata interchange XSD – XML schema definition WSDL – Web Service Description Language URL – Unique Resource Locator HTTP – Hypertex Transfer Protocol SOAP – Simple Object Acces Protocol REST – Representational State Transfer URL – Uniform Resource Locator SQL – Structured Query Language XPATH – XML Path Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Partika, M. (2016). Publikace dat ze sítě meteostanic ve formátu DATEX II . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/58661

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Partika, Marek. “Publikace dat ze sítě meteostanic ve formátu DATEX II .” 2016. Thesis, Brno University of Technology. Accessed June 16, 2019. http://hdl.handle.net/11012/58661.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Partika, Marek. “Publikace dat ze sítě meteostanic ve formátu DATEX II .” 2016. Web. 16 Jun 2019.

Vancouver:

Partika M. Publikace dat ze sítě meteostanic ve formátu DATEX II . [Internet] [Thesis]. Brno University of Technology; 2016. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/11012/58661.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Partika M. Publikace dat ze sítě meteostanic ve formátu DATEX II . [Thesis]. Brno University of Technology; 2016. Available from: http://hdl.handle.net/11012/58661

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Wright State University

17. Huster, Todd. OWL query answering using machine learning.

Degree: MS, Computer Science, 2015, Wright State University

 The formal semantics of the Web Ontology Language (OWL) enables automated reasoning overOWL knowledge bases, which in turn can be used for a variety of… (more)

Subjects/Keywords: Artificial Intelligence; Computer Science; approximate reasoning; OWL query answering; Semantic Web; SPARQL; ontology; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Huster, T. (2015). OWL query answering using machine learning. (Masters Thesis). Wright State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806

Chicago Manual of Style (16th Edition):

Huster, Todd. “OWL query answering using machine learning.” 2015. Masters Thesis, Wright State University. Accessed June 16, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806.

MLA Handbook (7th Edition):

Huster, Todd. “OWL query answering using machine learning.” 2015. Web. 16 Jun 2019.

Vancouver:

Huster T. OWL query answering using machine learning. [Internet] [Masters thesis]. Wright State University; 2015. [cited 2019 Jun 16]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806.

Council of Science Editors:

Huster T. OWL query answering using machine learning. [Masters Thesis]. Wright State University; 2015. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806


University of Miami

18. Arhami, Negin. Automated Theorem Proving by Translation to Description Logic.

Degree: PhD, Computer Science (Arts and Sciences), 2015, University of Miami

 Many Automated Theorem Proving (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed and… (more)

Subjects/Keywords: Automated Theorem Proving; TPTP; Description Logic; Logic Translation; Conjunctive Normal Form (CNF)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arhami, N. (2015). Automated Theorem Proving by Translation to Description Logic. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1564

Chicago Manual of Style (16th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Doctoral Dissertation, University of Miami. Accessed June 16, 2019. https://scholarlyrepository.miami.edu/oa_dissertations/1564.

MLA Handbook (7th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Web. 16 Jun 2019.

Vancouver:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2019 Jun 16]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564.

Council of Science Editors:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564

19. Sengupta, Kunal. A Language for Inconsistency-Tolerant Ontology Mapping.

Degree: PhD, Computer Science and Engineering PhD, 2015, Wright State University

 Ontology alignment plays a key role in enabling interoperability among various data sources present in the web. The nature of the world is such, that… (more)

Subjects/Keywords: Computer Science; description logic; ontology mapping language; ontology alignment lanuguage; ontology alignment; ontology Mapping; non monotonic reasoning; default logic; circumscription; semantic web; web ontology language

…using the standard description logic (DL) based languages, is the problem of logical… …description logic constructs would render the merged ontology inconsistent. However, specifying the… …well-known subset of First Order Logic (FOL), Description Logics (DLs)… …this section, we first provide the syntax for the description logic SROIQ, followed by its… …meaning of the constructs. Description logic follows model theoretic semantics, in this section… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sengupta, K. (2015). A Language for Inconsistency-Tolerant Ontology Mapping. (Doctoral Dissertation). Wright State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=wright1441044183

Chicago Manual of Style (16th Edition):

Sengupta, Kunal. “A Language for Inconsistency-Tolerant Ontology Mapping.” 2015. Doctoral Dissertation, Wright State University. Accessed June 16, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=wright1441044183.

MLA Handbook (7th Edition):

Sengupta, Kunal. “A Language for Inconsistency-Tolerant Ontology Mapping.” 2015. Web. 16 Jun 2019.

Vancouver:

Sengupta K. A Language for Inconsistency-Tolerant Ontology Mapping. [Internet] [Doctoral dissertation]. Wright State University; 2015. [cited 2019 Jun 16]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1441044183.

Council of Science Editors:

Sengupta K. A Language for Inconsistency-Tolerant Ontology Mapping. [Doctoral Dissertation]. Wright State University; 2015. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1441044183


University of Miami

20. Abeyruwan, Saminda W. Learnable Knowledge for Autonomous Agents.

Degree: PhD, Computer Science (Arts and Sciences), 2015, University of Miami

 While computation power has increased and the statistical machine learning methods have made substantial advancement, many problems that would benefit from real-time interpretation have not… (more)

Subjects/Keywords: Learnable Knowledge; Autonomous Agents; Description Logic; Real-Time Interpretation and Reasoning; General Value Functions; Reinforcement Learning; RoboCup 3D Soccer Simulation; High-Throughput Screening; Axon Regeneration

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abeyruwan, S. W. (2015). Learnable Knowledge for Autonomous Agents. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1462

Chicago Manual of Style (16th Edition):

Abeyruwan, Saminda W. “Learnable Knowledge for Autonomous Agents.” 2015. Doctoral Dissertation, University of Miami. Accessed June 16, 2019. https://scholarlyrepository.miami.edu/oa_dissertations/1462.

MLA Handbook (7th Edition):

Abeyruwan, Saminda W. “Learnable Knowledge for Autonomous Agents.” 2015. Web. 16 Jun 2019.

Vancouver:

Abeyruwan SW. Learnable Knowledge for Autonomous Agents. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2019 Jun 16]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1462.

Council of Science Editors:

Abeyruwan SW. Learnable Knowledge for Autonomous Agents. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1462


University of Miami

21. Xu, Jia. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.

Degree: PhD, Electrical and Computer Engineering (Engineering), 2015, University of Miami

Description logics (DLs), as a decidable fragment of first-order logic, are a family of logic based formalisms for knowledge representation and the mathematical underpinning of… (more)

Subjects/Keywords: Ontology; Description Logic; Query; ABox; Modularity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Xu, J. (2015). Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1363

Chicago Manual of Style (16th Edition):

Xu, Jia. “Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.” 2015. Doctoral Dissertation, University of Miami. Accessed June 16, 2019. https://scholarlyrepository.miami.edu/oa_dissertations/1363.

MLA Handbook (7th Edition):

Xu, Jia. “Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.” 2015. Web. 16 Jun 2019.

Vancouver:

Xu J. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2019 Jun 16]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1363.

Council of Science Editors:

Xu J. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1363

22. Yousef Sanati, Morteza. A Metric Interval-based Temporal Description Logic.

Degree: PhD, 2015, McMaster University

Because of the importance of undecidability and the concern with the high complexity of automated reasoning, a few interval-based temporal description logics (ITDLs) have been… (more)

Subjects/Keywords: Metric interval-based temporal logic; Temporal Description Logic; Tableau-based satisfiability checking; Guideline Modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Yousef Sanati, M. (2015). A Metric Interval-based Temporal Description Logic. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/16783

Chicago Manual of Style (16th Edition):

Yousef Sanati, Morteza. “A Metric Interval-based Temporal Description Logic.” 2015. Doctoral Dissertation, McMaster University. Accessed June 16, 2019. http://hdl.handle.net/11375/16783.

MLA Handbook (7th Edition):

Yousef Sanati, Morteza. “A Metric Interval-based Temporal Description Logic.” 2015. Web. 16 Jun 2019.

Vancouver:

Yousef Sanati M. A Metric Interval-based Temporal Description Logic. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/11375/16783.

Council of Science Editors:

Yousef Sanati M. A Metric Interval-based Temporal Description Logic. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/16783

23. Cheh, Carmen. The cyber-physical topology language: definition and operations.

Degree: MS, 0112, 2015, University of Illinois – Urbana-Champaign

 As the number of security incidents and sophistication of those attacks increase, it is difficult to properly detect and diagnose malicious behavior. We conjecture that… (more)

Subjects/Keywords: Cyber-Physical Topology Language (CPTL); intrusion detection; description logic; graph theory; ontology

Description Logic (DL) that provides a formal specification so that we can automatically… …developed a representation of information in terms of a graph, ontology, and description logic… …description logic 18 DL(NI , NC , NR , NF ), which defines the knowledge domain of the… …definition of an ontology and description logic below. NI : The individual names defined in the DL… …we define a description logic DL(NI , NC , NR , NF ) that represents the… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cheh, C. (2015). The cyber-physical topology language: definition and operations. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/72850

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cheh, Carmen. “The cyber-physical topology language: definition and operations.” 2015. Thesis, University of Illinois – Urbana-Champaign. Accessed June 16, 2019. http://hdl.handle.net/2142/72850.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cheh, Carmen. “The cyber-physical topology language: definition and operations.” 2015. Web. 16 Jun 2019.

Vancouver:

Cheh C. The cyber-physical topology language: definition and operations. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/2142/72850.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cheh C. The cyber-physical topology language: definition and operations. [Thesis]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/72850

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Miami

24. Arhami, Negin. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.

Degree: MS, Computer Science (Arts and Sciences), 2014, University of Miami

  Many Automated Theorem Prover (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed… (more)

Subjects/Keywords: Automated Theorem Proving; Description Logic; Logic Translation; Conjunctive Normal Form (CNF); Logical Form; Automated Reasoning; Saffron DL Translator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arhami, N. (2014). The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. (Thesis). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_theses/519

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Thesis, University of Miami. Accessed June 16, 2019. https://scholarlyrepository.miami.edu/oa_theses/519.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Web. 16 Jun 2019.

Vancouver:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Internet] [Thesis]. University of Miami; 2014. [cited 2019 Jun 16]. Available from: https://scholarlyrepository.miami.edu/oa_theses/519.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Thesis]. University of Miami; 2014. Available from: https://scholarlyrepository.miami.edu/oa_theses/519

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

25. Carriço, Bruno Miguel Alves. e-Recruitment: descrição e inferência sobre oferta e procura.

Degree: 2014, Repositório Científico do Instituto Politécnico de Lisboa

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

A procura pelo currículo que melhor responda às necessidades dos… (more)

Subjects/Keywords: HR-XML recruiting specification; OWL/DL description logic; Recruitment semantic matching

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Carriço, B. M. A. (2014). e-Recruitment: descrição e inferência sobre oferta e procura. (Thesis). Repositório Científico do Instituto Politécnico de Lisboa. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Carriço, Bruno Miguel Alves. “e-Recruitment: descrição e inferência sobre oferta e procura.” 2014. Thesis, Repositório Científico do Instituto Politécnico de Lisboa. Accessed June 16, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Carriço, Bruno Miguel Alves. “e-Recruitment: descrição e inferência sobre oferta e procura.” 2014. Web. 16 Jun 2019.

Vancouver:

Carriço BMA. e-Recruitment: descrição e inferência sobre oferta e procura. [Internet] [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2014. [cited 2019 Jun 16]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Carriço BMA. e-Recruitment: descrição e inferência sobre oferta e procura. [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2014. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Oxford

26. Morak, Michael. The impact of disjunction on reasoning under existential rules.

Degree: PhD, 2014, University of Oxford

 Ontological database management systems are a powerful tool that combine traditional database techniques with ontological reasoning methods. In this setting, a classical extensional database is… (more)

Subjects/Keywords: 006.3; Knowledge Representation; Logic; Ontological Reasoning; Artificial Intelligence; Databases; Description Logics; Existential Rules; Disjunction; Complexity; Tuple-Generating Dependencies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Morak, M. (2014). The impact of disjunction on reasoning under existential rules. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691

Chicago Manual of Style (16th Edition):

Morak, Michael. “The impact of disjunction on reasoning under existential rules.” 2014. Doctoral Dissertation, University of Oxford. Accessed June 16, 2019. http://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691.

MLA Handbook (7th Edition):

Morak, Michael. “The impact of disjunction on reasoning under existential rules.” 2014. Web. 16 Jun 2019.

Vancouver:

Morak M. The impact of disjunction on reasoning under existential rules. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2019 Jun 16]. Available from: http://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691.

Council of Science Editors:

Morak M. The impact of disjunction on reasoning under existential rules. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691

27. Newsom, Eric Tyner. An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences.

Degree: 2013, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

The amount of information produced in the form of electronic free text in healthcare is increasing to levels incapable of… (more)

Subjects/Keywords: Natural Language Processing; Information Extraction; Predicate-Argument Structure; Semantic Similarity; Computational linguistics  – Analysis; Natural language processing (Computer science); Semantic computing  – Research; Semantics  – Data processing; Description logics; Electronic information resource searching  – Research; Data mining; Semantic Web; Text processing (Computer science); Information storage and retrieval systems  – Research; Predicate (Logic); Medical informatics  – Data processing

…are not dependent on 6 verb. Table 3 shows how the description of argument roles differ… …credit hour at IUPUI last year for tuition Verb paid Possible Arguments Argument Description… …destination of attention Arg3 commodity, paid for what Argument Modifiers Modifier Description… …Montreil, 1994). The theoretical contribution of propositional logic to NLP plays an… …perform deductive reasoning (Gallier, 1986). Propositional logic becomes a way to… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Newsom, E. T. (2013). An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/3666

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Newsom, Eric Tyner. “An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences.” 2013. Thesis, IUPUI. Accessed June 16, 2019. http://hdl.handle.net/1805/3666.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Newsom, Eric Tyner. “An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences.” 2013. Web. 16 Jun 2019.

Vancouver:

Newsom ET. An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences. [Internet] [Thesis]. IUPUI; 2013. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/1805/3666.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Newsom ET. An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences. [Thesis]. IUPUI; 2013. Available from: http://hdl.handle.net/1805/3666

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

28. Niang, Cheikh Ahmed Tidiane. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.

Degree: Docteur es, Informatique, 2013, Tours; Université de Saint-Louis (Sénégal)

Les travaux que nous présentons dans cette thèse concernent l’automatisation de la construction de systèmes médiateurs pour le web sémantique. L’intégration de données de manière… (more)

Subjects/Keywords: Web sémantique; Ontologies; Ontologies de référence; Intégration de données; Systèmes de médiation; Ontology-Based Data Access (OBDA); Schéma global; Logique de description; Automatisation; Construction incrémentale; Semantic web; Ontologies; Domain-reference ontologies; Data integration; Semantic mediator systems; Ontology-Based Data Access (OBDA); Global schema; Description Logic; Automation; Incremental building process

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Niang, C. A. T. (2013). Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. (Doctoral Dissertation). Tours; Université de Saint-Louis (Sénégal). Retrieved from http://www.theses.fr/2013TOUR4020

Chicago Manual of Style (16th Edition):

Niang, Cheikh Ahmed Tidiane. “Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.” 2013. Doctoral Dissertation, Tours; Université de Saint-Louis (Sénégal). Accessed June 16, 2019. http://www.theses.fr/2013TOUR4020.

MLA Handbook (7th Edition):

Niang, Cheikh Ahmed Tidiane. “Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.” 2013. Web. 16 Jun 2019.

Vancouver:

Niang CAT. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. [Internet] [Doctoral dissertation]. Tours; Université de Saint-Louis (Sénégal); 2013. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2013TOUR4020.

Council of Science Editors:

Niang CAT. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. [Doctoral Dissertation]. Tours; Université de Saint-Louis (Sénégal); 2013. Available from: http://www.theses.fr/2013TOUR4020


Universiteit Utrecht

29. Beek, L.L.A.M. van. Object Classification through Probabilistic Common Sense Knowledge Reasoning.

Degree: 2013, Universiteit Utrecht

 This thesis presents a manner for object classification by the use of semantic knowledge and probabilistic reasoning with such knowledge. An ontology of object classes… (more)

Subjects/Keywords: object classification; ontology; markov logic; probabilistic reasoning; hierarchical object classification; semantic knowledge; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Beek, L. L. A. M. v. (2013). Object Classification through Probabilistic Common Sense Knowledge Reasoning. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/268192

Chicago Manual of Style (16th Edition):

Beek, L L A M van. “Object Classification through Probabilistic Common Sense Knowledge Reasoning.” 2013. Masters Thesis, Universiteit Utrecht. Accessed June 16, 2019. http://dspace.library.uu.nl:8080/handle/1874/268192.

MLA Handbook (7th Edition):

Beek, L L A M van. “Object Classification through Probabilistic Common Sense Knowledge Reasoning.” 2013. Web. 16 Jun 2019.

Vancouver:

Beek LLAMv. Object Classification through Probabilistic Common Sense Knowledge Reasoning. [Internet] [Masters thesis]. Universiteit Utrecht; 2013. [cited 2019 Jun 16]. Available from: http://dspace.library.uu.nl:8080/handle/1874/268192.

Council of Science Editors:

Beek LLAMv. Object Classification through Probabilistic Common Sense Knowledge Reasoning. [Masters Thesis]. Universiteit Utrecht; 2013. Available from: http://dspace.library.uu.nl:8080/handle/1874/268192


Loughborough University

30. Kumar, Sri K. Tools for enterprises collaboration in virtual enterprises.

Degree: PhD, 2013, Loughborough University

 Virtual Enterprise (VE) is an organizational collaboration concept which provides a competitive edge in the globalized business environment. The life cycle of a VE consists… (more)

Subjects/Keywords: 658.4; Virtual Enterprise (VE); Ontology; Description Logic (DL); Cooperative game theory; Nonlinear programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kumar, S. K. (2013). Tools for enterprises collaboration in virtual enterprises. (Doctoral Dissertation). Loughborough University. Retrieved from https://dspace.lboro.ac.uk/2134/12512 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587964

Chicago Manual of Style (16th Edition):

Kumar, Sri K. “Tools for enterprises collaboration in virtual enterprises.” 2013. Doctoral Dissertation, Loughborough University. Accessed June 16, 2019. https://dspace.lboro.ac.uk/2134/12512 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587964.

MLA Handbook (7th Edition):

Kumar, Sri K. “Tools for enterprises collaboration in virtual enterprises.” 2013. Web. 16 Jun 2019.

Vancouver:

Kumar SK. Tools for enterprises collaboration in virtual enterprises. [Internet] [Doctoral dissertation]. Loughborough University; 2013. [cited 2019 Jun 16]. Available from: https://dspace.lboro.ac.uk/2134/12512 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587964.

Council of Science Editors:

Kumar SK. Tools for enterprises collaboration in virtual enterprises. [Doctoral Dissertation]. Loughborough University; 2013. Available from: https://dspace.lboro.ac.uk/2134/12512 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587964

[1] [2]

.