Verifying Resource Requirements for Ontology-Driven Rule-Based Agents-Reference-Cited by-同舟云学术

Verifying Resource Requirements for Ontology-Driven Rule-Based Agents

Published:2012 Issue: Volume: Page:312-331
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Rakib Abdur,Faruqui Rokan Uddin,MacCaull Wendy

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-28472-4_18

Reference37 articles.

1. Basic formal ontology (2002), http://ontology.buffalo.edu/bfo/

2. SNOMED-CT Systematized Nomenclature of Medicine-Clinical Terms (2007), http://www.ihtsdo.org/snomed-ct/

3. OWL 2 Web Ontology Language Manchester Syntax. W3C Candidate Recommendation (October 2009), http://www.w3.org/TR/owl2-manchester-syntax/

4. OWL 2 Web Ontology Language Structural Specification and Functional-style Syntax. W3C Candidate Recommendation (October 2009), http://www.w3.org/TR/owl2-syntax/

5. The Protégé ontology editor and knowledge-base framework (Version 4.1) (July 2011), http://protege.stanford.edu/

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Resource Aware Memory Requirement Calculation Model for Memory Constrained Context-Aware Systems;IEEE Access;2024

2. Model checking ontology‐driven reasoning agents using strategy and abstraction;Concurrency and Computation: Practice and Experience;2019-04-07

3. A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2013

4. O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes;Foundations of Health Information Engineering and Systems;2013