The role of frame-based representation in reasoning
Communications of the ACM
BAROQUE: a browser for relational databases
ACM Transactions on Information Systems (TOIS)
The C++ programming language
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
OLD resolution with tabulation
Proceedings on Third international conference on logic programming
An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science
The mathematics of inheritance systems
The mathematics of inheritance systems
Database theory—past and future
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
SQL/NF: a query language for ¬ 1NF relational databases
Information Systems
The object-oriented classification paradigm
Research directions in object-oriented programming
Composite object support in an object-oriented database system
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Programming in Prolog
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
A data model and query language for EXODUS
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A type system for logic programs
Concurrent Prolog: collected papers
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Computational approaches to analogical reasoning: a comparative analysis
Artificial Intelligence
A logical analysis of modules in logic programming
Journal of Logic Programming
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Paraconsistent logic programming
Theoretical Computer Science
Journal of Computer and System Sciences
The O2 database programming language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
ILOG: declarative creation and manipulation of object identifiers
Proceedings of the sixteenth international conference on Very large databases
Toward a typed foundation for method specialization and inheritance
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Journal of Logic Programming
Glue-Nail: a deductive database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Using powerdomains to generalize relational databases
Theoretical Computer Science
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Logic and objects
Communications of the ACM
Relations with relation names as arguments: algebra and calculus
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
A first-order theory of types and polymorphism in logic programming
A first-order theory of types and polymorphism in logic programming
A theory of nonmonotonic inheritance based on annotated logic
Artificial Intelligence
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A logic for programming with complex objects
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for reasoning with inconsistency
Journal of Automated Reasoning
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
On the declarative and procedural semantics of deductive object-oriented systems
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Object-oriented database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
Queries in Object-Oriented Databases
Proceedings of the Fourth International Conference on Data Engineering
Towards a Real Horn Clause Language
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Access to Objects by Path Expressions and Rules
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Logic for Encapsulation in Object Oriented Languages
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
A theory of types and type inference in logic programming languages
A theory of types and type inference in logic programming languages
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
The LyriC language: querying constraint objects
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
On implementing SchemaLog—a database programming language
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Retrieval of complex objects using a four-valued logic
SIGIR '96 Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
Delaunay: a database visualization system
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
ACM Transactions on Database Systems (TODS)
An Overview of the Rule-Based Object Language
Journal of Intelligent Information Systems
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Belief reasoning in MLS deductive databases
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
A layered architecture for querying dynamic Web content
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Context interchange: new features and formalisms for the intelligent integration of information
ACM Transactions on Information Systems (TOIS)
Design and Implementation of the ROL Deductive Object-Oriented Database System
Journal of Intelligent Information Systems
A vision for management of complex models
ACM SIGMOD Record
A case for parameterized views and relational unification
Proceedings of the 2001 ACM symposium on Applied computing
WebODE: a scalable workbench for ontological engineering
Proceedings of the 1st international conference on Knowledge capture
CREAM: creating relational metadata with a component-based, ontology-driven annotation framework
Proceedings of the 1st international conference on Knowledge capture
SEAL: a framework for developing SEmantic PortALs
Proceedings of the 1st international conference on Knowledge capture
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
SchemaSQL: An extension to SQL for multidatabase interoperability
ACM Transactions on Database Systems (TODS)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
A logical foundation for deductive object-oriented databases
ACM Transactions on Database Systems (TODS)
Migrating data-intensive web sites into the Semantic Web
Proceedings of the 2002 ACM symposium on Applied computing
Authoring and annotation of web pages in CREAM
Proceedings of the 11th international conference on World Wide Web
EDUTELLA: a P2P networking infrastructure based on RDF
Proceedings of the 11th international conference on World Wide Web
Correspondence and translation for heterogeneous data
Theoretical Computer Science
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Decomposition of object-oriented database schemas
Annals of Mathematics and Artificial Intelligence
Context Knowledge Representation and Reasoning in the Context Interchange System
Applied Intelligence
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Research Frontiers in Object Technology
Information Systems Frontiers
Conceptual Modeling and Querying inMultimedia Databases
Multimedia Tools and Applications
ACM SIGMOD Record
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
A Database Approach for Modeling and Querying Video Data
IEEE Transactions on Knowledge and Data Engineering
Declarative Programs with Implicit Implications
IEEE Transactions on Knowledge and Data Engineering
A Graphical Query Language: VISUAL and Its Query Processing
IEEE Transactions on Knowledge and Data Engineering
Building a Chemical Ontology Using Methontology and the Ontology Design Environment
IEEE Intelligent Systems
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Report on the EDBT'02 panel on scientific data integration
ACM SIGMOD Record
A Roadmap to Ontology Specification Languages
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
A Model Theoretic Semantics for Multi-level Secure Deductive Databases
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Model-Based Information Integration in a Neuroscience Mediator System
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Updates in a Rule-Based Language for Objects
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Access to Objects by Path Expressions and Rules
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
SchemaSQL - A Language for Interoperability in Relational Multi-Database Systems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Implementing Abstract Objects with Inheritance in Datalogneg
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
An Abstract Database Machine for Cost Driven Design of Object-Oriented Database Schemas
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Efficient Relational Learning from Sparse Data
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
ACISP '01 Proceedings of the 6th Australasian Conference on Information Security and Privacy
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
SEAL - A Framework for Developing SEmantic Web PortALs
BNCOD 18 Proceedings of the 18th British National Conference on Databases: Advances in Databases
Partially Ordered Regular Languages for Graph Queries
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Extending the Object Query Language for Transparent Metadata Access
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
OLOG: A Deductive Object Database Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Towards Secure Object Oriented Database Systems
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
On the Semantics of Anonymous Identity and Reification
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
OntoEdit: Guiding Ontology Development by Methodology and Inferencing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Registering Scientific Information Sources for Semantic Mediation
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
CL '00 Proceedings of the First International Conference on Computational Logic
Transformation: The Missing Link of MDA
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Language Standardization for the Semantic Web: The Long Way from OIL to OWL
DCW '02 Revised Papers from the 4th International Workshop on Distributed Communities on the Web
A Rule-Based Querying and Updating Language for XML
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Design and Implementation of the OLOG Deductive Object-Oriented Database Management System
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Authorization in Object Oriented Databases
ACISP '99 Proceedings of the 4th Australasian Conference on Information Security and Privacy
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
CL '00 Proceedings of the First International Conference on Computational Logic
A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Towards semistructured data integration
Web-enabled systems integration
An extensible approach for modeling ontologies in RDF(S)
Knowledge media in healthcare
Object oriented database with authorization policies
Fundamenta Informaticae
The unified problem-solving method development language UPML
Knowledge and Information Systems
A Declarative Language for Querying and Restructuring the Web
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
Knowledge-Based Integration of Neuroscience Data Sources
SSDBM '00 Proceedings of the 12th International Conference on Scientific and Statistical Database Management
Overview of the ROL2 Deductive Object-Oriented Database System
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Integration of Semistructured Data with Partial and Inconsistent Information
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Methodologies, tools and languages for building ontologies: where is their meeting point?
Data & Knowledge Engineering
CREAM: CREAting metadata for the Semantic Web
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Pragmatic applications of the Semantic Web using SemTalk
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Towards Self-Validating Knowledge-Based Archives
RIDE '01 Proceedings of the 11th International Workshop on research Issues in Data Engineering
Intelligent retrieval of hypermedia documents
Intelligent exploration of the web
Bootstrapping an ontology-based information extraction system
Intelligent exploration of the web
Managing multiple and distributed ontologies on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
A uniform framework for integration of information from the web
Information Systems - Special issue on web data integration
Towards a formalization of disease-specific ontologies for neuroinformatics
Neural Networks - Special issue: Neuroinformatics
Overview and analysis of methodologies for building ontologies
The Knowledge Engineering Review
Agent orientation in software engineering
The Knowledge Engineering Review
XPath-logic and XPathLog: A logic-programming style XML data manipulation language
Theory and Practice of Logic Programming
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Personalization in distributed e-learning environments
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Resolution for label-based formulas in hierarchical representation
New Generation Computing
OBSA: Ontology-Based Semantic Information Processing Architecture
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Using ontologies in personalized mobile applications
Proceedings of the 12th annual ACM international workshop on Geographic information systems
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
Platform independent model transformation based on triple
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Partially ordered regular languages for graph queries
Journal of Computer and System Sciences
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
METEOR: metadata and instance extraction from object referral lists on the web
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
Automatic composition of aggregation workflows for transportation modeling
dg.o '05 Proceedings of the 2005 national conference on Digital government research
Capturing knowledge from domain text with controlled language
Proceedings of the 3rd international conference on Knowledge capture
Automatic ontology matching using application semantics
AI Magazine - Special issue on semantic integration
Extracting a domain-specific ontology from a corporate intranet
ConLL '00 Proceedings of the 2nd workshop on Learning language in logic and the 4th conference on Computational natural language learning - Volume 7
Ontology-based linguistic annotation
LingAnnot ;03 Proceedings of the ACL 2003 workshop on Linguistic annotation: getting the model right - Volume 19
Ontology guided XML security engine
Journal of Intelligent Information Systems - Special issue: Database and applications security
On logical foundations of multilevel secure databases
Journal of Intelligent Information Systems - Special issue: Database and applications security
Argos: an ontology and web service composition infrastructure for goods movement analysis
dg.o '04 Proceedings of the 2004 annual national conference on Digital government research
Ontology oriented programming in go!
Applied Intelligence
IEEE Intelligent Systems
From HTML documents to web tables and rules
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Containment of conjunctive object meta-queries
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Modeling QoS characteristics in WSMO
Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
Proceedings of the 12th international conference on Intelligent user interfaces
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
Ontology languages for the semantic web: A never completely updated review
Knowledge-Based Systems
Towards Integration of Geographic Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming arbitrary tables into logical form with TARTAR
Data & Knowledge Engineering
Improving data quality through effective use of data semantics
Data & Knowledge Engineering - Special issue: WIDM 2004
Using the uni-level description (ULD) to support data-model interoperability
Data & Knowledge Engineering - Special issue: ER 2003
Explorations in the use of semantic web technologies for product information management
Proceedings of the 16th international conference on World Wide Web
Ontology schema for an agent belief store
International Journal of Human-Computer Studies
Forgetting in Managing Rules and Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
A knowledge engineering approach to knowledge management
Information Sciences: an International Journal
Model-driven design and development of semantic Web service applications
ACM Transactions on Internet Technology (TOIT)
Applying problem solving methods for process knowledge acquisition, representation, and reasoning
Proceedings of the 4th international conference on Knowledge capture
Evaluation of datalog extended with an XPath predicate
Proceedings of the 9th annual ACM international workshop on Web information and data management
Mechanization of invasive software composition in F-logic
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Ontology-based models in pervasive computing systems
The Knowledge Engineering Review
Towards portable natural language interfaces to knowledge bases - The case of the ORAKEL system
Data & Knowledge Engineering
What is needed for semantic service descriptions? A proposal for suitable language constructs
International Journal of Web and Grid Services
A unified Semantic Web services architecture based on WSMF and UPML
International Journal of Web Engineering and Technology
A survey and classification of semantic search approaches
International Journal of Metadata, Semantics and Ontologies
EUD for enterprise process and information management
Proceedings of the 4th international workshop on End-user software engineering
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Enhancing portability with multilingual ontology-based knowledge management
Decision Support Systems
Ontology-based artefact management in automotive electronics
International Journal of Computer Integrated Manufacturing - Integrated Design of Product and Processes
Specification, decomposition and agent synthesis for situation-aware service-based systems
Journal of Systems and Software
Applied Ontology
Ontology-based information extraction and integration from heterogeneous data sources
International Journal of Human-Computer Studies
A Reasoning Framework for Rule-Based WSML
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Any-World Access to OWL from Prolog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Relational Databases in RDF: Keys and Foreign Keys
Semantic Web, Ontologies and Databases
Intensional Question Answering Using ILP: What Does an Answer Mean?
NLDB '08 Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems
Situating Cognitive Agents in GOLEM
Engineering Environment-Mediated Multi-Agent Systems
RIKI: A Wiki-Based Knowledge Sharing System for Collaborative Research Projects
APCHI '08 Proceedings of the 8th Asia-Pacific conference on Computer-Human Interaction
Cross-Curriculum Search for Intergeo
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Rules and Ontologies for the Semantic Web
Reasoning Web
Supporting business intelligence by providing ontology-based end-user information self-service
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
Towards open decision support systems based on semantic focused crawling
Expert Systems with Applications: An International Journal
Rule Interchange Format: The Framework
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Approximate OWL-Reasoning with Screech
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Rule Interchange Format: The Framework
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Towards a System for Ontology-Based Information Extraction from PDF Documents
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
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Semantically Conceptualizing and Annotating Tables
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
A Logic Programming Approach to Scientific Workflow Provenance Querying
Provenance and Annotation of Data and Processes
An Ontology-Based Sentiment Classification Methodology for Online Consumer Reviews
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
On the Computability and Complexity Issues of Extended RDF
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Experiences in the Design of Semantic Services Using Web Engineering Methods and Tools
Journal on Data Semantics XI
Advances in Web Semantics I
Goal-oriented service selection
Proceedings of the 2nd international conference on Theory and practice of electronic governance
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
WSMO-MX: A hybrid Semantic Web service matchmaker
Web Intelligence and Agent Systems
Ontology-driven geographic information integration: A survey of current approaches
Computers & Geosciences
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Unleashing Web 2.0: From Concepts to Creativity
Unleashing Web 2.0: From Concepts to Creativity
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Frame Detection over the Semantic Web
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
An Ontology Learning and Reasoning Framework
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Process Algebra-Based Query Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
SONAR: A Semantically Empowered Financial Search Engine
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part I: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Towards Building a Knowledge Base for Research on Andean Weaving
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Generating and visualizing a soccer knowledge base
EACL '06 Proceedings of the Eleventh Conference of the European Chapter of the Association for Computational Linguistics: Posters & Demonstrations
Journal of Systems and Software
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Reifying concepts in description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
UPML: a framework for knowledge system reuse
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Knowledge modeling and reusability in ExClaim
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Simple and Efficient Minimal RDFS
Web Semantics: Science, Services and Agents on the World Wide Web
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
FCA-MERGE: bottom-up merging of ontologies
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Bridging concrete and abstract syntaxes in model-driven engineering: a case of rule languages
Software—Practice & Experience
Ontology-Based Integration of Sensor Web Services in Disaster Management
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Computing intensional answers to questions - An inductive logic programming approach
Data & Knowledge Engineering
Annotation, composition and invocation of semantic web services
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
Management of evolving semantic grid metadata within a collaborative platform
Information Sciences: an International Journal
Reconciling description logics and rules
Journal of the ACM (JACM)
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Ubiquitous access to deep content via web services
ICWE'03 Proceedings of the 2003 international conference on Web engineering
On the query refinement in the ontology-based searching for information
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Semantic web technologies for the adaptive web
The adaptive web
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A semantic framework for language layering in WSML
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Decidability under the well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
BVAI'07 Proceedings of the 2nd international conference on Advances in brain, vision and artificial intelligence
Modelling protocols for multiagent interaction by F-logic
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Using rules and R2ML for modeling negotiation mechanisms in e-commerce agent systems
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
SPARQL++ for mapping between RDF vocabularies
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
Logical foundations of (e)RDF(S): complexity and reasoning
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
How ontologies and rules help to advance automobile development
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Take: a rule compiler for derivation rules
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Adapting the rete-algorithm to evaluate F-logic rules
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Putting things in context: a topological approach to mapping contexts to ontologies
Journal on data semantics IX
An ontology-based approach to knowledge management
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 2
OPENET: Ontology-based engine for high-level Petri nets
Expert Systems with Applications: An International Journal
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
International Journal of Human-Computer Studies
An adaptive e-questionnaire for measuring user perceived portal quality
International Journal of Human-Computer Studies
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Database theory: query languages
Algorithms and theory of computation handbook
A method for reasoning about complex services within geographic information systems
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Talking biology in logic, and back
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Modular logic programming for web data, inheritance and agents
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Logical foundations of RDF(S) with datatypes
Journal of Artificial Intelligence Research
Defeasibility in answer set programs via argumentation theories
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Scalable interoperability through the use of COIN lightweight ontology
ODBIS'05/06 Proceedings of the First and Second VLDB conference on Ontologies-based databases and information systems
Query processing in the ROL system
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Complementarity in competence management: framework and implementation
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Supporting role based provisioning with rules using OWL and F-logic
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Knowledge spaces on the internet and Semantic Web (part 1)
Scientific and Technical Information Processing
Semantic web reasoners and languages
Artificial Intelligence Review
Ontology as a Logic of Intensions
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Data & Knowledge Engineering
Ontology based information extraction from text
Knowledge-driven multimedia information extraction and ontology evolution
An alternative high-level approach to interaction with databases
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
A RIF-style semantics for ruleML-integrated positional-slotted, object-applicative rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Results of research on method for intelligent composing thematic maps in the field of web GIS
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
A formal model of the Semantic Web Service Ontology (WSMO)
Information Systems
PRONTO: An ontology for comprehensive and consistent representation of product information
Engineering Applications of Artificial Intelligence
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Logic-based model-level software development with F-OML
Proceedings of the 14th international conference on Model driven engineering languages and systems
Semantic web reasoning for analyzing gene expression profiles
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Information gathering in a dynamic world
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Stable model theory for extended RDF ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Do not use this gear with a switching lever! automotive industry experience with semantic guides
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Towards building knowledge centres on the world wide web
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Nonmonotonic reasoning in FLORA-2
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Halo i: a controlled experiment for large scale knowledge base development
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Rules with contextually scoped negation
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Content-Oriented knowledge modeling for automated parts library ontology merging
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Ontology mapping by axioms (OMA)
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Conceptual query refinement: the basic model
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Text2Onto: a framework for ontology learning and data-driven change discovery
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Ontology-Based policy specification and management
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Requirements for automated service composition
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Augmenting UML models for composition conflict analysis
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Incrementally maintaining materializations of ontologies stored in logic databases
Journal on Data Semantics II
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
F-OWL: an inference engine for semantic web
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Cooperative query answering for RDF
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Triadic relations: an algebra for the semantic web
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Representation and reasoning about changing semantics in heterogeneous data sources
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
XDO2: a deductive object-oriented query language for XML
DASFAA'05 Proceedings of the 10th international conference on Database Systems for Advanced Applications
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
Academic and industrial research: do their approaches differ in adding semantics to web services?
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Trust negotiation for semantic web services
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Analysis of compositional conflicts in component-based systems
SC'05 Proceedings of the 4th international conference on Software Composition
Optimising abstract object-oriented database schemas
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
A workflow modeling framework enhanced with problem-solving knowledge
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
Automating model transformations in agent-oriented modelling
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Natural language interfaces: what is the problem? – a data-driven quantitative analysis
NLDB'09 Proceedings of the 14th international conference on Applications of Natural Language to Information Systems
A database approach for expressive modeling and efficient querying of visual information
MMM'10 Proceedings of the 16th international conference on Advances in Multimedia Modeling
Polymorphism in datalog and inheritance in a metamodel
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Extraction of genic interactions with the recursive logical theory of an ontology
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
Dealing with inconsistency when combining ontologies and rules using DL-Programs
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Agent oriented data integration
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
R2RIF - rule integration plugin for protégé OWL
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Towards ontology alignment of e-business standards using OWL and F-logic
International Journal of Metadata, Semantics and Ontologies
International Journal of Metadata, Semantics and Ontologies
Applied Ontology
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Object Oriented Database with Authorization Policies
Fundamenta Informaticae
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
On the Semantics of a Semantic Network
Fundamenta Informaticae
From manual to semi-automatic semantic annotation: about ontology-based text annotation tools
Proceedings of the COLING-2000 Workshop on Semantic Annotation and Intelligent Content
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Towards more expressive ontology languages: The query answering problem
Artificial Intelligence
PSOA RuleML API: a tool for processing abstract and concrete syntaxes
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
An ontological approach to systematization of SW-FMEA
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Programming and Computing Software
An ontology-driven framework towards building enterprise semantic information layer
Advanced Engineering Informatics
Advanced computational reasoning based on the NKRL conceptual model
Expert Systems with Applications: An International Journal
Semantic query optimization in the presence of types
Journal of Computer and System Sciences
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
Analyzing multilingual knowledge innovation in patents
Expert Systems with Applications: An International Journal
Three semantics for the core of the distributed ontology language (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Knowledge management in semantic social networks
Computational & Mathematical Organization Theory
Taming the infinite chase: query answering under expressive relational constraints
Journal of Artificial Intelligence Research
| Hi-index | 0.01 |
We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, encapsulation, and others. In a sense, F-logic stands in the same relationship to the object-oriented paradigm as classical predicate calculus stands to relational programming. F-logic has a model-theoretic semantics and a sound and complete resolution-based proof theory. A small number of fundamental concepts that come from object-oriented programming have direct representation in F-logic; other, secondary aspects of this paradigm are easily modeled as well. The paper also discusses semantic issues pertaining to programming with a deductive object-oriented language based on a subset of F-logic.