Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DAML+OIL: An Ontology Language for the Semantic Web
IEEE Intelligent Systems
On Expressive Description Logics with Composition of Roles in Number Restrictions
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Building the Semantic Web on XML
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A relevance restriction strategy for automated deduction
Artificial Intelligence
Three theses of representation in the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
Towards a formalization of disease-specific ontologies for neuroinformatics
Neural Networks - Special issue: Neuroinformatics
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
From tableaux to automata for description logics
Fundamenta Informaticae
Parsing owl dl: trees or triples?
Proceedings of the 13th international conference on World Wide Web
ε-connections of abstract description systems
Artificial Intelligence
Answering queries using views: A KRDB perspective for the semantic Web
ACM Transactions on Internet Technology (TOIT)
OREL: an ontology-based rights expression language
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Fusing Reasoning Services with Formal Concept Analysis
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Swoogle: a search and metadata engine for the semantic web
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Semantic web: a road to the knowledge infrastructure on the internet
New Generation Computing - Membrane computing
Resolution of Semantic Heterogeneity in Database Schema Integration Using Formal Ontologies
Information Technology and Management
A Metamodel Approach to Context Information
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
SMART: a tool for semantic-driven creation of complex XML mappings
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
ERONTO: a tool for extracting ontologies from extended E/R diagrams
Proceedings of the 2005 ACM symposium on Applied computing
The C-Cube framework: developing autonomic applications through web services
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Decidable containment of recursive queries
Theoretical Computer Science - Database theory
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Consistent query answering under key and exclusion dependencies: algorithms and experiments
Proceedings of the 14th ACM international conference on Information and knowledge management
A semantic approach to monitor business process
Communications of the ACM - The semantic e-business vision
A tool for automatic UML model consistency checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Description Logics for Shape Analysis
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Natural-Language Understanding at BBN
IEEE Annals of the History of Computing
Enterprise modeling and Data Warehousing in TELECOM ITALIA
Information Systems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Special Issue: Design Spaces: The Explicit Representation of Spaces of Alternatives
Reasoning on temporal class diagrams: Undecidability results
Annals of Mathematics and Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
Bootstrapping semantics on the web: meaning elicitation from schemas
Proceedings of the 15th international conference on World Wide Web
Automatic matchmaking of web services
Proceedings of the 15th international conference on World Wide Web
Using assumptions in service composition context
Proceedings of the 2006 international workshop on Service-oriented software engineering
Information Systems - Special issue: The semantic web and web services
Semantically enhanced enforcement of mobile consumer's privacy preferences
Proceedings of the 2006 ACM symposium on Applied computing
Model refactorings through rule-based inconsistency resolution
Proceedings of the 2006 ACM symposium on Applied computing
Contentions-conscious dynamic but deterministic scheduling of computational and communication tasks
Proceedings of the 2006 ACM symposium on Applied computing
Probabilistic, object-oriented logics for annotation-based retrieval in digital libraries
Proceedings of the 6th ACM/IEEE-CS joint conference on Digital libraries
Modality conflicts in semantics aware access control
ICWE '06 Proceedings of the 6th international conference on Web engineering
Methods in biomedical ontology
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
Biomedical ontologies: what part-of is and isn't
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
Towards semantic service selection for B2B integration
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Ontology-based multi-agent system to multi-site software development
Proceedings of the 2004 workshop on Quantitative techniques for software agile process
A policy framework for trading configurable goods and services in open electronic markets
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
An optimization for query answering on ALC database
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
IC-based ontology expansion in devouring accessibility
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
Formalizing typicality of objects and context-sensitivity in ontologies
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Checking content consistency of integrated web documents
Journal of Computer Science and Technology - Special section on China AVS standard
Computational linguistic support for legal ontology construction
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Integrating Semantic and Syntactic Descriptions to Chain Geographic Services
IEEE Internet Computing
Designing ETL processes using semantic web technologies
DOLAP '06 Proceedings of the 9th ACM international workshop on Data warehousing and OLAP
Performance evaluation of inference services for ubiquitous computing
WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
Using a software process for ontology-based context-aware computing: a case study
WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
POCAp: A Software Process for Context-Aware Computing
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Simplifying syntactic and semantic parsing of NL-based queries in advanced application domains
Data & Knowledge Engineering - Special issue: Natural language and database and information systems: NLDB 03
A constraint-based decision procedure for the description logic ALCN
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
A static aspect language for checking design rules
Proceedings of the 6th international conference on Aspect-oriented software development
Dynamic evolutions based on ontologies
Knowledge-Based Systems
Towards Integration of Geographic Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Argument-based critics and recommenders: a qualitative perspective on user support systems
Data & Knowledge Engineering - Special issue: WIDM 2004
The virtual tele-tASK professor: semantic search in recorded lectures
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Artificial Intelligence
Guest editorial: Ontological foundations for biomedical sciences
Artificial Intelligence in Medicine
An algebra for specifying valid compound terms in faceted taxonomies
Data & Knowledge Engineering
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
The two cultures: mashing up web 2.0 and the semantic web
Proceedings of the 16th international conference on World Wide Web
Preference-based selection of highly configurable web services
Proceedings of the 16th international conference on World Wide Web
Semantic web: the story so far
W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Verification of web service descriptions using graph-based traversal algorithms
Proceedings of the 2007 ACM symposium on Applied computing
Extending Semantic Web Service Description by Service Assumption
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Research on Reasoning of the Dynamic Semantic Web Services Composition
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Integration of Ontology Data through Learning Instance Matching
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
COSMO: A conceptual framework for service modelling and refinement
Information Systems Frontiers
Scalable event matching for overlapping subscriptions in pub/sub systems
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Aspects of automatic ontology extension: adapting and regeneralizing dynamic updates
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Reasoning and change management in modular ontologies
Data & Knowledge Engineering
Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers
Proceedings of the 9th annual conference on Genetic and evolutionary computation
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
Developing semantically interoperable e-commerce systems
Proceedings of the ninth international conference on Electronic commerce
Assimilating ontological additions in convergent negotiation protocols
Proceedings of the ninth international conference on Electronic commerce
Controlled query evaluation with open queries for a decidable relational submodel
Annals of Mathematics and Artificial Intelligence
Evolving objects in temporal information systems
Annals of Mathematics and Artificial Intelligence
Bringing Semantics to Web Services with OWL-S
World Wide Web
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Debugging Incoherent Terminologies
Journal of Automated Reasoning
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
Semantic identification: balancing between complexity and validity
EURASIP Journal on Applied Signal Processing
Towards to an automatic semantic annotation for multimedia learning objects
Proceedings of the international workshop on Educational multimedia and multimedia education
Indexing ontologies with semantics-enhanced keywords
Proceedings of the 4th international conference on Knowledge capture
Automating multidimensional design from ontologies
Proceedings of the ACM tenth international workshop on Data warehousing and OLAP
A conceptual modeling and execution framework for process based scientific applications
Proceedings of the ACM first workshop on CyberInfrastructure: information management in eScience
Information Sciences: an International Journal
Extending dependencies with conditions
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Expressive probabilistic description logics
Artificial Intelligence
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
Constructing design representations using a sortal approach
Advanced Engineering Informatics
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Journal of Systems and Software
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
Ontology negotiation: goals, requirements and implementation
International Journal of Agent-Oriented Software Engineering
A family of Extended Fuzzy Description Logics
International Journal of Business Intelligence and Data Mining
A framework for knowledge representation in semantic mobile applications
International Journal of Web and Grid Services
What is needed for semantic service descriptions? A proposal for suitable language constructs
International Journal of Web and Grid Services
Ontology-supported indexing in P2P networks of digital libraries
International Journal of Web Engineering and Technology
Complexity control in semantic identification
International Journal of Intelligent Systems Technologies and Applications
International Journal of Metadata, Semantics and Ontologies
Matchmaking and ranking of semantic web services using integrated service profile
International Journal of Metadata, Semantics and Ontologies
Metadata, semantics, and ontology: providing meaning to information resources
International Journal of Metadata, Semantics and Ontologies
A data-oriented survey of context models
ACM SIGMOD Record
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
Matchmaking for semantic web services with constraints on process models
AIKED'06 Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Personalization based on domain ontology
AIKED'06 Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Scalable querying services over fuzzy ontologies
Proceedings of the 17th international conference on World Wide Web
Flexible Semantic-Based Service Matchmaking and Discovery
World Wide Web
Trust on the world wide web: a survey
Foundations and Trends in Web Science
Constructing Formally Verified Reasoners for the ALC Description Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
In situ migration of handcrafted ontologies to reason-able forms
Data & Knowledge Engineering
ROWLBAC: representing role based access control in OWL
Proceedings of the 13th ACM symposium on Access control models and technologies
CAMPUS NEWS: an intelligent Bluetooth-based mobile information network
Mobility '07 Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology
Fuzzy spatial relation ontology for image interpretation
Fuzzy Sets and Systems
Undecidability of the unification and admissibility problems for modal and description logics
ACM Transactions on Computational Logic (TOCL)
Question answering from lecture videos based on an automatic semantic annotation
Proceedings of the 13th annual conference on Innovation and technology in computer science education
How to teach semantic web?: a project-based approach
Proceedings of the 13th annual conference on Innovation and technology in computer science education
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
International Journal of Metadata, Semantics and Ontologies
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
International Journal of Parallel, Emergent and Distributed Systems
An ontology-based architecture for implementing semantic integration of supply chain management
International Journal of Computer Integrated Manufacturing
A KEYHOLE PLAN RECOGNITION MODEL FOR ALZHEIMER'S PATIENTS: FIRST RESULTS
Applied Artificial Intelligence
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
Ontology change: Classification and survey
The Knowledge Engineering Review
Tuplespace-based computing for the semantic web: A survey of the state-of-the-art
The Knowledge Engineering Review
On Capturing Semantics in Ontology Mapping
World Wide Web
Agent communication in ubiquitous computing: the Ubismart approach
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Conjunctive queries for ontology based agent communication in MAS
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Journal of Intelligent and Robotic Systems
Development of a product configuration system with an ontology-based approach
Computer-Aided Design
Ontologies and the semantic web
Communications of the ACM - Surviving the data deluge
Automata can show PSpace results for description logics
Information and Computation
Combining weights with fuzziness for intelligent semantic web search
Knowledge-Based Systems
A diagrammatic reasoning system for the description logic ALC
Journal of Visual Languages and Computing
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
Semantic specification and evaluation of bids in web-based markets
Electronic Commerce Research and Applications
Combining Normal Communication with Ontology Alignment
Agent Communication II
A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Acquisition of OWL DL Axioms from Lexical Resources
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Semantic Composition of Lecture Subparts for a Personalized e-Learning
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Towards Vague Query Answering in Logic Programming for Logic-Based Information Retrieval
IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
Axiom Pinpointing in General Tableaux
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hybrid Learning of Ontology Classes
MLDM '07 Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition
Fuzzy Ontology, Fuzzy Description Logics and Fuzzy-OWL
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Quo Vadis, CS? --- On the (non)-Impact of Conceptual Structures on the Semantic Web
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Supporting Lexical Ontology Learning by Relational Exploration
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Pinpointing in the Description Logic $\mathcal {EL}^+$
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
English Querying over Ontologies: E-QuOnto
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Computable Models of the Law
Ontology-Based Data Sharing in P2P Databases
Semantic Web, Ontologies and Databases
DaltOn: An Infrastructure for Scientific Data Management
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Automatic Methods for Integrating Biomedical Data Sources in a Mediator-Based System
DILS '08 Proceedings of the 5th international workshop on Data Integration in the Life Sciences
Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Question Answering from Lecture Videos Based on Automatically-Generated Learning Objects
ICWL '08 Proceedings of the 7th international conference on Advances in Web Based Learning
Semantic Adaptation of Neural Network Classifiers in Image Segmentation
ICANN '08 Proceedings of the 18th international conference on Artificial Neural Networks, Part I
ASBO: Argumentation System Based on Ontologies
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
A Decidable Fuzzy Description Logic F-ALC(G)
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Description Logic to Model a Domain Specific Information Retrieval System
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Foundations of Onto-Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Automata-Based Axiom Pinpointing
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Adaptation through Planning in Knowledge Intensive CBR
ECCBR '08 Proceedings of the 9th European conference on Advances in Case-Based Reasoning
Fusing DL Reasoning with HTN Planning
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Mapping Properties of Heterogeneous Ontologies
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Ontology-Based Geospatial Data Query and Integration
GIScience '08 Proceedings of the 5th international conference on Geographic Information Science
Formal Concept Analysis: A Unified Framework for Building and Refining Ontologies
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Tractable Reasoning with Bayesian Description Logics
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Journal of Biomedical Informatics
Designing ontologies for higher level fusion
Information Fusion
Monitoring the execution of robot plans using semantic knowledge
Robotics and Autonomous Systems
Flexible planning using fuzzy description logics: Theory and application
Applied Soft Computing
Ontologies and databases: myths and challenges
Proceedings of the VLDB Endowment
Modelling and analysing interoperability in service compositions using COSMO
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
A semantic-driven auto-adaptive architecture for collaborative ubiquitous systems
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
An FCA-based solution for ontology mediation
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Data integration for the semantic web with full preferences
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Object-fuzzy concept network: An enrichment of ontologies in semantic information retrieval
Journal of the American Society for Information Science and Technology
MIR '08 Proceedings of the 1st ACM international conference on Multimedia information retrieval
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning within extended fuzzy description logic
Knowledge-Based Systems
An argumentation framework based on confidence degrees to combine ontology mapping approaches
International Journal of Metadata, Semantics and Ontologies
An Ontology-Based Approach for the Semantic Modelling and Reasoning on Trajectories
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
A Formal Model of Fuzzy Ontology with Property Hierarchy and Object Membership
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
Web performance engineering based on ontological languages and semantic web
International Journal of Computer Applications in Technology
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
Specifying and enforcing high-level semantic obligation policies
Web Semantics: Science, Services and Agents on the World Wide Web
Review of Knowledge Engineering Requirements for Semantic Reasoning in Autonomic Networks
APNOMS '08 Proceedings of the 11th Asia-Pacific Symposium on Network Operations and Management: Challenges for Next Generation Network Operations and Service Management
Toward Short and Structural $\mathcal{ALC}$-Reasoning Explanations: A Sequent Calculus Approach
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Methodical Construction of Symbolic Diagrams
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Lexicographical Inference over Inconsistent DL-Based Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
End-User Assisted Ontology Evolution in Uncertain Domains
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints
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:
Explanation in the DL-Lite Family of Description Logics
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
A Tableau Algorithm for Possibilistic Description Logic $\mathcal{ALC}$
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Reasoning on Semantically Annotated Processes
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Optimised Semantic Reasoning for Pervasive Service Discovery
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
The Right Expert at the Right Time and Place
PAKM '08 Proceedings of the 7th International Conference on Practical Aspects of Knowledge Management
PR-OWL: A Bayesian Ontology Language for the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Discovery and Uncertainty in Semantic Web Services
Uncertainty Reasoning for the Semantic Web I
A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions
Uncertainty Reasoning for the Semantic Web I
Optimizing the Crisp Representation of the Fuzzy Description Logic $\cal \mathcal{SROIQ}$
Uncertainty Reasoning for the Semantic Web I
Reasoning with the Fuzzy Description Logic f-$\mathcal{SHIN}$: Theory, Practice and Applications
Uncertainty Reasoning for the Semantic Web I
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
Uncertainty Reasoning for the Semantic Web I
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic
Uncertainty Reasoning for the Semantic Web I
Semantic Discovery of the User Intended Query in a Selectable Target Query Language
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
DL Reasoning and AI Planning for Web Service Composition
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
An ontology data matching method for web information integration
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Environmental Modelling & Software
Consistency checking of role assignments in inter-organizational collaboration
SPRINGL '08 Proceedings of the SIGSPATIAL ACM GIS 2008 International Workshop on Security and Privacy in GIS and LBS
Evolving service semantics cooperatively: a consumer-driven approach
Autonomous Agents and Multi-Agent Systems
Discovering the Most Suitable Web Service in Collaboration Environment
Computer Supported Cooperative Work in Design IV
A Study in Granular Computing: On Classifiers Induced from Granular Reflections of Data
Transactions on Rough Sets IX
Advances in Web Semantics I
Representing and Validating Digital Business Processes
Advances in Web Semantics I
Integrating Image Segmentation and Classification for Fuzzy Knowledge-Based Multimedia Indexing
MMM '09 Proceedings of the 15th International Multimedia Modeling Conference on Advances in Multimedia Modeling
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Structural group auditing of a UMLS semantic type's extent
Journal of Biomedical Informatics
Fuzzy description logics under Gödel semantics
International Journal of Approximate Reasoning
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Ontology-driven geographic information integration: A survey of current approaches
Computers & Geosciences
Ifcowl: A case of transforming express schemas into ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
IEICE - Transactions on Information and Systems
Ontology-Based Learning Objects Search And Courses Generation
Applied Artificial Intelligence
Instance-based probabilistic reasoning in the semantic web
Proceedings of the 18th international conference on World wide web
An Operable Email Based Intelligent Personal Assistant
World Wide Web
Proceedings of the 2009 ACM symposium on Applied Computing
A framework of a logic-based question-answering system for the medical domain (LOQAS-Med)
Proceedings of the 2009 ACM symposium on Applied Computing
Efficient mobile reasoning for pervasive discovery
Proceedings of the 2009 ACM symposium on Applied Computing
Knowledge-based coordination with a reliable semantic subscription mechanism
Proceedings of the 2009 ACM symposium on Applied Computing
Formalizing information security knowledge
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Validation and Discovery of Non-deterministic Semantic e-Services
Web Services and Formal Methods
Hybrid reasoning in the CARE middleware for context awareness
International Journal of Web Engineering and Technology
Business rules for semantics-aware business modelling: overview and open issues
International Journal of Web Engineering and Technology
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Supporting RBAC with XACML+OWL
Proceedings of the 14th ACM symposium on Access control models and technologies
Structural group-based auditing of missing hierarchical relationships in UMLS
Journal of Biomedical Informatics
Molecular interactions: On the ambiguity of ordinary statements in biomedical literature
Applied Ontology - Biomedical Ontology in Action
Adaptive Fuzzy Logics for Contextual Hedge Interpretation
Journal of Logic, Language and Information
Description logic for coalitions
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Ontology-based security assessment for software products
Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies
OVM: an ontology for vulnerability management
Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies
Usability Issues in Description Logic Knowledge Base Completion
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Object-Oriented Technology. ECOOP 2008 Workshop Reader
Formal Properties of Modularisation
Modular Ontologies
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies
Composing Modular Ontologies with Distributed Description Logics
Modular Ontologies
A Heuristics Framework for Semantic Subscription Processing
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Frame Detection over the Semantic Web
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Hybrid Reasoning with Forest Logic Programs
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
FO(ID) as an Extension of DL with Rules
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Tableau Algorithm for Handling Inconsistency in OWL
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Hybrid Adaptive Web Service Selection with SAWSDL-MX and WSDL-Analyzer
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Data Integration with the DaltOn Framework --- A Case Study
SSDBM 2009 Proceedings of the 21st International Conference on Scientific and Statistical Database Management
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Ambient Intelligence --From Personal Assistance to Intelligent Megacities
Proceedings of the 2007 conference on Advances in Ambient Intelligence
Complexity of Reasoning With Expressive Ontology Mappings
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Introducing pattern-based design for legal ontologies
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Web Ontology Languages: theory and practice --will they ever meet?
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Searching over Public Administration Legal Documents Using Ontologies
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Designing World Closures for Knowledge-Based System Engineering
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Inference Mechanisms for Knowledge Management System in E-health Environment
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
On Generalizing the AGM Postulates
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Ontological Queries Supporting Decision Process in KaSeA System
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
From GENIA to BIOTOPTowards a Top-Level Ontology for Biology
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
PR-OWL: A Framework for Probabilistic Ontologies
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Learning from Inconsistencies in an Integrated Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Research on Description Logic Based Conflict Detection Methods for RB-RBAC Model
Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006
Improving Mappings Discovery for Semantic Interoperability
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Approaching OWL and MDA through Knowledge Management System: Application to project Memory
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
MSDA: Wordsense Discrimination Using Context Vectors and Attributes
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Optimizing Causal Link Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Ontology-Based Query Interface in a System for Semantic Integration of XML Data
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Cost efficient, adaptive reasoning strategies for pervasive service discovery
Proceedings of the 2009 international conference on Pervasive services
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
An empirical comparison of ontology matching techniques
Journal of Information Science
Evolutionary-based learning of generalised policies for AI planning domains
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Realizing Default Logic over Description Logic Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Supporting Fuzzy Rough Sets in Fuzzy Description Logics
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Mathematical Logic for Life Science Ontologies
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints
Journal on Data Semantics XII
Unification in the Description Logic $\mathcal{EL}$
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Combining DSLs and Ontologies Using Metamodel Integration
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
Faceted Lightweight Ontologies
Conceptual Modeling: Foundations and Applications
Conceptual Modeling for Data Integration
Conceptual Modeling: Foundations and Applications
Context-Aware Activity Recognition through a Combination of Ontological and Statistical Reasoning
UIC '09 Proceedings of the 6th International Conference on Ubiquitous Intelligence and Computing
Description Logic Framework for Access Control and Security in Object-Oriented Systems
RSFDGrC '07 Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
A knowledge representation model for matchmaking systems in e-marketplaces
Proceedings of the 11th International Conference on Electronic Commerce
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Inconsistencies, negations and changes in ontologies
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Characterizing data complexity for conjunctive query answering in expressive description logics
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Abstraction in Knowledge-Rich Models for Case-Based Planning
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
An Approach to Security Policy Configuration Using Semantic Threat Graphs
Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII
CORAAL --- Towards Deep Exploitation of Textual Resources in Life Sciences
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
OntoDesk: Ontology-Based Persistent System-Wide Undo on the Desktop
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Model and algorithmic framework for detection and correction of cognitive errors
Technology and Health Care - Smart Environments: Technology to Support Healthcare
Frolog: an accommodating text-adventure game
EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session
ENLG '07 Proceedings of the Eleventh European Workshop on Natural Language Generation
Towards a generation-based semantic web authoring tool
ENLG '09 Proceedings of the 12th European Workshop on Natural Language Generation
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Efficient Browsing and Update of Complex Data Based on the Decomposition of Contexts
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
A Semantic-Based Ontology Matching Process for PDMS
Globe '09 Proceedings of the 2nd International Conference on Data Management in Grid and Peer-to-Peer Systems
Consistency Checking for Workflows with an Ontology-Based Data Perspective
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Automatic Extraction of Ontologies Wrapping Relational Data Sources
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Automatic Generation of P2P Mappings between Sources Schemas
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Semantic-Based Top-k Retrieval for Competence Management
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
An Argument-Based Approach to Using Multiple Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Explaining Inconsistencies in OWL Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
On capturing semantics in ontology mapping
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Answering regular path queries in expressive description logics: an automata-theoretic approach
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
On the approximation of instance level update and erasure in description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Approximating OWL-DL ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Terminological reasoning in SHIQ with ordered binary decision diagrams
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Fast, scalable and reliable generation of controlled natural language
SETQA-NLP '08 Software Engineering, Testing, and Quality Assurance for Natural Language Processing
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
On the expressiveness of Levesque's normal form
Journal of Artificial Intelligence Research
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Completing description logic knowledge bases using formal concept analysis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conjunctive query answering for the description logic SHIQ
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Ontological modeling at a domain interface: Bridging clinical and biomolecular knowledge
The Knowledge Engineering Review
The Knowledge Engineering Review
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A DL-based method for access control policy conflict detecting
Proceedings of the First Asia-Pacific Symposium on Internetware
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Journal of Artificial Intelligence Research
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Building the semantic web tower from RDF straw
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Part-whole representation and reasoning in formal biomedical ontologies
Artificial Intelligence in Medicine
Description logic-based methods for auditing frame-based medical terminological systems
Artificial Intelligence in Medicine
CAOFES: an ontological framework for web service retrieval
Proceedings of the 18th ACM conference on Information and knowledge management
Discovering functional dependencies for multidimensional design
Proceedings of the ACM twelfth international workshop on Data warehousing and OLAP
A formal framework for description logics with uncertainty
International Journal of Approximate Reasoning
An argument-based approach to reasoning with clinical knowledge
International Journal of Approximate Reasoning
Logical queries over views: Decidability and expressiveness
ACM Transactions on Computational Logic (TOCL)
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Towards real-time feature level spatial data sharing based on geospatial semantic web services
EMS '07 Proceedings of the Third IASTED International Conference on Environmental Modelling and Simulation
Regular path queries in expressive description logics with nominals
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Import-by-query: ontology reasoning under access limitations
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Model-based revision operators for terminologies in description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Non-conservative extension of a peer in a P2P inference system
AI Communications
OSLN: An Object-Oriented Semantic Link Network language for complex object description and operation
Future Generation Computer Systems
Introducing reasoning into an industrial knowledge management tool
Applied Intelligence
A survey of techniques for achieving metadata interoperability
ACM Computing Surveys (CSUR)
Expressive description logics via SAT: the story so far
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
A Semantic Model for Matchmaking of Web Services Based on Description Logics
Fundamenta Informaticae
International Journal of Advanced Intelligence Paradigms
A Formal Model of Competence-Based Assessment
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Marketing database knowledge extraction: towards a domain ontology
INES'09 Proceedings of the IEEE 13th international conference on Intelligent Engineering Systems
Semantic data integration and monitoring in the railway domain
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Multi Criteria Decision Making in Fuzzy Description Logics: A First Step
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Algebra of Ontology Modules for Semantic Agents
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Grouping Results of Queries to Ontological Knowledge Bases by Conceptual Clustering
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
A Reasoner for Simple Conceptual Logic Programs
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Scalable Web Reasoning Using Logic Programming Techniques
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A Novel Architecture for Situation Awareness Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Sound Global State Caching for ALC with Inverse Roles
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Knowledge-Based Concept Score Fusion for Multimedia Retrieval
AMT '09 Proceedings of the 5th International Conference on Active Media Technology
A semantic-based architecture for supporting geographic e-services
Proceedings of the 3rd international conference on Theory and practice of electronic governance
Accessing and Documenting Relational Databases through OWL Ontologies
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Stream Reasoning: A Survey and Further Research Directions
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Semantically-Aided Business Process Modeling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Goal-Directed Module Extraction for Explaining OWL DL Entailments
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Optimizing QoS-Aware Semantic Web Service Composition
ISWC '09 Proceedings of the 8th International Semantic Web Conference
A Conflict-Based Operator for Mapping Revision
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Exploiting Partial Information in Taxonomy Construction
ISWC '09 Proceedings of the 8th International Semantic Web Conference
A Weighted Approach to Partial Matching for Mobile Reasoning
ISWC '09 Proceedings of the 8th International Semantic Web Conference
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Merging Expressive Ontologies Using Formal Concept Analysis
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
On the Use of Description Logic for Semantic Interoperability of Enterprise Systems
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Specifying Valid Compound Terms in Interrelated Faceted Taxonomies
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Is It Important to Explain a Theorem? A Case Study on UML and $\mathcal{ALCQI}$
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Mapping Relational Databases to the Semantic Web with Original Meaning
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
An Improved Storage and Inference Method for Ontology Based Remote Sensing Interpretation System
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Provider-Composer Negotiations for Semantic Robustness in Service Compositions
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Utilising Task-Patterns in Organisational Process Knowledge Sharing
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Deciding Query Entailment for Fuzzy $\mathcal{SHIN}$ Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Utilising Task-Patterns in Organisational Process Knowledge Sharing
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
A Relevance-Directed Algorithm for Finding Justifications of DL Entailments
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Using non-monotonic reasoning to manage uncertainty in railway asset diagnostics
Expert Systems with Applications: An International Journal
Referring expressions as formulas of description logic
INLG '08 Proceedings of the Fifth International Natural Language Generation Conference
Making fuzzy description logic more general
Fuzzy Sets and Systems
Enterprise modeling and Data Warehousing in Telecom Italia
Information Systems
Towards spatial reasoning in fuzzy description logics
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Towards Constructive DL for Abstraction and Refinement
Journal of Automated Reasoning
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Journal of Ambient Intelligence and Smart Environments
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic foundations of medical information systems based on top-level ontologies
Knowledge-Based Systems
$\boldsymbol {\cal BC\!D\!L}$: Basic Constructive Description Logic
Journal of Automated Reasoning
A web-centric semantic mediation approach for spatial information systems
Journal of Visual Languages and Computing
Ontology Engineering Relationally
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Semantic search of tools for collaborative learning with the Ontoolsearch system
Computers & Education
Building data warehouses with semantic data
Proceedings of the 2010 EDBT/ICDT Workshops
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Applications of automated reasoning
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
On the scalability of description logic instance retrieval
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Ubiquitous access to deep content via web services
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Observed-MAS: an ontology-based method for analyzing multi-agent systems design models
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Formalization of RBAC policy with object class hierarchy
ISPEC'07 Proceedings of the 3rd international conference on Information security practice and experience
An ontology slicing method based on ontology definition metamodel
BIS'07 Proceedings of the 10th international conference on Business information systems
Polynomial constraints for sets with cardinality bounds
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Ontological technologies for user modelling
International Journal of Metadata, Semantics and Ontologies
Encoding classifications into lightweight ontologies
Journal on data semantics VIII
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Merging model driven architecture and semantic web for business rules generation
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
ALCPu: an integration of description logic and general rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Consistent query answering over description logic ontologies
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Generation and matching of ontology data for the semantic web in a peer-to-peer framework
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Towards a type-2 fuzzy description logic for semantic search engine
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
On relating heterogeneous elements from different ontologies
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Coordination in open and dynamic environments with TuCSoN semantic tuple centres
Proceedings of the 2010 ACM Symposium on Applied Computing
A diagrammatic reasoning system for ALC
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Term consistency checking of ontology model based on description logics
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
I-Cog: a computational framework for integrated cognition of higher cognitive abilities
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Algorithm, implementation and application of the SIM-DL similarity server
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Data complexity in the ƐL family of description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Complexity of planning in action formalisms based on description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Parallelizing tableaux-based description logic reasoning
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Leveraging the expressivity of grounded conjunctive query languages
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
An ontology-driven architecture for re-using semantic web services
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Approaches to inconsistency handling in description-logic based ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Fuzzy-DL reasoning over unknown fuzzy degrees
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Creating and managing ontology data on the web: a semantic wiki approach
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Towards tractable local closed world reasoning for the semantic web
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
A generic constraints-based framework for business modeling
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Ontology-based data integration in data logistics workflows
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Data quality enhancement of databases using ontologies and inductive reasoning
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
Kernel methods for mining instance data in ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
An ontology design pattern for representing relevance in OWL
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Discovering simple mappings between relational database schemas and ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Measuring incoherence in description logic-based ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
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
Semantic cooperation and knowledge reuse by using autonomous ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A large-scale semantic grid repository
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Towards a crisp representation of fuzzy description logics under Łukasiewicz Semantics
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Automated analysis of feature models 20 years later: A literature review
Information Systems
On ontology based abduction for text interpretation
CICLing'08 Proceedings of the 9th international conference on Computational linguistics and intelligent text processing
Acquiring generalized domain-range restrictions
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
A family of fuzzy description logics with comparison expressions
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Knowledge representation and consistency checking in a norm-parameterized fuzzy description logic
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
A pragmatic approach for the semantic description and matching of pervasive resources
GPC'08 Proceedings of the 3rd international conference on Advances in grid and pervasive computing
Finite model reasoning in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
A formally verified prover for the ALC description logic
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
A refinement operator based learning algorithm for the ALC description logic
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Foundations of refinement operators for description logics
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Journal on data semantics X
An ontology-driven approach for collaborative ubiquitous systems
International Journal of Autonomic Computing
Acquisition of domain ontology from relational schemes based on reverse engineering
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Analysis of semantic heterogeneity using a new ontological structure based on description logics
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Modeling of the role-based access control policy with constraints using description logic
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
Extracting and Merging Contextualized Ontology Modules
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Semantic data management for situation-aware assistance in ambient assisted living
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Expressive and flexible access to web-extracted data: a keyword-based structured query language
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Putting abox updates into action
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Fuzzy Description Logics and t-norm based fuzzy logics
International Journal of Approximate Reasoning
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics
International Journal of Approximate Reasoning
Methodological Review: Formal representation of eligibility criteria: A literature review
Journal of Biomedical Informatics
Using a lightweight ontology of heart electrophysiology in an interactive web application
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
An approach for multi-agent coordination based on semantic approximation
International Journal of Intelligent Information and Database Systems
MobiSN: semantics-based mobile ad hoc social network framework
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Developing HEO human emotions ontology
BioID_MultiComm'09 Proceedings of the 2009 joint COST 2101 and 2102 international conference on Biometric ID management and multimodal communication
Semantic rules for context-aware geographical information retrieval
EuroSSC'09 Proceedings of the 4th European conference on Smart sensing and context
On the benefit of fusing DL-reasoning with HTN-planning
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
A structuralistic approach to ontologies
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Biomedical question answering: A survey
Computer Methods and Programs in Biomedicine
Logic in databases: report on the LID 2008 workshop
ACM SIGMOD Record
A General Framework for Web Content Filtering
World Wide Web
A linguistic ontology of space for natural language processing
Artificial Intelligence
An ontology based approach to automating data integration in scientific workflows
Proceedings of the 7th International Conference on Frontiers of Information Technology
Flexible task resourcing for intelligent agents
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
The Knowledge Engineering Review
Theory and Practice of Logic Programming
Towards closed world reasoning in dynamic open worlds
Theory and Practice of Logic Programming
Fo(fd): Extending classical logic with rule-based fixpoint definitions
Theory and Practice of Logic Programming
Techniques for discovering correspondences between ontologies
International Journal of Web and Grid Services
Future Generation Computer Systems
Semantic Web computing in industry
Computers in Industry
Qualitative Evidence Aggregation using Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Enriching EL-Concepts with Greatest Fixpoints
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Relation-Based Access Control: An Access Control Model for Context-Aware Computing Environment
Wireless Personal Communications: An International Journal
Ontology formalisms: what is appropriate for different applications?
PerMIS '09 Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Semantic water data translation: a knowledge-driven approach
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Indexing source descriptions based on defined classes
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Decision support in heart failure through processing of electro- and echocardiograms
Artificial Intelligence in Medicine
Proceedings of the 3rd ACM workshop on Assurable and usable security configuration
An interoperation framework for secure collaboration among organizations
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS
Multimodal annotation of conversational data
LAW IV '10 Proceedings of the Fourth Linguistic Annotation Workshop
Editorial: BeAware!-Situation awareness, the ontology-driven way
Data & Knowledge Engineering
Editorial: Detection of semantic conflicts in ontology and rule-based information systems
Data & Knowledge Engineering
Formal approach and automated tool for constructing ontology from object-oriented database model
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
FO(ID) as an extension of DL with rules
Annals of Mathematics and Artificial Intelligence
A novel approach to default reasoning for MAS
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
SWAM: A logic-based mobile agent programming language for the Semantic Web
Expert Systems with Applications: An International Journal
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
A 25-year perspective on logic programming
Towards a pervasive infrastructure for chemical-inspired self-organising services
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Mining relationship associations from knowledge about failures using ontology and inference
ICDM'10 Proceedings of the 10th industrial conference on Advances in data mining: applications and theoretical aspects
Automatic fuzzy semantic web ontology learning from fuzzy object-oriented database model
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Flexible concept-based argumentation in dynamic scenes
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Putting people's common sense into knowledge bases of household robots
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Semantic based approximate query across multiple ontologies
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
Using clinical preferences in argumentation about evidence from clinical trials
Proceedings of the 1st ACM International Health Informatics Symposium
A fuzzy description logic with automatic object membership measurement
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Exploiting the semantics of location granules in location-dependent queries
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Semantic business process engineering
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Implementing collective obligations in human-agent teams using KAoS policies
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Building multi-agent systems for workflow enactment and exception handling
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Description logics for relative terminologies
ESSLLI'08/09 Proceedings of the 2008 international conference on Interfaces: explorations in logic, language and computation
Modelling digital libraries based on logic
ECDL'10 Proceedings of the 14th European conference on Research and advanced technology for digital libraries
A decidable constructive description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A logical semantics for description logic programs
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Aligning Semantic Web applications with network access controls
Computer Standards & Interfaces
A resolution based description logic calculus
Acta Cybernetica
MashUp web data sources and services based on semantic queries
Information Systems
Similarity for Attribute-value Representations in Fuzzy Description Logics
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
Inconsistency-tolerant semantics for description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Composition of semantic web services in a constructive description logic
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
A multi-level matching algorithm for combining similarity measures in ontology integration
ODBIS'05/06 Proceedings of the First and Second VLDB conference on Ontologies-based databases and information systems
Knowledge integration through semantic query rewriting
ACS'09 Proceedings of the 9th WSEAS international conference on Applied computer science
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ
Information Sciences: an International Journal
Ontology-based semantic matching for business process management
ACM SIGMIS Database
Short communication: Reasoning with part-part relations in a description logic
Knowledge-Based Systems
Accessing data through ontologies with ONDA
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
Incremental evaluation of model queries over EMF models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Consistent modeling using multiple UML profiles
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
A formal model for service mediators
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
SAT encoding of unification in EL
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Ontology reasoning in agent-oriented programming
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
A logic for conceptual hierarchies
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Complexity of reasoning over temporal data models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
SQOWL: type inference in an RDBMS
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Ontology-aided vs. keyword-based web searches: a comparative user study
Large Scale Semantic Access to Content (Text, Image, Video, and Sound)
OWLizing: transforming software models to ontologies
Ontology-Driven Software Engineering
Workflow construction for service-oriented knowledge discovery
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A logic based context query language
EuroSSC'10 Proceedings of the 5th European conference on Smart sensing and context
EL with default attributes and overriding
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Evolution of DL-lite knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Deciding agent orientation on ontology mappings
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
OWL-POLAR: semantic policies for agent reasoning
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Completeness guarantees for incomplete reasoners
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Specification of history based constraints for access control in conceptual level
ICISS'10 Proceedings of the 6th international conference on Information systems security
Implementing automated robot task planning and execution based on description logic KB
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
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
An argumentation machinery to reason over inconsistent ontologies
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
A Prolog-based Query Language for OWL
Electronic Notes in Theoretical Computer Science (ENTCS)
Keyword-based, context-aware selection of natural language query patterns
Proceedings of the 14th International Conference on Extending Database Technology
Metamodeling semantics of multiple inheritance
Science of Computer Programming
Semantic Web-Based Management of Routing Configurations
Journal of Network and Systems Management
The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge
Journal of Intelligent Information Systems
COSAR: hybrid reasoning for context-aware activity recognition
Personal and Ubiquitous Computing
Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rules
Journal of Biomedical Informatics
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Coordinating e-health systems with TuCSoN semantic tuple centres
ACM SIGAPP Applied Computing Review
Proceedings of the 4th International Workshop on Logic in Databases
Using XML for cloud specification and XQuery for service discovery
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
PSemRef: personalized query reformulation based on user preferences
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Extracting knowledge from fuzzy relational databases with description logic
Integrated Computer-Aided Engineering
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Ontology as a Logic of Intensions
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
Ontologies and coherence spaces
Ludics, dialogue and interaction
Description spaces with fuzziness
Proceedings of the 2011 ACM Symposium on Applied Computing
Knowledge representation and reasoning of XML with ontology
Proceedings of the 2011 ACM Symposium on Applied Computing
Ontology-based product line modeling and generation
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering
Towards managing software architectures with ontologies
Graph transformations and model-driven engineering
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
f-SWRL: a fuzzy extension of SWRL
ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
SWRL-F: a fuzzy logic extension of the semantic web rule language
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
From keywords to queries: discovering the user's intended meaning
WISE'10 Proceedings of the 11th international conference on Web information systems engineering
Towards checking laws' consistency through ontology design: the case of Brazilian vehicles' laws
Journal of Theoretical and Applied Electronic Commerce Research
A resource-based framework for interactive composition of multimedia documents
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
Querying and reasoning with RDF(S)/OWL in XQuery
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
Building a global normalized ontology for integrating geographic data sources
Computers & Geosciences
Proceddings of the 9th international interactive conference on Interactive television
Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk
ACM Transactions on Software Engineering and Methodology (TOSEM)
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution
Strict core fuzzy logics and quasi-witnessed models
Archive for Mathematical Logic
Type-2 fuzzy description logic
Frontiers of Computer Science in China
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
Improving geodatabase semantic querying exploiting
GeoS'11 Proceedings of the 4th international conference on GeoSpatial semantics
A description logic approach to discover suspicious itineraries from maritime container trajectories
GeoS'11 Proceedings of the 4th international conference on GeoSpatial semantics
A practical approach for computing generalization inferences in EL
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Generalized satisfiability for the description logic ALC
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Situation aware cognitive assistance in smart homes
Journal of Mobile Multimedia
Reasoning on the semantic web for adaptive hypermedia
Journal of Web Engineering
Loki: semantic wiki with logical knowledge representation
Transactions on computational collective intelligence III
Shared mental models: a conceptual analysis
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Analyzing open source license compatibility issues with Carneades
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Virtual catalog: the ontology-based technology for information retrieval
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
Light-weight composition of personal documents from distributed information
IS-EUD'11 Proceedings of the Third international conference on End-user development
Using logic in the generation of referring expressions
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Modeling design patterns with description logics: a case study
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
A semantic-based approach for data management in a P2P system
Transactions on large-scale data- and knowledge-centered systems III
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
Unification in the description logic EL without the top concept
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Automated reasoning in ALCQ via SMT
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Reasoning in the OWL 2 full ontology language using first-order automated theorem proving
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Topicality in logic-based ontologies
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Conjunctive query optimization in OWL2-DL
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Monitoring conformance to the internal regulation of an MSc course using ontologies and rules
EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
Towards learning fuzzy DL inclusion axioms
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
Incremental reasoning over multiple ontologies
WAIM'11 Proceedings of the 12th international conference on Web-age information management
An ontology for accessing transcription systems
Language Resources and Evaluation
Annals of Mathematics and Artificial Intelligence
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
Conjunctive query answering in probabilistic datalog+/- ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Paraconsistent semantics for hybrid MKNF knowledge bases
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Decidability of unification in EL without top constructor
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Best Unifiers in Transitive Modal Logics
Studia Logica
Semantic disambiguation in folksonomy: a case study
NLP4DL'09/AT4DL'09 Proceedings of the 2009 international conference on Advanced language technologies for digital libraries
Paraconsistent semantics for description logics: a comparison
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Interpolation theorems for some extended description logics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Rewriting fuzzy queries using imprecise views
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Automatic building of an appropriate global ontology
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
From natural language definitions to knowledge bases axioms
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Semantic business process space for intelligent management of sales order business processes
Information Systems Frontiers
Normative systems represented as hybrid knowledge bases
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
An ontology-based fuzzy decision support system for multiple sclerosis
Engineering Applications of Artificial Intelligence
Reasoning support for flexible task resourcing
Expert Systems with Applications: An International Journal
Foundations of instance level updates in expressive description logics
Artificial Intelligence
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Answering threshold queries in probabilistic datalog+/-ontologies
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Reducing multiplicities in class diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
A toolchain for the detection of structural and behavioral latent system properties
Proceedings of the 14th international conference on Model driven engineering languages and systems
Tailoring temporal description logics for reasoning over temporal conceptual models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
On the undecidability of fuzzy description logics with GCIs and product t-norm
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Towards Semantics-Based Instantiation of Services
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
The justificatory structure of the NCBO bioportal ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Decomposition and modular structure of BioPortal ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Visualizing ontologies: a case study
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Capturing instance level ontology evolution for DL-lite
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Extending logic programs with description logic expressions for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Repairing ontologies for incomplete reasoners
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Representing and reasoning on typicality in formal ontologies
Proceedings of the 7th International Conference on Semantic Systems
Proceedings of the 1st international workshop on Search and mining entity-relationship data
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Formal ontologies, exemplars, prototypes
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Reasoning with the depth-first iterative deepening strategy in the DLog system
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Modeling data mining processes in computational multi-agent systems
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Decision support for personalization on mobile devices
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Open world reasoning in datalog
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Practice of inductive reasoning on the semantic web: a system for semantic web mining
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
On applying the AGM theory to DLs and OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Ontology-based knowledge representation for self-governing systems
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Towards building knowledge centres on the world wide web
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
ESC: a tool for automatic composition of e-services based on logics of programs
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
An extended planning mechanism to increase web service utilization
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
A new n-ary existential quantifier in description logics
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
The limits of querying ontologies
ICDT'07 Proceedings of the 11th international conference on Database Theory
Towards an authority sharing based on the viewpoint action model
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A methodology for building semantic web mining systems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Constructing design representations
EG-ICE'06 Proceedings of the 13th international conference on Intelligent Computing in Engineering and Architecture
Reasoning about actions using description logics with general TBoxes
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Extended ontology model and ontology checking based on description logics
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
A fuzzy contrast model to measure semantic similarity between OWL DL concepts
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A fuzzy extension of description logic ALC with comparison expressions
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
A distributed and fuzzy extension of description logics
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Matching hierarchical classifications with attributes
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Reconciling concepts and relations in heterogeneous ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Encoding classifications into lightweight ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Resolving inconsistencies in evolving ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Toward multi-viewpoint reasoning with OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Semantically enhanced matchmaking of consumers and providers: a Canadian real estate case study
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Some complexity results on fuzzy description logics
WILF'03 Proceedings of the 5th international conference on Fuzzy Logic and Applications
A fuzzy frame-based knowledge representation formalism
WILF'03 Proceedings of the 5th international conference on Fuzzy Logic and Applications
The complexity of enriched µ-calculi
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
ECPIA: an email-centric personal intelligent assistant
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Using description logic to determine seniority among RB-RBAC authorization rules
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Approximate semantic query based on multi-agent systems
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Spatio-temporal schema integration with validation: a practical approach
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A tableau algorithm for description logics with concrete domains and GCIs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Translating description logic queries to prolog
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Toward an object-oriented structure for mathematical text
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
A formal framework for ontology integration based on a default extension to DDL
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Synthetic environment representational semantics using the web ontology language
IDEAL'05 Proceedings of the 6th international conference on Intelligent Data Engineering and Automated Learning
A database trigger strategy to maintain knowledge bases developed via data migration
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Repairing and reasoning with inconsistent and uncertain ontologies
Advances in Engineering Software
Generalized fuzzy rough description logics
Information Sciences: an International Journal
Supporting ontology-based semantic matching of web services in movilog
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
oMAP: combining classifiers for aligning automatically OWL ontologies
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Representing and reasoning about privacy abstractions
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Scalable instance retrieval for the semantic web by approximation
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
The knowledge cartography – a new approach to reasoning over description logics ontologies
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Providing an uncertainty reasoning service for semantic web application
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Reasoning technique for extended fuzzy ALCQ
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
Computational generation of referring expressions: A survey
Computational Linguistics
A cell-cycle knowledge integration framework
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Logic programming in knowledge domains
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Description logic based composition of web services
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
An OWL-Based approach for RBAC with negative authorization
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Ontology query answering on databases
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Collections, cardinalities, and relations
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Conceptual navigation in RDF graphs with SPARQL-Like queries
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
An approach to exploring description logic knowledge bases
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
On categorial grammars as logical information systems
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Optimal communication vocabularies and heterogeneous ontologies
AC'04 Proceedings of the 2004 international conference on Agent Communication
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Soundness of schema matching methods
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Approximating description logic classification for semantic web reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Landscape maps for enterprise architectures
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
A framework for query reformulation between knowledge base peers
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
Requirements for automated service composition
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A resolution-based decision procedure for SHOIQ
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Extended fuzzy ALCN and its tableau algorithm
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Semantic interoperation among data systems at a communication level
Journal on Data Semantics V
Mining the semantic web: a logic-based methodology
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
The cartographer algorithm for processing and querying description logics ontologies
AWIC'05 Proceedings of the Third international conference on Advances in Web Intelligence
Using ontology to generate test cases for GUI testing
International Journal of Computer Applications in Technology
A fuzzy extension of description logic ALCH
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Argumentation-Based reasoning with inconsistent knowledge bases
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Context-driven model refinement
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
A semantic search conceptual model and application in security access control
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Minerva: a scalable OWL ontology storage and inference system
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Automatic composition of semantic web services – a theorem proof approach
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
IM3: a system for matchmaking in mobile environments
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
A framework of checking subsumption relations between composite concepts in different ontologies
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part I
ILP meets knowledge engineering: a case study
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
The OWL instance store: system description
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
An algorithm for deciding BAPA: boolean algebra with presburger arithmetic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Extended fuzzy description logic ALCN
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Explicit platform models for MDA
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Two phase description logic reasoning for efficient information retrieval
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Introduction to semantic web ontology languages
Proceedings of the First international conference on Reasoning Web
Semantic and computational advantages of the safe integration of ontologies and rules
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Principles of inductive reasoning on the semantic web: a framework for learning in AL-log
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
Johnny: An Autonomous Service Robot for Domestic Environments
Journal of Intelligent and Robotic Systems
Explicit domain modelling in video games
Proceedings of the 6th International Conference on Foundations of Digital Games
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
Context-dependent views to axioms and consequences of Semantic Web ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Representation and reasoning on RBAC: a description logic approach
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A framework of cooperative agents with implicit support for ontologies
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Two reasoning methods for extended fuzzy ALCH
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
A comparison of configuration techniques for model transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Ontology-driven development of conversational CBR systems
ECCBR'06 Proceedings of the 8th European conference on Advances in Case-Based Reasoning
Ontology with likeliness and typicality of objects in concepts
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
A formal framework for reasoning on metadata based on CWM
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Data integration targeting a drug related knowledge base
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Using sums-of-products for non-standard reasoning
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Semantic mappings in description logics for spatio-temporal database schema integration
Journal on Data Semantics III
A smart home agent for plan recognition
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Fuzzy ontologies for the semantic web
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Adaptive ALE-Tbox for extending terminological knowledge
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Extending context descriptions in semantics-aware access control
ICISS'06 Proceedings of the Second international conference on Information Systems Security
User profiles and matchmaking on mobile phones
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Argumentation about treatment efficacy
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
A query language for logic architectures
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Towards a paradoxical description logic for the semantic web
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Towards semantic modeling of network physical devices
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Optimal tableau algorithms for coalgebraic logics
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
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
Reasoning-based patient classification for enhanced medical image annotation
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Defining and analysing resource assignments in business processes with RAL
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Possibilistic planning using description logics: a first step
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Reasoning and quantification in fuzzy description logics
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Combining semantic web and logic programming for agent reasoning
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Bridging informal tagging and formal semantics via hybrid navigation
Journal of Information Science
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog+/-: a family of languages for ontology querying
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Measuring similarity in description logics using refinement operators
ICCBR'11 Proceedings of the 19th international conference on Case-Based Reasoning Research and Development
Semantic evaluation at large scale (SEALS)
Proceedings of the 21st international conference companion on World Wide Web
Gibbs sampling with deterministic dependencies
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
A Semantics-based Approach to Large-Scale Mobile Social Networking
Mobile Networks and Applications
Mining Bayesian networks out of ontologies
Journal of Intelligent Information Systems
A core ontology on events for representing occurrences in the real world
Multimedia Tools and Applications
A non-monotonic expressiveness extension on the semantic web rule language
Journal of Web Engineering
Reasoning of fuzzy relational databases with fuzzy ontologies
International Journal of Intelligent Systems
A mereotopological product relationship description approach for assembly oriented design
Robotics and Computer-Integrated Manufacturing
f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group
Proceedings of the 27th Annual ACM Symposium on Applied Computing
"Closing" some doors for the open semantic web
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Automatic reasoner selection using machine learning
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
A description logic for inferencenet.br
PROPOR'12 Proceedings of the 10th international conference on Computational Processing of the Portuguese Language
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
On the complexity of EL with defeasible inclusions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Description logics over lattices with multi-valued ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Finite-valued Lukasiewicz modal logic Is PSPACE-complete
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On the complexity of dealing with inconsistency in description logic ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Well-supported semantics for description logic programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Beth definability in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
What to ask to an incomplete semantic web reasoner?
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
The modular structure of an ontology: atomic decomposition
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
ACM Transactions on Computational Logic (TOCL)
A knowledge-based architecture for integrating and interpreting population health data
Proceedings of the 13th Annual International Conference on Digital Government Research
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
Towards scalable data integration under constraints
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Coupling human-and machine-driven mapping of SKOS thesauri
International Journal of Metadata, Semantics and Ontologies
International Journal of Metadata, Semantics and Ontologies
Execution trace exploration and analysis using ontologies
RV'11 Proceedings of the Second international conference on Runtime verification
Formal specification of ontology networks
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
Journal of Ambient Intelligence and Smart Environments
Applied Ontology - Is there Beauty in Ontologies?
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
How fuzzy is my fuzzy description logic?
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
BDD-based automated reasoning for propositional bi-intuitionistic tense logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Decentralized semantic threat graphs
DBSec'12 Proceedings of the 26th Annual IFIP WG 11.3 conference on Data and Applications Security and Privacy
Exponential lower bounds and separation for query rewriting
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Semantic analysis of human movements in videos
Proceedings of the 8th International Conference on Semantic Systems
Efficient operations in feature terms using constraint programming
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Correct Reasoning
Stepwise debugging of description-logic programs
Correct Reasoning
Well-Supported semantics for logic programs with generalized rules
Correct Reasoning
Cooperative service composition
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
SCIMS: a social context information management system for socially-aware applications
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A new matchmaking approach based on abductive conjunctive query answering
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
An abductive CQA based matchmaking system for finding renting houses
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
An efficient approach to debugging ontologies based on patterns
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Ontology-Based automatic image annotation exploiting generalized qualitative spatial semantics
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
An argumentation framework for non-monotonic reasoning in description logic
RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology
On the complexity of ontological reasoning under disjunctive existential rules
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Improving the Data Quality of Drug Databases using Conditional Dependencies and Ontologies
Journal of Data and Information Quality (JDIQ)
Digital manufacturing market: a semantic web-based framework for agile supply chain deployment
Journal of Intelligent Manufacturing
Tractable reasoning with vague knowledge using fuzzy $\mathcal{EL}^{++}$
Journal of Intelligent Information Systems
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Rule-based policy representation and reasoning for the semantic web
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Semantic web service discovery and selection in B2B integration scenarios
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Formalizing the get-specific document classification algorithm
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
A logic framework to support database refactoring
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Preference-based integration of relational databases into a description logic
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Construction processes configuration using process patterns
Advanced Engineering Informatics
Improving financial data quality using ontologies
Decision Support Systems
Using data-to-knowledge exchange for transforming relational databases to knowledge bases
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Probabilistic reasoning in DL-lite
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
T-square: a domain specific language for rapid workflow development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Feature term subsumption using constraint programming with basic variable symmetry
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
A framework for semantic-based similarity measures for ELH-concepts
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A knowledge-based approach to augment applications with interaction traces
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
OWL-DL domain-models as abstract workflows
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Ontology-based governance of data-aware processes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Semantic independence in DL-programs
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Towards a unifying approach to representing and querying temporal data in description logics
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
On integrating description logics and rules under minimal hypotheses
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Description logic knowledge base exchange
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Ontological re-classification of individuals: a multi-viewpoints approach
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
Semantic service composition framework for multidomain ubiquitous computing applications
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Concept-Based semantic difference in expressive description logics
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Formal verification of data provenance records
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Using information quality for the identification of relevant web data sources: a proposal
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Towards big linked data: a large-scale, distributed semantic data storage
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation
International Journal of Applied Geospatial Research
Building effective ontologies in large enterprise management systems
Scientific and Technical Information Processing
RDL: enhancing description logic with rules
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Semantic precision and recall for evaluating incoherent ontology mappings
AMT'12 Proceedings of the 8th international conference on Active Media Technology
Pursuing artificial general intelligence by leveraging the knowledge capabilities of ACT-R
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
Using Description Logics for the Provision of Context-Driven Content Adaptation Services
International Journal of Systems and Service-Oriented Engineering
Adaptive Hybrid Semantic Selection of SAWSDL Services with SAWSDL-MX2
International Journal on Semantic Web & Information Systems
Semi-Automatic Ontology Construction by Exploiting Functional Dependencies and Association Rules
International Journal on Semantic Web & Information Systems
Towards Practical ABox Abduction in Large Description Logic Ontologies
International Journal on Semantic Web & Information Systems
Satisfying End User Constraints in Service Composition by Applying Stochastic Search Methods
International Journal of Web Services Research
High-level change detection in RDF(S) KBs
ACM Transactions on Database Systems (TODS)
Efficient query answering against dynamic RDF databases
Proceedings of the 16th International Conference on Extending Database Technology
A Novel Meta Learning System and Its Application to Optimization of Computing Agents' Results
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
ExpTime Tableaux for Using Sound Global Caching
Journal of Automated Reasoning
Semantics preservation in schema mappings within data exchange systems
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Reasoning about uncertain information and conflict resolution through trust revision
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
A semantic service-oriented architecture for distributed model management systems
Decision Support Systems
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
A probabilistic ontological framework for the recognition of multilevel human activities
Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing
Towards a similarity-based web service discovery through soft constraint satisfaction problems
Proceedings of the 2nd International Workshop on Semantic Search over the Web
An argumentation framework for description logic ontology reasoning and management
Journal of Intelligent Information Systems
Review: Formal Concept Analysis in knowledge processing: A survey on models and techniques
Expert Systems with Applications: An International Journal
Aggregation operators for fuzzy ontologies
Applied Soft Computing
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
A semantic geo-catalogue for a local administration
Artificial Intelligence Review
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Multi-document summarization based on the Yago ontology
Expert Systems with Applications: An International Journal
Semantic content-based recommendation of software services using context
ACM Transactions on the Web (TWEB)
On The Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores
International Journal of Distributed Systems and Technologies
An open knowledge base for Italian language in a collaborative perspective
Proceedings of the 1st International Workshop on Collaborative Annotations in Shared Environment: metadata, vocabularies and techniques in the Digital Humanities
Using formal concept analysis for ontology maintenance in human resource recruitment
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
RIO: minimizing user interaction in ontology debugging
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
RDFS and OWL reasoning for linked data
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Generalized satisfiability for the description logic ALC
Theoretical Computer Science
Proof search for propositional abstract separation logics via labelled sequents
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Ontology Mapping and Reasoning in Semantic Time Series Processing
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Ontology-based Activity Recognition Framework and Services
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Computing datalog rewritings beyond horn ontologies
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology-based data access with closed predicates is inherently intractable (sometimes)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Most specific generalizations w.r.t. general EL-TBoxes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Predicting knowledge in an ontology stream
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology-based data access: An application to intermodal logistics
Information Systems Frontiers
Computer Methods and Programs in Biomedicine
Query rewriting under query refinements
Knowledge-Based Systems
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
Query answering under probabilistic uncertainty in Datalog+ / - ontologies
Annals of Mathematics and Artificial Intelligence
Representing and Reasoning About XML with Ontologies
Applied Intelligence
Formally Verified Tableau-Based Reasoners for a Description Logic
Journal of Automated Reasoning
A study on dynamic Semantic Web service composition
Web Intelligence and Agent Systems
A RELATIONSHIP-CENTRIC HYBRID INTERFACE FOR BROWSING AND AUDITING THE UMLS
Journal of Integrated Design & Process Science
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Beyond physical product configuration --Configuration in unusual domains
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Logic-based Reasoning Support for SBVR
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Developing a core ontology to improve military intelligence analysis
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers of KES2012-Part 1 of 2
Enabling keyword search on Linked Data repositories: An ontology-based approach
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers of KES2012-Part 1 of 2
Reasoning with vagueness in hybrid MKNF knowledge bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Construction of ontologies from object-oriented database models
Integrated Computer-Aided Engineering
A novel semantic quantitative description method based on possibilistic logic
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Representation and reasoning of fuzzy ER models with description logic DLR
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
A syntactic possibilistic belief change operator: Theory and empirical study
Web Intelligence and Agent Systems
Hi-index | 0.01 |