Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Automated model selection for simulation based on relevance reasoning
Artificial Intelligence
Probabilistic frame-based systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
OKBC: a programmatic foundation for knowledge base interoperability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Formalizing Context (Expanded Notes)
Formalizing Context (Expanded Notes)
A library of generic concepts for composing knowledge bases
Proceedings of the 1st international conference on Knowledge capture
A light-weight agent architecture for collaborative multimedia systems
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Interactive virtual environments and distance education
A Smart Web Query Engine for Semantic Retrieval of Web Data and Its Application to E-Trading
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Building an Ontology for Financial Investment
IDEAL '00 Proceedings of the Second International Conference on Intelligent Data Engineering and Automated Learning, Data Mining, Financial Engineering, and Intelligent Agents
Intelligent support framework of group decision making for complex business systems
Decision making support systems
Ontology negotiation between intelligent information agents
The Knowledge Engineering Review
Retrieve images by understanding semantic links and clustering image fragments
Journal of Systems and Software
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Knowledge flow network planning and simulation
Decision Support Systems
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
ElicitO: a quality ontology-guided NFR elicitation tool
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Ontology based categorization in egovernment application
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Ontology-Based policy specification and management
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Merging and aligning ontologies in dl-programs
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Ontology metadata for ontology reuse
International Journal of Metadata, Semantics and Ontologies
Design and implementation of P2P reasoning system based on description logic
International Journal of Ad Hoc and Ubiquitous Computing
Hi-index | 0.00 |
The authors present a vision of next generation tools and services that will enable the widespread development and use of computer interpretable ontologies. Central to that vision is the notion of distributed ontology repositories, resident on multiple ontology servers containing large-scale highly structured ontologies and supported by sophisticated ontology construction, testing, merging, extraction, reformulation, and translation tools.A key enabler in the distributed ontology repository architecture is a network application programming interface (API) for ontology servers that will support storage, manipulation, and access to the contents of ontologies on a server. The authors describe how OKBC, an API specifically designed to provide knowledge-level interoperability among server and client systems, provides that support. They then consider the criteria for an ontology representation language and an agenda of extensions to current ontology representation languages that address major deficiencies in those languages and appear to be attainable in next-generation languages. Finally, they address what reasoning is needed to support ontology repository construction and use. They describe a deductive-retrieval facility under development for the Ontolingua ontology server, which includes a theorem prover that runs as a background task to reformulate sentences so that they are accessible by the server's special-purpose high-speed retrieval methods.