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

Dates: 2005 – 2009

You searched for subject:(Description Logic). Showing records 1 – 10 of 10 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 24, 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. 24 Jun 2019.

Vancouver:

Ben-David S. Applications of Description Logic and Causality in Model Checking. [Internet] [Thesis]. University of Waterloo; 2009. [cited 2019 Jun 24]. 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


Universiteit Utrecht

2. 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 24, 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. 24 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 24]. 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


Clemson University

3. Michaelraj, Ashwin. Taxonomy of physical prototypes: structure and validation.

Degree: MS, Mechanical Engineering, 2009, Clemson University

 This thesis introduces a taxonomy of physical prototypes, and validates the proposed taxonomy by five different approaches. The proposed taxonomy is validated by, (i) checking… (more)

Subjects/Keywords: Description Logic; Prototype; Taxonomy; Engineering Mechanics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Michaelraj, A. (2009). Taxonomy of physical prototypes: structure and validation. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/553

Chicago Manual of Style (16th Edition):

Michaelraj, Ashwin. “Taxonomy of physical prototypes: structure and validation.” 2009. Masters Thesis, Clemson University. Accessed June 24, 2019. https://tigerprints.clemson.edu/all_theses/553.

MLA Handbook (7th Edition):

Michaelraj, Ashwin. “Taxonomy of physical prototypes: structure and validation.” 2009. Web. 24 Jun 2019.

Vancouver:

Michaelraj A. Taxonomy of physical prototypes: structure and validation. [Internet] [Masters thesis]. Clemson University; 2009. [cited 2019 Jun 24]. Available from: https://tigerprints.clemson.edu/all_theses/553.

Council of Science Editors:

Michaelraj A. Taxonomy of physical prototypes: structure and validation. [Masters Thesis]. Clemson University; 2009. Available from: https://tigerprints.clemson.edu/all_theses/553

4. Rockwell, Justin A. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.

Degree: MSin Mechanical Engineering (M.S.M.E.), Mechanical Engineering, 2009, U of Massachusetts : Masters

 A semantic framework to improve automated reasoning, retrieval, reuse and communication of engineering design knowledge is presented in this research. We consider design to be… (more)

Subjects/Keywords: decision support; description logic; distributed; ontology; semantic; Computer-Aided Engineering and Design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rockwell, J. A. (2009). A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. (Masters Thesis). U of Massachusetts : Masters. Retrieved from http://scholarworks.umass.edu/theses/329

Chicago Manual of Style (16th Edition):

Rockwell, Justin A. “A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.” 2009. Masters Thesis, U of Massachusetts : Masters. Accessed June 24, 2019. http://scholarworks.umass.edu/theses/329.

MLA Handbook (7th Edition):

Rockwell, Justin A. “A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.” 2009. Web. 24 Jun 2019.

Vancouver:

Rockwell JA. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. [Internet] [Masters thesis]. U of Massachusetts : Masters; 2009. [cited 2019 Jun 24]. Available from: http://scholarworks.umass.edu/theses/329.

Council of Science Editors:

Rockwell JA. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. [Masters Thesis]. U of Massachusetts : Masters; 2009. Available from: http://scholarworks.umass.edu/theses/329

5. 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 24, 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. 24 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 24]. 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


Universidade Nova

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

Vancouver:

Gomes AS. Derivation methods for hybrid knowledge bases with rules and ontologies. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2019 Jun 24]. 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

7. Vidal, Alexandre César Tavares. Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais.

Degree: PhD, Sistemas Eletrônicos, 2007, University of São Paulo

O domínio de grades computacionais é fortemente associado ao compartilhamento de recursos para a resolução de problemas em ambientes dinâmicos e heterogê- neos. Reutilizar aplicações… (more)

Subjects/Keywords: Description logic; Gerenciamento de recursos de grades; Grades semânticas; Grid resource management; Information retrieval; Lógica de descrição; Ontologias; Ontologies; Recuperação de informação; Semantic grids

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vidal, A. C. T. (2007). Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3142/tde-28032008-175037/ ;

Chicago Manual of Style (16th Edition):

Vidal, Alexandre César Tavares. “Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais.” 2007. Doctoral Dissertation, University of São Paulo. Accessed June 24, 2019. http://www.teses.usp.br/teses/disponiveis/3/3142/tde-28032008-175037/ ;.

MLA Handbook (7th Edition):

Vidal, Alexandre César Tavares. “Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais.” 2007. Web. 24 Jun 2019.

Vancouver:

Vidal ACT. Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais. [Internet] [Doctoral dissertation]. University of São Paulo; 2007. [cited 2019 Jun 24]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-28032008-175037/ ;.

Council of Science Editors:

Vidal ACT. Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais. [Doctoral Dissertation]. University of São Paulo; 2007. Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-28032008-175037/ ;


University of New South Wales

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

Vancouver:

Westendorp J. Robust incremental relational learning. [Internet] [Doctoral dissertation]. University of New South Wales; 2009. [cited 2019 Jun 24]. 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


University of New South Wales

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

Vancouver:

Cregan A. Weaving the semantic web: Contributions and insights. [Internet] [Doctoral dissertation]. University of New South Wales; 2008. [cited 2019 Jun 24]. 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

10. 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 24, 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. 24 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 24]. 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

.