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 · dateNew search

Language: English

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

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Waterloo

1. Ben-David, Shoham. Applications of Description Logic and Causality in Model Checking.

Degree: 2009, University of Waterloo

 Model checking is an automated technique for the verification of finite-state systems that is widely used in practice. In model checking, a model M is… (more)

Subjects/Keywords: Model Checking; Description Logic; Causality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ben-David, S. (2009). Applications of Description Logic and Causality in Model Checking. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/4485

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):

Ben-David, Shoham. “Applications of Description Logic and Causality in Model Checking.” 2009. Thesis, University of Waterloo. Accessed June 20, 2019. http://hdl.handle.net/10012/4485.

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

MLA Handbook (7th Edition):

Ben-David, Shoham. “Applications of Description Logic and Causality in Model Checking.” 2009. Web. 20 Jun 2019.

Vancouver:

Ben-David S. Applications of Description Logic and Causality in Model Checking. [Internet] [Thesis]. University of Waterloo; 2009. [cited 2019 Jun 20]. Available from: http://hdl.handle.net/10012/4485.

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

Council of Science Editors:

Ben-David S. Applications of Description Logic and Causality in Model Checking. [Thesis]. University of Waterloo; 2009. Available from: http://hdl.handle.net/10012/4485

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


University of Manchester

2. Klinov, Pavel. Practical Reasoning in Probabilistic Description Logic.

Degree: 2011, University of Manchester

Description Logics (DLs) form a family of languages which correspond to decidable fragments of First-Order Logic (FOL). They have been overwhelmingly successful for constructing ontologies—conceptual… (more)

Subjects/Keywords: Description logic; Probability; Automated reasoning; Ontology; Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klinov, P. (2011). Practical Reasoning in Probabilistic Description Logic. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054

Chicago Manual of Style (16th Edition):

Klinov, Pavel. “Practical Reasoning in Probabilistic Description Logic.” 2011. Doctoral Dissertation, University of Manchester. Accessed June 20, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054.

MLA Handbook (7th Edition):

Klinov, Pavel. “Practical Reasoning in Probabilistic Description Logic.” 2011. Web. 20 Jun 2019.

Vancouver:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 Jun 20]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054.

Council of Science Editors:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Doctoral Dissertation]. University of Manchester; 2011. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054


Universiteit Utrecht

3. Grossi, D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.

Degree: 2007, Universiteit Utrecht

 The work presented in this thesis suggestively moves from the consideration that what makes social notions difficult to grasp lies probably in their intrinsic "invisibility".… (more)

Subjects/Keywords: Informatica; institutions; organizations; norms; contexts; constitutive rules; modal logic; deontic logic; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grossi, D. (2007). Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/22838

Chicago Manual of Style (16th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Doctoral Dissertation, Universiteit Utrecht. Accessed June 20, 2019. http://dspace.library.uu.nl:8080/handle/1874/22838.

MLA Handbook (7th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Web. 20 Jun 2019.

Vancouver:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2007. [cited 2019 Jun 20]. Available from: http://dspace.library.uu.nl:8080/handle/1874/22838.

Council of Science Editors:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Doctoral Dissertation]. Universiteit Utrecht; 2007. Available from: http://dspace.library.uu.nl:8080/handle/1874/22838


Universiteit Utrecht

4. 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 20, 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. 20 Jun 2019.

Vancouver:

Beek LLAMv. Object Classification through Probabilistic Common Sense Knowledge Reasoning. [Internet] [Masters thesis]. Universiteit Utrecht; 2013. [cited 2019 Jun 20]. 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

5. 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 20, 2019. http://hdl.handle.net/11375/16783.

MLA Handbook (7th Edition):

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

Vancouver:

Yousef Sanati M. A Metric Interval-based Temporal Description Logic. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Jun 20]. 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


Universidade Nova

6. Knorr, Matthias. Combining open and closed world reasoning for the semantic web.

Degree: 2011, Universidade Nova

Dissertação para obtenção do Grau de Doutor em Informática

One important problem in the ongoing standardization of knowledge representation languages for the Semantic Web is… (more)

Subjects/Keywords: Semantic web; Non-monotonic reasoning; Description logics; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Knorr, M. (2011). Combining open and closed world reasoning for the semantic web. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702

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):

Knorr, Matthias. “Combining open and closed world reasoning for the semantic web.” 2011. Thesis, Universidade Nova. Accessed June 20, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702.

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

MLA Handbook (7th Edition):

Knorr, Matthias. “Combining open and closed world reasoning for the semantic web.” 2011. Web. 20 Jun 2019.

Vancouver:

Knorr M. Combining open and closed world reasoning for the semantic web. [Internet] [Thesis]. Universidade Nova; 2011. [cited 2019 Jun 20]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702.

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

Council of Science Editors:

Knorr M. Combining open and closed world reasoning for the semantic web. [Thesis]. Universidade Nova; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702

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


University of New South Wales

7. Lee, Kevin. Inconsistency management for description logics.

Degree: Computer Science & Engineering, 2012, University of New South Wales

Description logics belong to a family of knowledge representation formalisms that are widely used for representing ontologies. However, ontologies are subject to changes and are… (more)

Subjects/Keywords: Knowledge representation and reasoning; Description logic; Belief change

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, K. (2012). Inconsistency management for description logics. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Lee, Kevin. “Inconsistency management for description logics.” 2012. Doctoral Dissertation, University of New South Wales. Accessed June 20, 2019. http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true.

MLA Handbook (7th Edition):

Lee, Kevin. “Inconsistency management for description logics.” 2012. Web. 20 Jun 2019.

Vancouver:

Lee K. Inconsistency management for description logics. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2019 Jun 20]. Available from: http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true.

Council of Science Editors:

Lee K. Inconsistency management for description logics. [Doctoral Dissertation]. University of New South Wales; 2012. Available from: http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true


Florida Atlantic University

8. Cividanes, Ernesto. Smart low power obstacle avoidance device.

Degree: M.S.C.S., 2010, Florida Atlantic University

Summary: Several technologies are being made available for the blind and the visually impaired with the use of infrared and sonar sensors, Radio Frequency Identification,… (more)

Subjects/Keywords: Verilog (Computer hardware description language); VHDL (Computer hardware description language); Rapid prototyping; Logic design; Intelligent control systems; Brain-computer interfaces

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cividanes, E. (2010). Smart low power obstacle avoidance device. (Masters Thesis). Florida Atlantic University. Retrieved from http://purl.flvc.org/FAU/2954841

Chicago Manual of Style (16th Edition):

Cividanes, Ernesto. “Smart low power obstacle avoidance device.” 2010. Masters Thesis, Florida Atlantic University. Accessed June 20, 2019. http://purl.flvc.org/FAU/2954841.

MLA Handbook (7th Edition):

Cividanes, Ernesto. “Smart low power obstacle avoidance device.” 2010. Web. 20 Jun 2019.

Vancouver:

Cividanes E. Smart low power obstacle avoidance device. [Internet] [Masters thesis]. Florida Atlantic University; 2010. [cited 2019 Jun 20]. Available from: http://purl.flvc.org/FAU/2954841.

Council of Science Editors:

Cividanes E. Smart low power obstacle avoidance device. [Masters Thesis]. Florida Atlantic University; 2010. Available from: http://purl.flvc.org/FAU/2954841

9. 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 20, 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. 20 Jun 2019.

Vancouver:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Jun 20]. 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


Wright State University

10. 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 20, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806.

MLA Handbook (7th Edition):

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

Vancouver:

Huster T. OWL query answering using machine learning. [Internet] [Masters thesis]. Wright State University; 2015. [cited 2019 Jun 20]. 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

11. Grossi, D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.

Degree: 2007, University Utrecht

 The work presented in this thesis suggestively moves from the consideration that what makes social notions difficult to grasp lies probably in their intrinsic "invisibility".… (more)

Subjects/Keywords: institutions; organizations; norms; contexts; constitutive rules; modal logic; deontic logic; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grossi, D. (2007). Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. (Doctoral Dissertation). University Utrecht. Retrieved from http://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; http://dspace.library.uu.nl/handle/1874/22838

Chicago Manual of Style (16th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Doctoral Dissertation, University Utrecht. Accessed June 20, 2019. http://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; http://dspace.library.uu.nl/handle/1874/22838.

MLA Handbook (7th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Web. 20 Jun 2019.

Vancouver:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Internet] [Doctoral dissertation]. University Utrecht; 2007. [cited 2019 Jun 20]. Available from: http://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; http://dspace.library.uu.nl/handle/1874/22838.

Council of Science Editors:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Doctoral Dissertation]. University Utrecht; 2007. Available from: http://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; http://dspace.library.uu.nl/handle/1874/22838


University of Illinois – Chicago

12. Gjomemo, Rigel. An Interoperation Framework for Context-aware Access Control.

Degree: 2012, University of Illinois – Chicago

 An access control system can be defined as a set of policies, models and enforcement mechanisms that are used to restrict access to data and… (more)

Subjects/Keywords: Access Control models; Semantic Web; OWL; Description Logic; Context-aware RBAC; Role Based Access Control; Ontology Web Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gjomemo, R. (2012). An Interoperation Framework for Context-aware Access Control. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/8651

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):

Gjomemo, Rigel. “An Interoperation Framework for Context-aware Access Control.” 2012. Thesis, University of Illinois – Chicago. Accessed June 20, 2019. http://hdl.handle.net/10027/8651.

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

MLA Handbook (7th Edition):

Gjomemo, Rigel. “An Interoperation Framework for Context-aware Access Control.” 2012. Web. 20 Jun 2019.

Vancouver:

Gjomemo R. An Interoperation Framework for Context-aware Access Control. [Internet] [Thesis]. University of Illinois – Chicago; 2012. [cited 2019 Jun 20]. Available from: http://hdl.handle.net/10027/8651.

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

Council of Science Editors:

Gjomemo R. An Interoperation Framework for Context-aware Access Control. [Thesis]. University of Illinois – Chicago; 2012. Available from: http://hdl.handle.net/10027/8651

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


Universidade Nova

13. Gomes, Ana Sofia. Derivation methods for hybrid knowledge bases with rules and ontologies.

Degree: 2009, Universidade Nova

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

First of all, I… (more)

Subjects/Keywords: Hybrid knowledge bases; Semantic web; Ontologies; Description logics; Rules; Logic programming; Well-founded semantics; Nonmonotonic reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gomes, A. S. (2009). Derivation methods for hybrid knowledge bases with rules and ontologies. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563

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):

Gomes, Ana Sofia. “Derivation methods for hybrid knowledge bases with rules and ontologies.” 2009. Thesis, Universidade Nova. Accessed June 20, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563.

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

MLA Handbook (7th Edition):

Gomes, Ana Sofia. “Derivation methods for hybrid knowledge bases with rules and ontologies.” 2009. Web. 20 Jun 2019.

Vancouver:

Gomes AS. Derivation methods for hybrid knowledge bases with rules and ontologies. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2019 Jun 20]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563.

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

Council of Science Editors:

Gomes AS. Derivation methods for hybrid knowledge bases with rules and ontologies. [Thesis]. Universidade Nova; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563

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


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 20, 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. 20 Jun 2019.

Vancouver:

Abdolmajidi E. Modeling and improving Spatial Data Infrastructure (SDI). [Internet] [Doctoral dissertation]. University of Lund; 2016. [cited 2019 Jun 20]. 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


Australian National University

15. 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 20, 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. 20 Jun 2019.

Vancouver:

Ratcliffe D. OWL-Miner: Concept Induction in OWL Knowledge Bases . [Internet] [Thesis]. Australian National University; 2018. [cited 2019 Jun 20]. 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

16. 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 20, 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. 20 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 20]. 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


MIT

17. Smith, George Edwin. Rigid designation, scope and modality .

Degree: 1979, MIT

Subjects/Keywords: Linguistics and Philosophy; Description (Philosophy); Modality (Logic); Reference (Linguistics); Names

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, G. E. (1979). Rigid designation, scope and modality . (Thesis). MIT. Retrieved from http://hdl.handle.net/1721.1/16321

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):

Smith, George Edwin. “Rigid designation, scope and modality .” 1979. Thesis, MIT. Accessed June 20, 2019. http://hdl.handle.net/1721.1/16321.

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

MLA Handbook (7th Edition):

Smith, George Edwin. “Rigid designation, scope and modality .” 1979. Web. 20 Jun 2019.

Vancouver:

Smith GE. Rigid designation, scope and modality . [Internet] [Thesis]. MIT; 1979. [cited 2019 Jun 20]. Available from: http://hdl.handle.net/1721.1/16321.

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

Council of Science Editors:

Smith GE. Rigid designation, scope and modality . [Thesis]. MIT; 1979. Available from: http://hdl.handle.net/1721.1/16321

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

18. 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 20, 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. 20 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 20]. 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

19. 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 20, 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. 20 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 20]. 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

20. 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 20, 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. 20 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 20]. 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


University of Toronto

21. Gu, Yilan. Advanced Reasoning about Dynamical Systems.

Degree: 2010, University of Toronto

In this thesis, we study advanced reasoning about dynamical systems in a logical framework  – the situation calculus. In particular, we consider promoting the efficiency… (more)

Subjects/Keywords: knowledge representation and reasoning; reasoning about action and change; situation calculus; decidable reasoning; description logics; two-variable first-order logic with counting quantifiers; action hierarchies; order-sorted logic; regression; computational advantages; 0894; 0800

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gu, Y. (2010). Advanced Reasoning about Dynamical Systems. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/26274

Chicago Manual of Style (16th Edition):

Gu, Yilan. “Advanced Reasoning about Dynamical Systems.” 2010. Doctoral Dissertation, University of Toronto. Accessed June 20, 2019. http://hdl.handle.net/1807/26274.

MLA Handbook (7th Edition):

Gu, Yilan. “Advanced Reasoning about Dynamical Systems.” 2010. Web. 20 Jun 2019.

Vancouver:

Gu Y. Advanced Reasoning about Dynamical Systems. [Internet] [Doctoral dissertation]. University of Toronto; 2010. [cited 2019 Jun 20]. Available from: http://hdl.handle.net/1807/26274.

Council of Science Editors:

Gu Y. Advanced Reasoning about Dynamical Systems. [Doctoral Dissertation]. University of Toronto; 2010. Available from: http://hdl.handle.net/1807/26274

22. Dmitrieva, Joelia Borisovna. Aspects of ontology visualization and integration.

Degree: 2011, Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University

 In this thesis we will describe and discuss methodologies for ontology visualization and integration. Two visualization methods will be elaborated. In one method the ontology… (more)

Subjects/Keywords: Description Logic; Information visualization; Ontology integration; Ontology modularity; Ontology visualization; Semantic web; Description Logic; Information visualization; Ontology integration; Ontology modularity; Ontology visualization; Semantic web

Page 1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dmitrieva, J. B. (2011). Aspects of ontology visualization and integration. (Doctoral Dissertation). Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University. Retrieved from http://hdl.handle.net/1887/17834

Chicago Manual of Style (16th Edition):

Dmitrieva, Joelia Borisovna. “Aspects of ontology visualization and integration.” 2011. Doctoral Dissertation, Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University. Accessed June 20, 2019. http://hdl.handle.net/1887/17834.

MLA Handbook (7th Edition):

Dmitrieva, Joelia Borisovna. “Aspects of ontology visualization and integration.” 2011. Web. 20 Jun 2019.

Vancouver:

Dmitrieva JB. Aspects of ontology visualization and integration. [Internet] [Doctoral dissertation]. Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University; 2011. [cited 2019 Jun 20]. Available from: http://hdl.handle.net/1887/17834.

Council of Science Editors:

Dmitrieva JB. Aspects of ontology visualization and integration. [Doctoral Dissertation]. Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University; 2011. Available from: http://hdl.handle.net/1887/17834

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 20, 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. 20 Jun 2019.

Vancouver:

Cheh C. The cyber-physical topology language: definition and operations. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Jun 20]. 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 New South Wales

24. Westendorp, James. Robust incremental relational learning.

Degree: Computer Science & Engineering, 2009, University of New South Wales

 Real-world learning tasks present a range of issues for learning systems. Learning tasks can be complex and the training data noisy. When operating as part… (more)

Subjects/Keywords: Minimum Description Length (MDL); Learning tasks; Incremental relational learning; Inductive Logic Programming (ILP); NILE; Thesis Digitisation Program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Westendorp, J. (2009). Robust incremental relational learning. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/43513 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7180/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Westendorp, James. “Robust incremental relational learning.” 2009. Doctoral Dissertation, University of New South Wales. Accessed June 20, 2019. http://handle.unsw.edu.au/1959.4/43513 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7180/SOURCE01?view=true.

MLA Handbook (7th Edition):

Westendorp, James. “Robust incremental relational learning.” 2009. Web. 20 Jun 2019.

Vancouver:

Westendorp J. Robust incremental relational learning. [Internet] [Doctoral dissertation]. University of New South Wales; 2009. [cited 2019 Jun 20]. Available from: http://handle.unsw.edu.au/1959.4/43513 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7180/SOURCE01?view=true.

Council of Science Editors:

Westendorp J. Robust incremental relational learning. [Doctoral Dissertation]. University of New South Wales; 2009. Available from: http://handle.unsw.edu.au/1959.4/43513 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7180/SOURCE01?view=true

25. 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 20, 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. 20 Jun 2019.

Vancouver:

Sengupta K. A Language for Inconsistency-Tolerant Ontology Mapping. [Internet] [Doctoral dissertation]. Wright State University; 2015. [cited 2019 Jun 20]. 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 New South Wales

26. Cregan, Anne. Weaving the semantic web: Contributions and insights.

Degree: Computer Science & Engineering, 2008, University of New South Wales

 The semantic web aims to make the meaning of data on the web explicit and machine processable. Harking back to Leibniz in its vision, it… (more)

Subjects/Keywords: Pragmatic web; Semantic Web; Ontology; Meaning; Symbol grounding; Semantic technology; Semantics; Semiotics; Data processing; Semantic interoperability; Cognitive science; Definition; Philosophy; Controlled natural language; Topic maps; Rule processing; Inference; Description logic; Inference; Controlled vocabulary; Registry

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cregan, A. (2008). Weaving the semantic web: Contributions and insights. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/42605 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4467/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Cregan, Anne. “Weaving the semantic web: Contributions and insights.” 2008. Doctoral Dissertation, University of New South Wales. Accessed June 20, 2019. http://handle.unsw.edu.au/1959.4/42605 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4467/SOURCE02?view=true.

MLA Handbook (7th Edition):

Cregan, Anne. “Weaving the semantic web: Contributions and insights.” 2008. Web. 20 Jun 2019.

Vancouver:

Cregan A. Weaving the semantic web: Contributions and insights. [Internet] [Doctoral dissertation]. University of New South Wales; 2008. [cited 2019 Jun 20]. Available from: http://handle.unsw.edu.au/1959.4/42605 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4467/SOURCE02?view=true.

Council of Science Editors:

Cregan A. Weaving the semantic web: Contributions and insights. [Doctoral Dissertation]. University of New South Wales; 2008. Available from: http://handle.unsw.edu.au/1959.4/42605 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4467/SOURCE02?view=true


Universitat Pompeu Fabra

27. Navarrete Terrassa, Antonio, 1973-. Semantic integration of thematic geographic information in a multimedia context.

Degree: Departament de Tecnologia, 2006, Universitat Pompeu Fabra

 Geographic datasets represent reality through a set of thematic entities that are often not precisely defined and that may be understood in different ways by… (more)

Subjects/Keywords: Ontology; Geographic Information Systems; Semantic Interoperability; Semantic Integration; Vídeo geo-referenciado; Multimedia; Fusión de ontologías; Lógica de Descripción; Sistemas de Información Geográfica; Ontología; Interoperabilidad semántica; Integración semántica; Vídeo geo-referenciat; Multimèdia; Fusió d'ontologies; Lògica de Descripció; Ontologia; Sistemes d'Informació Geogràfica; Interoperabilitat semàntica; Integració semàntica; Description Logic; Ontology Merging; Multimedia; Geo-referenced Video; 004; 81

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Navarrete Terrassa, Antonio, 1. (2006). Semantic integration of thematic geographic information in a multimedia context. (Thesis). Universitat Pompeu Fabra. Retrieved from http://hdl.handle.net/10803/7534

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):

Navarrete Terrassa, Antonio, 1973-. “Semantic integration of thematic geographic information in a multimedia context.” 2006. Thesis, Universitat Pompeu Fabra. Accessed June 20, 2019. http://hdl.handle.net/10803/7534.

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

MLA Handbook (7th Edition):

Navarrete Terrassa, Antonio, 1973-. “Semantic integration of thematic geographic information in a multimedia context.” 2006. Web. 20 Jun 2019.

Vancouver:

Navarrete Terrassa, Antonio 1. Semantic integration of thematic geographic information in a multimedia context. [Internet] [Thesis]. Universitat Pompeu Fabra; 2006. [cited 2019 Jun 20]. Available from: http://hdl.handle.net/10803/7534.

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

Council of Science Editors:

Navarrete Terrassa, Antonio 1. Semantic integration of thematic geographic information in a multimedia context. [Thesis]. Universitat Pompeu Fabra; 2006. Available from: http://hdl.handle.net/10803/7534

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

28. 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 20, 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. 20 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 20]. 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

29. 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 20, 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. 20 Jun 2019.

Vancouver:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Internet] [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. [cited 2019 Jun 20]. 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

.