A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
The automation of reasoning: an experimenter's notebook with OTTER tutorial
The automation of reasoning: an experimenter's notebook with OTTER tutorial
Query caching and optimization in distributed mediator systems
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Query reformulation for dynamic information integration
Journal of Intelligent Information Systems - Special issue on intelligent integration of information
Infomaster: an information integration system
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Distributed and Parallel Databases
Learning to map between ontologies on the semantic web
Proceedings of the 11th international conference on World Wide Web
Database Systems Concepts
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
A Graph-Oriented Model for Articulation of Ontology Interdependencies
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
MAFRA - A MApping FRAmework for Distributed Ontologies
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
A Scalable Algorithm for Answering Queries Using Views
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Representing Disjunction and Quantifiers in RDF
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Harmonise: A Solution for Data Interoperability
I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society: E-Commerce, E-Business, E-Government
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
The chatty web: emergent semantics through gossiping
WWW '03 Proceedings of the 12th international conference on World Wide Web
Representing and reasoning about mappings between domain models
Eighteenth national conference on Artificial intelligence
The Description Logic Handbook
The Description Logic Handbook
Ontology-based integration for relational databases
Proceedings of the 2006 ACM symposium on Applied computing
Deriving axioms across ontologies
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Instance assisted ontology alignment for digital museums
SMO'07 Proceedings of the 7th WSEAS International Conference on Simulation, Modelling and Optimization
Ontology-Based Data Sharing in P2P Databases
Semantic Web, Ontologies and Databases
Enriching Ontology for Deep Web Search
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Conceptual Synopses of Semantics in Social Networks Sharing Structured Data
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Discovering executable semantic mappings between ontologies
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
Instance migration in heterogeneous ontology environments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Ontology-based information extraction: An introduction and a survey of current approaches
Journal of Information Science
Interoperability results for Semantic Web technologies using OWL as the interchange language
Web Semantics: Science, Services and Agents on the World Wide Web
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
On identifying knowledge processing requirements
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Ontology-Based integration for relational data
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
A survey of schema-based matching approaches
Journal on Data Semantics IV
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
An approach to conceptual ontology integration with an ontology repository and a rule base
AIKED'12 Proceedings of the 11th WSEAS international conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Ontology as a Service (OaaS): a case for sub-ontology merging on the cloud
The Journal of Supercomputing
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Geospatial semantics and linked spatiotemporal data --Past, present, and future
Semantic Web - On linked spatiotemporal data and geo-ontologies
Ontology maintenance in high level architecture federation development and execution process
Integrated Computer-Aided Engineering
Hi-index | 0.00 |
Ontologies are a crucial tool for formally specifying the vocabulary and relationship of concepts used on the Semantic Web. In order to share information, agents that use different vocabularies must be able to translate data from one ontological framework to another. Ontology translation is required when translating datasets, generating ontology extensions, and querying through different ontologies. OntoMerge, an online system for ontology merging and automated reasoning, can implement ontology translation with inputs and outputs in OWL or other web languages. Ontology translation can be thought of in terms of formal inference in a merged ontology. The merge of two related ontologies is obtained by taking the union of the concepts and the axioms defining them, and then adding bridging axioms that relate their concepts. The resulting merged ontology then serves as an inferential medium within which translation can occur. Our internal representation, Web-PDDL, is a strong typed first-order logic language for web application. Using a uniform notation for all problems allows us to factor out syntactic and semantic translation problems, and focus on the latter. Syntactic translation is done by an automatic translator between Web-PDDL and OWL or other web languages. Semantic translation is implemented using an inference engine (OntoEngine) which processes assertions and queries in Web-PDDL syntax, running in either a data-driven (forward chaining) or demand-driven (backward chaining) way.